sci-mathematics/acl2 – Gentoo Packages

Version 8.6 is available upstream. Please consider updating!
It seems that version 8.6 is available upstream, while the latest version in the Gentoo tree is 8.5_p20240307-r1.
You think this warning is false? Read more about it here.

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
8.5_p20240307-r1 : 0 EAPI 8	~amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Package Metadata

Other homepage(s)
https://github.com/acl2/acl2/
Upstream
Bugs-To https://github.com/acl2/acl2/issues/
Remote-Id https://github.com/acl2/acl2
Full description
ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award.
USE flags
Global Use Flags
- doc
- emacs
License
BSD
Maintainer(s)
Gentoo Mathematics Project

External Resources

Git repository browser

Git log (short)

Changes Feed

Bugs-To	https://github.com/acl2/acl2/issues/
Remote-Id	https://github.com/acl2/acl2