Re: 01/02: gnu: Add itpp.

2017-03-20 Thread John Darrington
On Mon, Mar 20, 2017 at 02:05:11PM +0300, Alex Kost wrote: You don't need any additional "plugins" for this, as Emacs couldn't miss it! To check it, run "emacs -Q", paste this: (source (origin (method url-fetch) (uri (string-append

Re: 01/02: gnu: Add itpp.

2017-03-20 Thread Alex Kost
John Darrington (2017-03-20 07:38 +0100) wrote: > On Mon, Mar 20, 2017 at 02:18:39AM -0400, Leo Famulari wrote: > On Mon, Mar 20, 2017 at 07:03:03AM +0100, John Darrington wrote: > > > +(source (origin > > > + (method url-fetch) > > > +

Re: 01/02: gnu: Add itpp.

2017-03-20 Thread John Darrington
On Mon, Mar 20, 2017 at 02:18:39AM -0400, Leo Famulari wrote: On Mon, Mar 20, 2017 at 07:03:03AM +0100, John Darrington wrote: > > +(source (origin > > + (method url-fetch) > > + (uri (string-append "mirror://sourceforge/itpp/itpp/"

Re: 01/02: gnu: Add itpp.

2017-03-20 Thread Leo Famulari
On Mon, Mar 20, 2017 at 07:03:03AM +0100, John Darrington wrote: > > +(source (origin > > + (method url-fetch) > > + (uri (string-append "mirror://sourceforge/itpp/itpp/" > > + version "/itpp-" > > +

Re: 01/02: gnu: Add itpp.

2017-03-19 Thread Mark H Weaver
j...@darrington.wattle.id.au (John Darrington) writes: > jmd pushed a commit to branch master > in repository guix. > > commit a53d6719bc6b6b4afdc58e257ac712df316c8858 > Author: John Darrington > Date: Tue Mar 7 07:51:51 2017 +0100 > > gnu: Add itpp. > > *