{"bugs":[{"bugid":937323,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/acl2-8.5_p20240307 fails to compile: | wrappers__wrapper.c:140:10: error: returning int from a function with return type char makes pointer from integer without a cast [-Wint-conversion]"}],"categories":[{"categoryid":395,"name":"app-editors","summary":"The app-editors category contains text editors."},{"categoryid":389,"name":"dev-lisp","summary":"The dev-lisp category contains libraries and utilities relevant to the Lisp programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3fc2ea7b48f76ec4b04a5b4fe209dec649540c61","committime":"2025-07-02T00:22:05","packageid":75742,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"586dd40808cc7a4d75ef3d14e1de2eb51154b851","committime":"2025-07-01T21:34:56","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: bump to 8.6"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"803874e97bcf6cd59f0ba26c8e448f37fecff21d","committime":"2025-03-01T13:33:19","packageid":75742,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3b14bd4d4afe8cbfa6ab472caed3adc653de6560","committime":"2025-03-01T12:57:58","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: drop old 8.5-r2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/943183\nSigned-off-by: Maciej Barć ","commitid":"6377286dc26b7219dd66bbea37321ac885509a2e","committime":"2025-03-01T12:53:31","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: remove sbcl pin"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"47e137f8d0a501743db2474c68ca415a4eba8263","committime":"2024-03-08T12:03:50","packageid":75742,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/926430\nSigned-off-by: Maciej Barć ","commitid":"9a0df2990ef7a70dc77c4ab7170f9f1fe646d23f","committime":"2024-03-08T09:19:55","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: fix find call"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"41beabcd94c958267375944ad5c9dfdd70bbacf1","committime":"2024-03-07T17:50:38","packageid":75742,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/926360\nSigned-off-by: Maciej Barć ","commitid":"d9e393ff9fb2c2b47da0607b6b0a07a96417a53a","committime":"2024-03-07T17:14:12","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: restrict supported SBCL versions"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"bf3578213e54dfc4d10373c77edaf6569a47522e","committime":"2024-03-07T16:55:29","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: bump to 8.5_p20240307"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fb6fe2bcbe7d9ecdee5b585b6a3c0404421a5f41","committime":"2023-05-25T18:46:50","packageid":75742,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"be49653d54c1c8799824bef4bc28e5a5bec75479","committime":"2023-05-25T17:52:42","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: need to rebuild ACL2 \"core\" on sbcl update"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6716bf0a4851763afe178cc6cf859c902a979342","committime":"2023-01-08T14:17:00","packageid":75742,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/890176\nSigned-off-by: Maciej Barć ","commitid":"6b673a9c34d8585fe9cf383ba3f1f057f95c6c8a","committime":"2023-01-08T13:47:13","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: install TAGS if USE=emacs"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4bbf5f4e9325a94b4b19a18d4f3eaf481583f647","committime":"2023-01-08T00:32:01","packageid":75742,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c2cefd413637c6d457d9a552f93c617f834fca70","committime":"2023-01-07T23:35:06","packageid":75742,"repoid":1,"summary":"sci-mathematics\/acl2: new package; add 8.5"}],"dependencies":[{"block":false,"categoryid":389,"description":"Steel Bank Common Lisp (SBCL) is an implementation of ANSI Common Lisp","ebuildids":[868940],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"pchrist@gentoo.org","maintainername":"Panagiotis Christopoulos","name":"sbcl","packageid":55441,"summary":"Steel Bank Common Lisp is an open source Common Lisp implementation. It provides an integrated native compiler, interpreter, and debugger. SBCL is a fork off of the main branch of CMUCL. SBCL is distinguished from CMUCL by a greater emphasis on maintainability. In particular, the SBCL system can be built directly from its source code, so that the output corresponds to the source code in a controlled, verifiable way, and arbitrary changes can be made to the system without causing bootstrapping problems. SBCL also places less emphasis than CMU CL does on new non-ANSI extensions, or on backward compatibility with old non-ANSI features. Support for native threading on GNU\/Linux is available for the x86 and amd64 platforms using an NPTL enabled GLIBC. SBCL 0.8.17 and later support Unicode."}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":868940,"firstseen":"2025-07-02T01:41:06.593069","license":"BSD","moddate":"2026-02-21T10:53:13","packageid":75742,"repoid":1,"slot":"0","uses":["doc","emacs"],"version":"8.6"},{"archs":["~amd64","~x86"],"ebuildid":855635,"firstseen":"2025-03-01T13:40:11.494551","license":"BSD","moddate":"2026-02-21T10:53:13","packageid":75742,"repoid":1,"slot":"0","uses":["doc","emacs"],"version":"8.5_p20240307-r1"}],"masks":[],"package":{"categoryid":317,"description":"Industrial strength theorem prover, logic and programming language","firstseen":"2023-01-08T00:45:43.083723","name":"acl2","packageid":75742,"summary":"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."},"rdependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[855635,868940],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"emacs","packageid":45775,"summary":"GNU Emacs is an extensible, customizable text editor - and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: * Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. * Complete built-in documentation, including a tutorial for new users. * Full Unicode support for nearly all human languages and their scripts. * Highly customizable, using Emacs Lisp code or a graphical interface. * A large number of extensions that add other functionality, including a project planner, mail and news reader, debugger interface, calendar, and more. Many of these extensions are distributed with GNU Emacs; others are available separately."},{"block":false,"categoryid":389,"description":"Steel Bank Common Lisp (SBCL) is an implementation of ANSI Common Lisp","ebuildids":[855635,868940],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"pchrist@gentoo.org","maintainername":"Panagiotis Christopoulos","name":"sbcl","packageid":55441,"summary":"Steel Bank Common Lisp is an open source Common Lisp implementation. It provides an integrated native compiler, interpreter, and debugger. SBCL is a fork off of the main branch of CMUCL. SBCL is distinguished from CMUCL by a greater emphasis on maintainability. In particular, the SBCL system can be built directly from its source code, so that the output corresponds to the source code in a controlled, verifiable way, and arbitrary changes can be made to the system without causing bootstrapping problems. SBCL also places less emphasis than CMU CL does on new non-ANSI extensions, or on backward compatibility with old non-ANSI features. Support for native threading on GNU\/Linux is available for the x86 and amd64 platforms using an NPTL enabled GLIBC. SBCL 0.8.17 and later support Unicode."}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/acl2\/acl2\/","https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"}]}