Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/acl2/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Squashed commit of the following:Justin Lecher2013-12-091-0/+3
* 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-031-1/+1
* sci-mathematics/acl2: fixed broken git mergeDongxu Li2011-08-151-1/+1
* sci-mathematics/acl2: fixed manifestDongxu Li2011-08-151-1/+1
|\
| * fix metadataKacper Kowalik (Xarthisius)2011-08-151-1/+1
* | sci-mathematics/acl2: updated metadataDongxu Li2011-08-151-2/+2
|/
* sci-mathematics/acl2: updated ChangeLogDongxu Li2011-07-071-2/+2
* sci-mathematics/acl2: version bump to 4.3Dongxu Li2011-07-071-10/+1
* Some ebuild cleaningJustin Lecher2011-06-241-2/+13
* sci-mathematics/acl2: have to build books in placeDongxu Li2011-04-131-3/+2
* sci-mathematics/acl2: fixed certificate dirDongxu Li2011-04-121-13/+4
* Slightly streamlined ebuildJustin Lecher2011-04-121-3/+13
* sci-mathematics/acl2: industrial strength theorem prover, #49316Dongxu Li2011-04-121-0/+4