diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2023-05-25 18:46:57 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-05-25 18:46:57 +0000 |
| commit | d00d15c58faf781a71e5561615f5fe7581d1381d (patch) | |
| tree | 6e66d5264e6f84233d3d806f39727a3e0c7b2f0d | |
| parent | Merge updates from master (diff) | |
| download | gentoo-d00d15c58faf781a71e5561615f5fe7581d1381d.tar.gz gentoo-d00d15c58faf781a71e5561615f5fe7581d1381d.tar.bz2 gentoo-d00d15c58faf781a71e5561615f5fe7581d1381d.zip | |
2023-05-25 18:46:57 UTC
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/acl2-8.5-r1 (renamed from metadata/md5-cache/sci-mathematics/acl2-8.5) | 6 | ||||
| -rw-r--r-- | metadata/pkg_desc_index | 2 | ||||
| -rw-r--r-- | metadata/timestamp.chk | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/metadata/md5-cache/sci-mathematics/acl2-8.5 b/metadata/md5-cache/sci-mathematics/acl2-8.5-r1 index f79cbe59b4a9..2fb768fe1e35 100644 --- a/metadata/md5-cache/sci-mathematics/acl2-8.5 +++ b/metadata/md5-cache/sci-mathematics/acl2-8.5-r1 @@ -1,4 +1,4 @@ -BDEPEND=dev-lisp/sbcl emacs? ( >=app-editors/emacs-25:* ) doc? ( dev-lang/perl ) +BDEPEND=dev-lisp/sbcl:= emacs? ( >=app-editors/emacs-25:* ) doc? ( dev-lang/perl ) DEFINED_PHASES=compile install postinst postrm prepare DESCRIPTION=Industrial strength theorem prover, logic and programming language EAPI=8 @@ -7,9 +7,9 @@ INHERIT=elisp-common IUSE=doc emacs KEYWORDS=~amd64 ~x86 LICENSE=BSD -RDEPEND=dev-lisp/sbcl emacs? ( >=app-editors/emacs-25:* ) +RDEPEND=dev-lisp/sbcl:= emacs? ( >=app-editors/emacs-25:* ) REQUIRED_USE=emacs? ( doc ) SLOT=0 SRC_URI=https://github.com/acl2/acl2/archive/8.5/acl2-8.5.tar.gz _eclasses_=elisp-common 01bc6dc778b74a9deebe4e419a3b790e -_md5_=37c262df6c43768a59bd2aae74b28a1a +_md5_=02098d78232f9aecb35dd43279eacdb6 diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index 411d5d1068c6..b63fbba0a958 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -15936,7 +15936,7 @@ sci-libs/xgks-pmel 2.5.5: PMEL fork of XGKS, an X11-based version of the ANSI Gr sci-libs/xylib 1.6: Experimental x-y data reading library sci-mathematics/4ti2 1.6.7-r1: Software package for algebraic, geometric and combinatorial problems sci-mathematics/abc 0_p20230313 9999: System for sequential logic synthesis and formal verification -sci-mathematics/acl2 8.5: Industrial strength theorem prover, logic and programming language +sci-mathematics/acl2 8.5-r1: Industrial strength theorem prover, logic and programming language sci-mathematics/alectryon 1.4.0-r1: Toolkit for literate programming in Coq sci-mathematics/alt-ergo 2.4.1-r2 2.4.2-r1: Automatic theorem prover sci-mathematics/arb 2.23.0: C library for arbitrary-precision interval arithmetic diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index dc56d2f32be8..8ccdd306100a 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Thu, 25 May 2023 17:17:09 +0000 +Thu, 25 May 2023 18:46:57 +0000 |