| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/acl2: Version bump; Upstream url changes. |   zcj | 2015-06-16 | 4 | -6/+14 |
| | | |||||
| * | sci-mathematics/acl2: Add github to remote-id in metadata.xml |   Justin Lecher | 2015-06-06 | 2 | -10/+16 |
| | | | | | Package-Manager: portage-2.2.20 | ||||
| * | sci-mathematics/acl2: Version bump, drop old; USE flags change. | zcj | 2015-03-25 | 6 | -99/+64 |
| | | |||||
| * | sci-mathematics/acl2: Drop old | Justin Lecher | 2014-11-12 | 4 | -110/+5 |
| | | | | | Package-Manager: portage-2.2.14 | ||||
| * | Sanitize ebuild header | Justin Lecher | 2014-01-30 | 3 | -3/+3 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Fix license, set USE="books" as default |   Keshav Kini | 2013-12-10 | 1 | -2/+2 |
| | | |||||
| * | Squashed commit of the following: | Justin Lecher | 2013-12-09 | 4 | -8/+101 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | commit fc52b002e2c028c5df04a4b9868b42989a934b03 Author: Justin Lecher <jlec@gentoo.org> Date: Mon Dec 9 16:05:48 2013 +0100 sci-mathematics/acl2: Add missing die Package-Manager: portage-2.2.7 commit 79cdf0b10e55b0426e379dba02393c37c381753a Author: zcj <ustcscgy@163.com> Date: Mon Dec 9 21:16:12 2013 +0800 sci-mathematics/acl2-6.3: add new USE into metadata.xml commit adf57931576d698bb613be4f7470e991efe6f0d0 Author: zcj <ustcscgy@163.com> Date: Mon Dec 9 16:48:24 2013 +0800 sci-mathematics/acl2-6.3: clean up commit 7cfe9431208ac8d2e2194e8ef07ba2c9c8a6d8cd Author: zcj <ustcscgy@163.com> Date: Mon Dec 9 15:51:19 2013 +0800 sci-mathematics/acl2: Version bump to 6.3 Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | manifests fixes |   Sébastien Fabbro | 2013-06-13 | 1 | -1/+1 |
| | | |||||
| * | Convert to thin manifests (as suggested by alexxy and jlec) |   Andreas K. Huettel (dilfridge) | 2012-01-14 | 1 | -5/+0 |
| | | |||||
| * | switch sci herd to sci-* sub herds, full overlay re-manifest |   Sébastien Fabbro | 2012-01-03 | 2 | -2/+2 |
| | | |||||
| * | sci-mathematics/acl2: fixed broken git merge |   Dongxu Li | 2011-08-15 | 2 | -8/+2 |
| | | |||||
| * | sci-mathematics/acl2: fixed manifest | Dongxu Li | 2011-08-15 | 2 | -1/+5 |
| |\ | |||||
| | * | fix metadata |   Kacper Kowalik (Xarthisius) | 2011-08-15 | 2 | -6/+6 |
| | | | |||||
| * | | sci-mathematics/acl2: updated metadata | Dongxu Li | 2011-08-15 | 3 | -7/+14 |
| |/ | |||||
| * | sci-mathematics/acl2: updated ChangeLog | Dongxu Li | 2011-07-07 | 3 | -3/+7 |
| | | |||||
| * | sci-mathematics/acl2: version bump to 4.3 | Dongxu Li | 2011-07-07 | 2 | -10/+55 |
| | | |||||
| * | Some ebuild cleaning | Justin Lecher | 2011-06-24 | 3 | -12/+18 |
| | | | | | (Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916) | ||||
| * | sci-mathematics/acl2: have to build books in place | Dongxu Li | 2011-04-13 | 3 | -15/+15 |
| | | |||||
| * | sci-mathematics/acl2: fixed certificate dir | Dongxu Li | 2011-04-12 | 4 | -33/+50 |
| | | |||||
| * | Slightly streamlined ebuild | Justin Lecher | 2011-04-12 | 3 | -37/+36 |
| | | | | | (Portage version: 2.2.0_alpha29/git/Linux x86_64, signed Manifest commit with key 70EB7916) | ||||
| * | sci-mathematics/acl2: industrial strength theorem prover, #49316 | Dongxu Li | 2011-04-12 | 4 | -0/+84 |
GitWeb