Someone should put this somewhere into some wiki page. Not sure which one. This needs to be advertized. --linas
On Sun, Aug 13, 2017 at 5:48 PM, Masayuki Hatta <[email protected]> wrote: > 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. > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > 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 > <https://groups.google.com/d/msgid/opencog/36852312-687a-4a77-a8ea-4e221065b57f%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. 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/CAHrUA36agL%3D15UFekfY25hNXf1XjcHHZpTeYq_vhPDhN6TWHGA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
