[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-stdlib/

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-stdlib/

[Maciej Barć]

commit:     4889e5bf4461b7b6fd88cf2465f92c4e8ac7bd3a
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 16 20:44:00 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Mar 16 21:11:50 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4889e5bf

sci-mathematics/coq-stdlib: new package; add 9.0.0

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/coq-stdlib/Manifest                |  1 +
 sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild | 45 ++++++++++++++++++++++
 sci-mathematics/coq-stdlib/metadata.xml            | 14 +++++++
 3 files changed, 60 insertions(+)

diff --git a/sci-mathematics/coq-stdlib/Manifest b/sci-mathematics/coq-stdlib/Manifest
new file mode 100644
index 000000000000..103968602d61
--- /dev/null
+++ b/sci-mathematics/coq-stdlib/Manifest
@@ -0,0 +1 @@
+DIST coq-stdlib-9.0.0.tar.gz 1826759 BLAKE2B de68fa0a1528d1ac9843e3b4b34b4e56beeca80d4f0c35f26a103fdf7dee2ed74395961f490d670720f05d40ebc0851a3e4f18bc6224330fd78c2874ecd273b1 SHA512 97faa80d63a398c2c6872e043d65b1b907bb01ec3ea42f35cf757b3457b8fa2b64475d1577000ce2dea2c3f93e59e36cc5af9864adacf47f92db96ecbe307a45

diff --git a/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
new file mode 100644
index 000000000000..d73a8ec27eb8
--- /dev/null
+++ b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
@@ -0,0 +1,45 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Stdlib for the Coq/Rocq Prover, used to be part of Coq"
+HOMEPAGE="https://github.com/coq/stdlib"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/coq/stdlib"
+else
+	SRC_URI="https://github.com/coq/stdlib/archive/V${PV}.tar.gz
+		-> ${P}.tar.gz"
+	S="${WORKDIR}/stdlib-${PV}"
+
+	KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+IUSE="+ocamlopt"
+
+DUNE_PACKAGES=(
+	coq-stdlib
+	rocq-stdlib
+)
+
+RDEPEND="
+	>=sci-mathematics/coq-${PV}
+"
+DEPEND="
+	${RDEPEND}
+"
+
+src_compile() {
+	dune-compile "${DUNE_PACKAGES[@]}"
+}
+
+src_install() {
+	dune-install "${DUNE_PACKAGES[@]}"
+}

diff --git a/sci-mathematics/coq-stdlib/metadata.xml b/sci-mathematics/coq-stdlib/metadata.xml
new file mode 100644
index 000000000000..e72497feaa2d
--- /dev/null
+++ b/sci-mathematics/coq-stdlib/metadata.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>sci-mathematics@gentoo.org</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
+  <upstream>
+    <changelog>https://github.com/coq/stdlib/releases/</changelog>
+    <bugs-to>https://github.com/coq/stdlib/issues/</bugs-to>
+    <remote-id type="github">coq/stdlib</remote-id>
+  </upstream>
+</pkgmetadata>

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-stdlib/

[Sam James]

commit:     aced2ffe5ad95bc5b185a7f2f79362c4db4d85ee
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 16 22:40:22 2025 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Mar 16 22:40:22 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aced2ffe

sci-mathematics/coq-stdlib: Keyword 9.0.0 arm64, #951475

Signed-off-by: Sam James <sam <AT> gentoo.org>

 sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
index d73a8ec27eb8..a297c01f13ee 100644
--- a/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
+++ b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
@@ -17,7 +17,7 @@ else
 		-> ${P}.tar.gz"
 	S="${WORKDIR}/stdlib-${PV}"
 
-	KEYWORDS="~amd64"
+	KEYWORDS="~amd64 ~arm64"
 fi
 
 LICENSE="LGPL-2.1"