sci-mathematics/acl2 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-03-08
- sci-mathematics/acl2: fix find call
  9a0df29
  Maciej Barć committed on 2024-03-08 11:55:09 UTC
  sci-mathematics/acl2/acl2-8.5_p20240307.ebuild
Commits on 2024-03-07
- sci-mathematics/acl2: restrict supported SBCL versions
  d9e393f
  Maciej Barć committed on 2024-03-07 17:38:03 UTC
  sci-mathematics/acl2/acl2-8.5-r2.ebuildsci-mathematics/acl2/acl2-8.5-r1.ebuild
- sci-mathematics/acl2: bump to 8.5_p20240307
  bf35782
  Maciej Barć committed on 2024-03-07 17:38:03 UTC
  sci-mathematics/acl2/acl2-8.5_p20240307.ebuildsci-mathematics/acl2/Manifest
Commits on 2023-05-25
- sci-mathematics/acl2: need to rebuild ACL2 "core" on sbcl update
  be49653
  Maciej Barć committed on 2023-05-25 17:52:42 UTC
  sci-mathematics/acl2/acl2-8.5-r1.ebuildsci-mathematics/acl2/acl2-8.5.ebuild
Commits on 2023-01-08
- sci-mathematics/acl2: install TAGS if USE=emacs
  6b673a9
  Maciej Barć committed on 2023-01-08 14:08:24 UTC
  sci-mathematics/acl2/acl2-8.5.ebuild
- sci-mathematics/acl2: new package; add 8.5
  c2cefd4
  Maciej Barć committed on 2023-01-08 00:29:18 UTC
  sci-mathematics/acl2/Manifestsci-mathematics/acl2/acl2-8.5.ebuildsci-mathematics/acl2/files/50acl2-gentoo.elsci-mathematics/acl2/metadata.xml