guix/patches/gnu/packages/lean.scm, branch base-for-series-3754 Guix http://git.cbaines.net/guix/patches/atom?h=base-for-series-3754 2020-03-28T20:30:07Z Update email address and Savannah handle for Amin Bandali. 2020-03-28T20:30:07Z Amin Bandali bandali@gnu.org 2020-03-28T20:23:32Z urn:sha1:c2cf286c62933d2806ae17b8287520820bf87c7e * .mailmap, gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fonts.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm, gnu/packages/pulseaudio.scm: Update my email address. * build-aux/git-authenticate.scm: Update my Savannah handle. Update email address for Amin Bandali. 2020-01-17T17:30:33Z Amin Bandali bandali@gnu.org 2020-01-17T16:15:47Z urn:sha1:a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8 * .mailmap: Add name and email addresses for Amin Bandali. * gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm: Update email address for Amin Bandali. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> gnu: Add lean. 2020-01-03T21:46:53Z Amin Bandali bandali@gnu.org 2019-12-28T06:29:01Z urn:sha1:db1bc0d92e4a023d2b22487c324410e8dc4cda1f * gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org>
This XML file does not appear to have any style information associated with it. The document tree is shown below.
<feed xmlns="http://www.w3.org/2005/Atom">
<title>guix/patches/gnu/packages/lean.scm, branch base-for-series-3754</title>
<subtitle>Guix</subtitle>
<id>http://git.cbaines.net/guix/patches/atom?h=base-for-series-3754</id>
<link rel="self" href="http://git.cbaines.net/guix/patches/atom?h=base-for-series-3754"/>
<link rel="alternate" type="text/html" href="http://git.cbaines.net/guix/patches/"/>
<updated>2020-03-28T20:30:07Z</updated>
<entry>
<title>Update email address and Savannah handle for Amin Bandali.</title>
<updated>2020-03-28T20:30:07Z</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2020-03-28T20:23:32Z</published>
<link rel="alternate" type="text/html" href="http://git.cbaines.net/guix/patches/commit/?id=c2cf286c62933d2806ae17b8287520820bf87c7e"/>
<id>urn:sha1:c2cf286c62933d2806ae17b8287520820bf87c7e</id>
<content type="text"> * .mailmap, gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fonts.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm, gnu/packages/pulseaudio.scm: Update my email address. * build-aux/git-authenticate.scm: Update my Savannah handle. </content>
</entry>
<entry>
<title>Update email address for Amin Bandali.</title>
<updated>2020-01-17T17:30:33Z</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2020-01-17T16:15:47Z</published>
<link rel="alternate" type="text/html" href="http://git.cbaines.net/guix/patches/commit/?id=a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8"/>
<id>urn:sha1:a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8</id>
<content type="text"> * .mailmap: Add name and email addresses for Amin Bandali. * gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm: Update email address for Amin Bandali. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> </content>
</entry>
<entry>
<title>gnu: Add lean.</title>
<updated>2020-01-03T21:46:53Z</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2019-12-28T06:29:01Z</published>
<link rel="alternate" type="text/html" href="http://git.cbaines.net/guix/patches/commit/?id=db1bc0d92e4a023d2b22487c324410e8dc4cda1f"/>
<id>urn:sha1:db1bc0d92e4a023d2b22487c324410e8dc4cda1f</id>
<content type="text"> * gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org> </content>
</entry>
</feed>