Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/acl2: remove duplicate | Andrew Ammerlaan | 2023-01-12 | 1 | -13/+0 |
* | sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etc | Lucas Mitrak | 2021-09-12 | 1 | -0/+13 |
index : proj/sci.git | ||
Gentoo Science Overlay | sci <sci@gentoo.org> |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/acl2: remove duplicate | Andrew Ammerlaan | 2023-01-12 | 1 | -13/+0 |
* | sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etc | Lucas Mitrak | 2021-09-12 | 1 | -0/+13 |