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
* 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