| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/acl2: drop old |   Andrew Ammerlaan | 2021-03-20 | 2 | -51/+0 |
| | | | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net> | ||||
| * | sci-mathematics/acl2: use https for homepage | Andrew Ammerlaan | 2021-01-13 | 2 | -4/+4 |
| | | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net> | ||||
| * | sci-mathematics/acl2: version bump |   Aisha Tammy | 2020-10-02 | 3 | -9/+59 |
| | | | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Aisha Tammy <gentoo@aisha.cc> | ||||
| * | Second try to clean spaces in metadata.xml |   Justin Lecher | 2017-11-18 | 1 | -3/+3 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Consistently ident with tabs | Justin Lecher | 2017-11-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Cleanup remote IDs | Justin Lecher | 2017-04-30 | 1 | -3/+3 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Drop leftover from CVS in HEADER | Justin Lecher | 2017-02-25 | 1 | -1/+0 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | metadata.xml: Set type | Justin Lecher | 2016-01-25 | 1 | -2/+2 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | metadata.xml: convert hard -> proj | Justin Lecher | 2016-01-25 | 1 | -1/+4 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Drop ChangeLogs in favour of commit messages | Justin Lecher | 2016-01-07 | 1 | -46/+0 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Convert all $Header$ to $Id$ tags as it has be done in gentoo.git | Justin Lecher | 2015-08-17 | 2 | -2/+2 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Revert "Gentoo does https by default now" | Justin Lecher | 2015-06-21 | 1 | -1/+1 |
| | | | | | This reverts commit 98718494343af4990facdefb0033471686e975a6. | ||||
| * | Gentoo does https by default now | Justin Lecher | 2015-06-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | 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