commit: 9d5e489538031d7f663844aaa18dd1cb69d27928 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Feb 17 21:19:44 2026 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue Feb 17 22:08:15 2026 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d5e4895
sci-mathematics/coq-stdlib: bump to 9.1.0 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/coq-stdlib/Manifest | 1 + sci-mathematics/coq-stdlib/coq-stdlib-9.1.0.ebuild | 45 ++++++++++++++++++++++ 2 files changed, 46 insertions(+) diff --git a/sci-mathematics/coq-stdlib/Manifest b/sci-mathematics/coq-stdlib/Manifest index 103968602d61..19e6e788e4dd 100644 --- a/sci-mathematics/coq-stdlib/Manifest +++ b/sci-mathematics/coq-stdlib/Manifest @@ -1 +1,2 @@ DIST coq-stdlib-9.0.0.tar.gz 1826759 BLAKE2B de68fa0a1528d1ac9843e3b4b34b4e56beeca80d4f0c35f26a103fdf7dee2ed74395961f490d670720f05d40ebc0851a3e4f18bc6224330fd78c2874ecd273b1 SHA512 97faa80d63a398c2c6872e043d65b1b907bb01ec3ea42f35cf757b3457b8fa2b64475d1577000ce2dea2c3f93e59e36cc5af9864adacf47f92db96ecbe307a45 +DIST coq-stdlib-9.1.0.gh.tar.gz 1864333 BLAKE2B e69b7159a56c1ee74577ca34f94dff3198023069e403fd686f4f215ad3db76058c36a657ff26a033bcd732e4993cdefd807fbd5b6963850524aa51cba5e55195 SHA512 5a6c01496917b8f23017d9e94af567be68850155a4545bddb067da83eed97237e34d617345942a708b6a4231e00f9bfc8311cd978bf397bb1ef2ea7c25b1a0a3 diff --git a/sci-mathematics/coq-stdlib/coq-stdlib-9.1.0.ebuild b/sci-mathematics/coq-stdlib/coq-stdlib-9.1.0.ebuild new file mode 100644 index 000000000000..383565ccb43b --- /dev/null +++ b/sci-mathematics/coq-stdlib/coq-stdlib-9.1.0.ebuild @@ -0,0 +1,45 @@ +# Copyright 1999-2026 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}.gh.tar.gz" + S="${WORKDIR}/stdlib-${PV}" + + KEYWORDS="~amd64 ~arm64" +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[@]}" +}
