[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 3ab6c9b10d3304bb07f5d73b686af424f56afa94 Author: Maciej Barć gentoo org> AuthorDate: Mon Mar 4 18:56:13 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Mar 4 21:56:45 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ab6c9b1 sci-mathematics/coq-mathcomp: drop old 1.17.0 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 - .../coq-mathcomp/coq-mathcomp-1.17.0.ebuild| 25 -- 2 files changed, 26 deletions(-) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index 1cde67da6462..4d74ae63eecb 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1,2 +1 @@ -DIST coq-mathcomp-1.17.0.tar.gz 1384329 BLAKE2B e77b509c49796af7a23a4f286a83516e40e28bc03a1f3b20ddeb54321de05bc5f3ddbe0632e7462c6619180276975727b49101253b07cc9a2ae54a6662d8e5ab SHA512 06b318e2973863b5acefdd01b39065987a93952fa5f2ce9ba68df7ff7bf701c5fc82b571f53e80eadaa293935a82e8d1f891cc555db7200a923ee986918a0c76 DIST coq-mathcomp-1.19.0.tar.gz 1407548 BLAKE2B 733d537736a19a3667a51bbfe0b0c09838670761d8dd33853bfa3f320e29b71ec5703ed7ed752823c3696e7fad97443adb20a56e39fc9ec92b2ef5ae3d41a400 SHA512 ca2a24679418e551b6c9caee9799b2773ea2fb9986adc01c8e98f078dacb70bac872531f8f91fcf57ac04d8484783fc12589ae50a078f6b38beeb01fba6adbba diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild deleted file mode 100644 index 4229fb64bef2.. --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild +++ /dev/null @@ -1,25 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -COQ_MIN_V=8.16.0 - -DESCRIPTION="Mathematical Components for the Coq proof assistant" -HOMEPAGE="https://github.com/math-comp/math-comp/"; -SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}/math-comp-mathcomp-${PV}/mathcomp" - -LICENSE="CeCILL-B" -SLOT="0/${PV}" -KEYWORDS="~amd64" - -RDEPEND=" - >=sci-mathematics/coq-${COQ_MIN_V}:= - dev-lang/ocaml:= -" -DEPEND="${RDEPEND}" - -# Do not complain about CFLAGS etc since ML projects do not use them. -QA_FLAGS_IGNORED='.*'
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: d742b9c269831aa6dd549a8d060dbbcb905a9504 Author: Maciej Barć gentoo org> AuthorDate: Mon Jan 15 19:32:03 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Jan 15 21:20:39 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d742b9c2 sci-mathematics/coq-mathcomp: bump to 1.19.0 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 + .../coq-mathcomp/coq-mathcomp-1.19.0.ebuild| 25 ++ 2 files changed, 26 insertions(+) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index 6551d1dbf9c4..1cde67da6462 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1 +1,2 @@ DIST coq-mathcomp-1.17.0.tar.gz 1384329 BLAKE2B e77b509c49796af7a23a4f286a83516e40e28bc03a1f3b20ddeb54321de05bc5f3ddbe0632e7462c6619180276975727b49101253b07cc9a2ae54a6662d8e5ab SHA512 06b318e2973863b5acefdd01b39065987a93952fa5f2ce9ba68df7ff7bf701c5fc82b571f53e80eadaa293935a82e8d1f891cc555db7200a923ee986918a0c76 +DIST coq-mathcomp-1.19.0.tar.gz 1407548 BLAKE2B 733d537736a19a3667a51bbfe0b0c09838670761d8dd33853bfa3f320e29b71ec5703ed7ed752823c3696e7fad97443adb20a56e39fc9ec92b2ef5ae3d41a400 SHA512 ca2a24679418e551b6c9caee9799b2773ea2fb9986adc01c8e98f078dacb70bac872531f8f91fcf57ac04d8484783fc12589ae50a078f6b38beeb01fba6adbba diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0.ebuild new file mode 100644 index ..9e92c79ab419 --- /dev/null +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +COQ_MIN_V=8.16.0 + +DESCRIPTION="Mathematical Components for the Coq proof assistant" +HOMEPAGE="https://github.com/math-comp/math-comp/"; +SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}/math-comp-mathcomp-${PV}/mathcomp" + +LICENSE="CeCILL-B" +SLOT="0/${PV}" +KEYWORDS="~amd64" + +RDEPEND=" + >=sci-mathematics/coq-${COQ_MIN_V}:= + dev-lang/ocaml:= +" +DEPEND="${RDEPEND}" + +# Do not complain about CFLAGS etc since ML projects do not use them. +QA_FLAGS_IGNORED='.*'
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 07b6a44a3601a510c1026df4ee79f5611e36e441 Author: Maciej Barć gentoo org> AuthorDate: Mon Jan 15 19:20:40 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Jan 15 21:20:39 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=07b6a44a sci-mathematics/coq-mathcomp: drop old 1.16.0-r1 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 - .../coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild | 25 -- 2 files changed, 26 deletions(-) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index e6e49ecf532f..6551d1dbf9c4 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1,2 +1 @@ -DIST coq-mathcomp-1.16.0.tar.gz 1377232 BLAKE2B f9246ff2a6e583facc31278728b0865fdfb4d9cb6422687643321712b22d7fa61e40dd95e7782ba8443f66b61f9f6a82caead767a6985c87e6fe731a04494713 SHA512 80dc82e0deea4b3e05811b9dca3cf7c0169387288a5cc5c7e95c452c7aa041a37df34d93546c6597c6717106e20dc98400c7b0bbb8d1d1915e2063cfe6fd300b DIST coq-mathcomp-1.17.0.tar.gz 1384329 BLAKE2B e77b509c49796af7a23a4f286a83516e40e28bc03a1f3b20ddeb54321de05bc5f3ddbe0632e7462c6619180276975727b49101253b07cc9a2ae54a6662d8e5ab SHA512 06b318e2973863b5acefdd01b39065987a93952fa5f2ce9ba68df7ff7bf701c5fc82b571f53e80eadaa293935a82e8d1f891cc555db7200a923ee986918a0c76 diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild deleted file mode 100644 index f90ad15beb45.. --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild +++ /dev/null @@ -1,25 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -COQ_MIN_V=8.16.0 - -DESCRIPTION="Mathematical Components for the Coq proof assistant" -HOMEPAGE="https://github.com/math-comp/math-comp/"; -SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp - -LICENSE="CeCILL-B" -SLOT="0/${PV}" -KEYWORDS="~amd64" - -RDEPEND=" - >=sci-mathematics/coq-${COQ_MIN_V}:= - dev-lang/ocaml:= -" -DEPEND="${RDEPEND}" - -# Do not complain about CFLAGS etc since ML projects do not use them. -QA_FLAGS_IGNORED='.*'
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 57f9a61d58baa1724b28298750768db0c60a1eb3 Author: Maciej Barć gentoo org> AuthorDate: Tue Oct 24 12:30:24 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Oct 24 12:30:54 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57f9a61d sci-mathematics/coq-mathcomp: bump to 1.17.0 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 + .../coq-mathcomp/coq-mathcomp-1.17.0.ebuild| 25 ++ 2 files changed, 26 insertions(+) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index a7ade2e17b57..e6e49ecf532f 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1 +1,2 @@ DIST coq-mathcomp-1.16.0.tar.gz 1377232 BLAKE2B f9246ff2a6e583facc31278728b0865fdfb4d9cb6422687643321712b22d7fa61e40dd95e7782ba8443f66b61f9f6a82caead767a6985c87e6fe731a04494713 SHA512 80dc82e0deea4b3e05811b9dca3cf7c0169387288a5cc5c7e95c452c7aa041a37df34d93546c6597c6717106e20dc98400c7b0bbb8d1d1915e2063cfe6fd300b +DIST coq-mathcomp-1.17.0.tar.gz 1384329 BLAKE2B e77b509c49796af7a23a4f286a83516e40e28bc03a1f3b20ddeb54321de05bc5f3ddbe0632e7462c6619180276975727b49101253b07cc9a2ae54a6662d8e5ab SHA512 06b318e2973863b5acefdd01b39065987a93952fa5f2ce9ba68df7ff7bf701c5fc82b571f53e80eadaa293935a82e8d1f891cc555db7200a923ee986918a0c76 diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild new file mode 100644 index ..4229fb64bef2 --- /dev/null +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +COQ_MIN_V=8.16.0 + +DESCRIPTION="Mathematical Components for the Coq proof assistant" +HOMEPAGE="https://github.com/math-comp/math-comp/"; +SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}/math-comp-mathcomp-${PV}/mathcomp" + +LICENSE="CeCILL-B" +SLOT="0/${PV}" +KEYWORDS="~amd64" + +RDEPEND=" + >=sci-mathematics/coq-${COQ_MIN_V}:= + dev-lang/ocaml:= +" +DEPEND="${RDEPEND}" + +# Do not complain about CFLAGS etc since ML projects do not use them. +QA_FLAGS_IGNORED='.*'
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 7793b4607f07619cd0aab0db63f792d1d566d7c3 Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:56:23 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:06 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7793b460 sci-mathematics/coq-mathcomp: drop old 1.15.0-r1 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 - .../coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild | 23 -- 2 files changed, 24 deletions(-) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index 1793a20ff5b4..a7ade2e17b57 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1,2 +1 @@ -DIST coq-mathcomp-1.15.0.tar.gz 1359283 BLAKE2B 7a575e49f93c6527da877a4044ae97d82fa48f242c29b5ed22bc58154f422e14716cb481aa4de96963cfd3cf1aad5dcd76608d85ec4b68ce1a5601b13e3add3e SHA512 96d3bc53ab83740675e6d0bd6e31479e16d986994d1725e9a0466ef46cd517e4ced966d6b1e34b3ff1b15327a2058afcc914b91dba3c5354021d4ef224b8348c DIST coq-mathcomp-1.16.0.tar.gz 1377232 BLAKE2B f9246ff2a6e583facc31278728b0865fdfb4d9cb6422687643321712b22d7fa61e40dd95e7782ba8443f66b61f9f6a82caead767a6985c87e6fe731a04494713 SHA512 80dc82e0deea4b3e05811b9dca3cf7c0169387288a5cc5c7e95c452c7aa041a37df34d93546c6597c6717106e20dc98400c7b0bbb8d1d1915e2063cfe6fd300b diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild deleted file mode 100644 index bb3f88518455.. --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DESCRIPTION="Mathematical Components for the Coq proof assistant" -HOMEPAGE="https://github.com/math-comp/math-comp/"; -SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp - -LICENSE="CeCILL-B" -SLOT="0/${PV}" -KEYWORDS="~amd64" - -RDEPEND=" - dev-lang/ocaml:= - >=sci-mathematics/coq-8.16.0:= -" -DEPEND="${RDEPEND}" - -# Do not complain about CFLAGS etc since ML projects do not use them. -QA_FLAGS_IGNORED='.*'
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 1692957583e25a4b5559363222722938a592445a Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 12:48:07 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 14:17:02 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16929575 sci-mathematics/coq-mathcomp: drop old 1.14.0-r2 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 - .../coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild | 32 -- 2 files changed, 33 deletions(-) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index 3fe8d5839785..1793a20ff5b4 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1,3 +1,2 @@ -DIST coq-mathcomp-1.14.0.tar.gz 1352989 BLAKE2B 475ca9725a7868d592fc289223f468c6703cca1574d878568d7faaa2725fc204155320c915c75861d5f122acc0cf6aaad9f324656f9a7dae030d37fee93bec27 SHA512 49821492016e75fe32d22557b6b2de4bc0a3d924e2a38a13f2759aeb87095417a27e274737d0dcc01448899c3ebb50c284e9eb96fd1d4c22fb5d101dc6d290bf DIST coq-mathcomp-1.15.0.tar.gz 1359283 BLAKE2B 7a575e49f93c6527da877a4044ae97d82fa48f242c29b5ed22bc58154f422e14716cb481aa4de96963cfd3cf1aad5dcd76608d85ec4b68ce1a5601b13e3add3e SHA512 96d3bc53ab83740675e6d0bd6e31479e16d986994d1725e9a0466ef46cd517e4ced966d6b1e34b3ff1b15327a2058afcc914b91dba3c5354021d4ef224b8348c DIST coq-mathcomp-1.16.0.tar.gz 1377232 BLAKE2B f9246ff2a6e583facc31278728b0865fdfb4d9cb6422687643321712b22d7fa61e40dd95e7782ba8443f66b61f9f6a82caead767a6985c87e6fe731a04494713 SHA512 80dc82e0deea4b3e05811b9dca3cf7c0169387288a5cc5c7e95c452c7aa041a37df34d93546c6597c6717106e20dc98400c7b0bbb8d1d1915e2063cfe6fd300b diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild deleted file mode 100644 index 19ef924f2ac9.. --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DESCRIPTION="Mathematical Components for the Coq proof assistant" -HOMEPAGE="https://github.com/math-comp/math-comp/"; -SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp - -LICENSE="CeCILL-B" -SLOT="0/${PV}" -KEYWORDS="~amd64" - -RDEPEND=" - dev-lang/ocaml:= - >=sci-mathematics/coq-8.13.0:= make jobserver unavailable -src_compile() { - emake -j1 -} - -src_install() { - emake -j1 install DESTDIR="${D}" -}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 23ddd3215b20cec819a0edda598720c81dc8aa4b Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 12:03:01 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 14:17:01 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=23ddd321 sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq code Closes: https://bugs.gentoo.org/904155 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild | 3 +++ sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild | 3 +++ sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild | 3 +++ 3 files changed, 9 insertions(+) diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild index 169688aba6cc..19ef924f2ac9 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild @@ -19,6 +19,9 @@ RDEPEND=" " DEPEND="${RDEPEND}" +# Do not complain about CFLAGS etc since ML projects do not use them. +QA_FLAGS_IGNORED='.*' + # > make jobserver unavailable src_compile() { emake -j1 diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild index fec89b781e85..bb3f88518455 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild @@ -18,3 +18,6 @@ RDEPEND=" >=sci-mathematics/coq-8.16.0:= " DEPEND="${RDEPEND}" + +# Do not complain about CFLAGS etc since ML projects do not use them. +QA_FLAGS_IGNORED='.*' diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild index 7ccb37804477..f90ad15beb45 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild @@ -20,3 +20,6 @@ RDEPEND=" dev-lang/ocaml:= " DEPEND="${RDEPEND}" + +# Do not complain about CFLAGS etc since ML projects do not use them. +QA_FLAGS_IGNORED='.*'
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 5845e37ea1bc6cb1e9d2e80642c63b52a09c1f87 Author: Maciej Barć gentoo org> AuthorDate: Tue Mar 14 23:53:27 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Mar 15 00:25:40 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5845e37e sci-mathematics/coq-mathcomp: introduce COQ_MIN_V Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild index fec89b781e85..7ccb37804477 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild @@ -3,6 +3,8 @@ EAPI=8 +COQ_MIN_V=8.16.0 + DESCRIPTION="Mathematical Components for the Coq proof assistant" HOMEPAGE="https://github.com/math-comp/math-comp/"; SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz @@ -14,7 +16,7 @@ SLOT="0/${PV}" KEYWORDS="~amd64" RDEPEND=" + >=sci-mathematics/coq-${COQ_MIN_V}:= dev-lang/ocaml:= - >=sci-mathematics/coq-8.16.0:= " DEPEND="${RDEPEND}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 27e2f507566c78663293013fdb87f61d82c0a122 Author: Maciej Barć gentoo org> AuthorDate: Thu Feb 16 11:53:46 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Feb 16 11:55:45 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=27e2f507 sci-mathematics/coq-mathcomp: fix deps Signed-off-by: Maciej Barć gentoo.org> ...coq-mathcomp-1.14.0-r1.ebuild => coq-mathcomp-1.14.0-r2.ebuild} | 7 +-- .../{coq-mathcomp-1.16.0.ebuild => coq-mathcomp-1.15.0-r1.ebuild} | 5 - .../{coq-mathcomp-1.15.0.ebuild => coq-mathcomp-1.16.0-r1.ebuild} | 7 +-- 3 files changed, 14 insertions(+), 5 deletions(-) diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild similarity index 80% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild index fcf362d97248..169688aba6cc 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -13,7 +13,10 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.13.0:= =sci-mathematics/coq-8.13.0:= make jobserver unavailable diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild similarity index 87% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild index a8e1792a11d6..fec89b781e85 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild @@ -13,5 +13,8 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.16.0:=" +RDEPEND=" + dev-lang/ocaml:= + >=sci-mathematics/coq-8.16.0:= +" DEPEND="${RDEPEND}" diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild similarity index 80% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild index 5e41229a4f4f..fec89b781e85 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -13,5 +13,8 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.16.0:=" +RDEPEND=" + dev-lang/ocaml:= + >=sci-mathematics/coq-8.16.0:= +" DEPEND="${RDEPEND}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 1748e659f003a6e8850e8fb21d29ec43dd8d978f Author: Maciej Barć gentoo org> AuthorDate: Wed Feb 1 16:41:42 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Feb 2 10:51:16 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1748e659 sci-mathematics/coq-mathcomp: bump to 1.16.0 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 + sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index 308e6489c8ef..3fe8d5839785 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1,2 +1,3 @@ DIST coq-mathcomp-1.14.0.tar.gz 1352989 BLAKE2B 475ca9725a7868d592fc289223f468c6703cca1574d878568d7faaa2725fc204155320c915c75861d5f122acc0cf6aaad9f324656f9a7dae030d37fee93bec27 SHA512 49821492016e75fe32d22557b6b2de4bc0a3d924e2a38a13f2759aeb87095417a27e274737d0dcc01448899c3ebb50c284e9eb96fd1d4c22fb5d101dc6d290bf DIST coq-mathcomp-1.15.0.tar.gz 1359283 BLAKE2B 7a575e49f93c6527da877a4044ae97d82fa48f242c29b5ed22bc58154f422e14716cb481aa4de96963cfd3cf1aad5dcd76608d85ec4b68ce1a5601b13e3add3e SHA512 96d3bc53ab83740675e6d0bd6e31479e16d986994d1725e9a0466ef46cd517e4ced966d6b1e34b3ff1b15327a2058afcc914b91dba3c5354021d4ef224b8348c +DIST coq-mathcomp-1.16.0.tar.gz 1377232 BLAKE2B f9246ff2a6e583facc31278728b0865fdfb4d9cb6422687643321712b22d7fa61e40dd95e7782ba8443f66b61f9f6a82caead767a6985c87e6fe731a04494713 SHA512 80dc82e0deea4b3e05811b9dca3cf7c0169387288a5cc5c7e95c452c7aa041a37df34d93546c6597c6717106e20dc98400c7b0bbb8d1d1915e2063cfe6fd300b diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild new file mode 100644 index ..a8e1792a11d6 --- /dev/null +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="Mathematical Components for the Coq proof assistant" +HOMEPAGE="https://github.com/math-comp/math-comp/"; +SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp + +LICENSE="CeCILL-B" +SLOT="0/${PV}" +KEYWORDS="~amd64" + +RDEPEND=">=sci-mathematics/coq-8.16.0:=" +DEPEND="${RDEPEND}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 10130c0f4c9b16f6eebcb4d44319e7035937891e Author: Maciej Barć gentoo org> AuthorDate: Wed Sep 7 11:56:59 2022 + Commit: Maciej Barć gentoo org> CommitDate: Wed Sep 7 12:17:44 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10130c0f sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0 Closes: https://bugs.gentoo.org/869053 Signed-off-by: Maciej Barć gentoo.org> .../{coq-mathcomp-1.14.0.ebuild => coq-mathcomp-1.14.0-r1.ebuild} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild similarity index 88% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild index 2197f1aa5dd9..fcf362d97248 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild @@ -13,7 +13,7 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.13.0:=" +RDEPEND=">=sci-mathematics/coq-8.13.0:= make jobserver unavailable
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 5e1932c167586e62fa5274da5436c21a8e9b0d15 Author: Maciej Barć gentoo org> AuthorDate: Wed Sep 7 12:08:31 2022 + Commit: Maciej Barć gentoo org> CommitDate: Wed Sep 7 12:17:44 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e1932c1 sci-mathematics/coq-mathcomp: bump to 1.15.0 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 + sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index 4ab7ebbc5bf6..308e6489c8ef 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1 +1,2 @@ DIST coq-mathcomp-1.14.0.tar.gz 1352989 BLAKE2B 475ca9725a7868d592fc289223f468c6703cca1574d878568d7faaa2725fc204155320c915c75861d5f122acc0cf6aaad9f324656f9a7dae030d37fee93bec27 SHA512 49821492016e75fe32d22557b6b2de4bc0a3d924e2a38a13f2759aeb87095417a27e274737d0dcc01448899c3ebb50c284e9eb96fd1d4c22fb5d101dc6d290bf +DIST coq-mathcomp-1.15.0.tar.gz 1359283 BLAKE2B 7a575e49f93c6527da877a4044ae97d82fa48f242c29b5ed22bc58154f422e14716cb481aa4de96963cfd3cf1aad5dcd76608d85ec4b68ce1a5601b13e3add3e SHA512 96d3bc53ab83740675e6d0bd6e31479e16d986994d1725e9a0466ef46cd517e4ced966d6b1e34b3ff1b15327a2058afcc914b91dba3c5354021d4ef224b8348c diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild new file mode 100644 index ..5e41229a4f4f --- /dev/null +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="Mathematical Components for the Coq proof assistant" +HOMEPAGE="https://github.com/math-comp/math-comp/"; +SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp + +LICENSE="CeCILL-B" +SLOT="0/${PV}" +KEYWORDS="~amd64" + +RDEPEND=">=sci-mathematics/coq-8.16.0:=" +DEPEND="${RDEPEND}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/
commit: 39c72c3ccecb73de2596a51af9c126a814e39977 Author: Maciej Barć gentoo org> AuthorDate: Sat Mar 5 01:51:49 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Mar 5 04:40:57 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=39c72c3c sci-mathematics/coq-mathcomp: new package; add 1.14.0 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/coq-mathcomp/Manifest | 1 + .../coq-mathcomp/coq-mathcomp-1.14.0.ebuild| 26 ++ sci-mathematics/coq-mathcomp/metadata.xml | 14 3 files changed, 41 insertions(+) diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest new file mode 100644 index ..4ab7ebbc5bf6 --- /dev/null +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -0,0 +1 @@ +DIST coq-mathcomp-1.14.0.tar.gz 1352989 BLAKE2B 475ca9725a7868d592fc289223f468c6703cca1574d878568d7faaa2725fc204155320c915c75861d5f122acc0cf6aaad9f324656f9a7dae030d37fee93bec27 SHA512 49821492016e75fe32d22557b6b2de4bc0a3d924e2a38a13f2759aeb87095417a27e274737d0dcc01448899c3ebb50c284e9eb96fd1d4c22fb5d101dc6d290bf diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild new file mode 100644 index ..2197f1aa5dd9 --- /dev/null +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="Mathematical Components for the Coq proof assistant" +HOMEPAGE="https://github.com/math-comp/math-comp/"; +SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp + +LICENSE="CeCILL-B" +SLOT="0/${PV}" +KEYWORDS="~amd64" + +RDEPEND=">=sci-mathematics/coq-8.13.0:=" +DEPEND="${RDEPEND}" + +# > make jobserver unavailable +src_compile() { + emake -j1 +} + +src_install() { + emake -j1 install DESTDIR="${D}" +} diff --git a/sci-mathematics/coq-mathcomp/metadata.xml b/sci-mathematics/coq-mathcomp/metadata.xml new file mode 100644 index ..b379637e4ab6 --- /dev/null +++ b/sci-mathematics/coq-mathcomp/metadata.xml @@ -0,0 +1,14 @@ + +https://www.gentoo.org/dtd/metadata.dtd";> + + + +sci-mathemat...@gentoo.org +Gentoo Mathematics Project + + +https://github.com/math-comp/math-comp/releases/ +https://github.com/math-comp/math-comp/issues/ +math-comp/math-comp + +