Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/acl2
Commit message (Expand)AuthorAgeFilesLines
* Second try to clean spaces in metadata.xmlJustin Lecher2017-11-181-3/+3
* Consistently ident with tabsJustin Lecher2017-11-181-1/+1
* Cleanup remote IDsJustin Lecher2017-04-301-3/+3
* Drop leftover from CVS in HEADERJustin Lecher2017-02-251-1/+0
* metadata.xml: Set typeJustin Lecher2016-01-251-2/+2
* metadata.xml: convert hard -> projJustin Lecher2016-01-251-1/+4
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-071-46/+0
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-172-2/+2
* Revert "Gentoo does https by default now"Justin Lecher2015-06-211-1/+1
* Gentoo does https by default nowJustin Lecher2015-06-211-1/+1
* sci-mathematics/acl2: Version bump; Upstream url changes.zcj2015-06-164-6/+14
* sci-mathematics/acl2: Add github to remote-id in metadata.xmlJustin Lecher2015-06-062-10/+16
* sci-mathematics/acl2: Version bump, drop old; USE flags change.zcj2015-03-256-99/+64
* sci-mathematics/acl2: Drop oldJustin Lecher2014-11-124-110/+5
* Sanitize ebuild headerJustin Lecher2014-01-303-3/+3
* Fix license, set USE="books" as defaultKeshav Kini2013-12-101-2/+2
* Squashed commit of the following:Justin Lecher2013-12-094-8/+101
* manifests fixesSébastien Fabbro2013-06-131-1/+1
* Convert to thin manifests (as suggested by alexxy and jlec)Andreas K. Huettel (dilfridge)2012-01-141-5/+0
* switch sci herd to sci-* sub herds, full overlay re-manifestSébastien Fabbro2012-01-032-2/+2
* sci-mathematics/acl2: fixed broken git mergeDongxu Li2011-08-152-8/+2
* sci-mathematics/acl2: fixed manifestDongxu Li2011-08-152-1/+5
|\
| * fix metadataKacper Kowalik (Xarthisius)2011-08-152-6/+6
* | sci-mathematics/acl2: updated metadataDongxu Li2011-08-153-7/+14
|/
* sci-mathematics/acl2: updated ChangeLogDongxu Li2011-07-073-3/+7
* sci-mathematics/acl2: version bump to 4.3Dongxu Li2011-07-072-10/+55
* Some ebuild cleaningJustin Lecher2011-06-243-12/+18
* sci-mathematics/acl2: have to build books in placeDongxu Li2011-04-133-15/+15
* sci-mathematics/acl2: fixed certificate dirDongxu Li2011-04-124-33/+50
* Slightly streamlined ebuildJustin Lecher2011-04-123-37/+36
* sci-mathematics/acl2: industrial strength theorem prover, #49316Dongxu Li2011-04-124-0/+84