Debian APT Repository for OpenCog

105 views
Skip to first unread message

Masayuki Hatta

unread,
Aug 13, 2017, 6:48:02 PM8/13/17
to opencog
Hi,

I set up Debian APT repository for OpenCog.

How to use:

1) Put something like the following as /etc/apt/sources.list.d/opencog.list:

deb https://people.debian.org/~mhatta/debian mhatta-unstable/
deb-src https://people.debian.org/~mhatta/debian mhatta-unstable/

2) You need to add my GPG pubkey.

$ wget -q -O - https://people.debian.org/~mhatta/mhatta.asc | sudo apt-key add

Then

$ sudo apt-get update; sudo apt-get install opencog

Have fun!  And let me know if you find any problem.

Linas Vepstas

unread,
Aug 13, 2017, 6:52:35 PM8/13/17
to opencog
Someone should put this somewhere into some wiki page.  Not sure which one.   This needs to be advertized. --linas

--
You received this message because you are subscribed to the Google Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to opencog+unsubscribe@googlegroups.com.
To post to this group, send email to ope...@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/36852312-687a-4a77-a8ea-4e221065b57f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Masayuki Hatta

unread,
Aug 16, 2017, 12:02:17 PM8/16/17
to opencog
Hi,

2017年8月14日月曜日 7時52分35秒 UTC+9 linas:
Someone should put this somewhere into some wiki page.  Not sure which one.   This needs to be advertized. --linas

These days people (including myself)  look for information by searching Twitter.  I think advertising it on twitter.com/opencog would be nice.

Best regards,
MH
Reply all
Reply to author
Forward
0 new messages