* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2022-04-16 17:21 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2022-04-16 17:21 UTC (permalink / raw
To: gentoo-commits
commit: 1aeb41df7cda12870e550f0ba1f171e5f9dc8d06
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 16 17:14:19 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Apr 16 17:14:19 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1aeb41df
sci-mathematics/coq-serapi: add ppx_sexp_conv version constraints
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../{coq-serapi-0.15.0.ebuild => coq-serapi-0.15.0-r1.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
similarity index 95%
rename from sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
index 2733c490f747..7f817ddb486a 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
@@ -22,11 +22,11 @@ RESTRICT="!test? ( test )"
RDEPEND="
>=sci-mathematics/coq-${COQV}:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
dev-ml/cmdliner:=
dev-ml/ppx_deriving:=
dev-ml/ppx_deriving_yojson:=
dev-ml/ppx_import:=
- dev-ml/ppx_sexp_conv:=
dev-ml/sexplib:=
dev-ml/yojson:=
"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2022-04-19 22:32 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2022-04-19 22:32 UTC (permalink / raw
To: gentoo-commits
commit: cb7871f4b3699944a992cf4e62afc7a7515d542f
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 19 22:30:38 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Apr 19 22:32:56 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb7871f4
sci-mathematics/coq-serapi: fix elisp libraries installation
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../{coq-serapi-0.15.0-r1.ebuild => coq-serapi-0.15.0-r2.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
similarity index 97%
rename from sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
index 7f817ddb486a..2290f780d192 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
@@ -50,7 +50,7 @@ src_install() {
rm -r "${D}"/usr/share/emacs || die
if use emacs ; then
- elisp-install sertop sertop.el{,c}
+ elisp-install ${PN} sertop.el{,c}
elisp-site-file-install "${FILESDIR}/${SITEFILE}"
fi
}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2022-10-01 23:37 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2022-10-01 23:37 UTC (permalink / raw
To: gentoo-commits
commit: 384078eb058ca2044290bff23dcf9b409867e0fc
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 1 22:15:08 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Oct 1 23:34:57 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=384078eb
sci-mathematics/coq-serapi: bump to 0.16.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 +
.../coq-serapi/coq-serapi-0.16.0.ebuild | 67 ++++++++++++++++++++++
2 files changed, 68 insertions(+)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 512540a49757..d5754b91dac0 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1 +1,2 @@
DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
+DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
new file mode 100644
index 000000000000..1c0a68608d2c
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
@@ -0,0 +1,67 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+# The tarball in SRC_URI is comprised of <supported coq>+<package version>
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
+ >=dev-ml/seq-0.3:=
+ dev-ml/cmdliner:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_deriving:=
+ dev-ml/ppx_deriving_yojson:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_import:=
+ dev-ml/sexplib:=
+ dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ emacs? ( >=app-editors/emacs-23.1:* )
+ test? ( sci-mathematics/coq-mathcomp )
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+SITEFILE="50sertop-gentoo.el"
+
+src_compile() {
+ dune_src_compile
+
+ use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+ dune_src_install
+
+ rm -r "${D}"/usr/share/emacs || die
+ if use emacs ; then
+ elisp-install ${PN} sertop.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2022-10-01 23:37 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2022-10-01 23:37 UTC (permalink / raw
To: gentoo-commits
commit: 4069d63856f17a2765b5c24a17449dbf161d9ab1
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 1 20:59:38 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Oct 1 23:34:56 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4069d638
sci-mathematics/coq-serapi: restrict coq version
Closes: https://bugs.gentoo.org/873604
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../{coq-serapi-0.15.0-r2.ebuild => coq-serapi-0.15.0-r3.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
similarity index 95%
rename from sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
index 2290f780d192..ddda9b6a1dce 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
@@ -21,7 +21,7 @@ IUSE="emacs +ocamlopt test"
RESTRICT="!test? ( test )"
RDEPEND="
- >=sci-mathematics/coq-${COQV}:=
+ >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.16:=
>=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
dev-ml/cmdliner:=
dev-ml/ppx_deriving:=
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2022-10-26 22:04 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2022-10-26 22:04 UTC (permalink / raw
To: gentoo-commits
commit: 57e2f456368e0651bd4211f1ace49d35497cb0d6
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 26 21:52:29 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Oct 26 22:04:34 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57e2f456
sci-mathematics/coq-serapi: remove seq dependency
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../coq-serapi/{coq-serapi-0.16.0.ebuild => coq-serapi-0.16.0-r1.ebuild} | 1 -
1 file changed, 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
index 1c0a68608d2c..fed96a12b2dc 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
@@ -23,7 +23,6 @@ RESTRICT="!test? ( test )"
RDEPEND="
>=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
>=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
- >=dev-ml/seq-0.3:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2022-10-31 3:44 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2022-10-31 3:44 UTC (permalink / raw
To: gentoo-commits
commit: 4b55615587fff8d0a6f297929cd3e101676f59ea
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 31 03:40:06 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Oct 31 03:44:24 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b556155
sci-mathematics/coq-serapi: bump to 0.16.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 +
.../coq-serapi/coq-serapi-0.16.1.ebuild | 66 ++++++++++++++++++++++
2 files changed, 67 insertions(+)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index d5754b91dac0..61f749d71918 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1,3 @@
DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
+DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
new file mode 100644
index 000000000000..fed96a12b2dc
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+# The tarball in SRC_URI is comprised of <supported coq>+<package version>
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
+ dev-ml/cmdliner:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_deriving:=
+ dev-ml/ppx_deriving_yojson:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_import:=
+ dev-ml/sexplib:=
+ dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ emacs? ( >=app-editors/emacs-23.1:* )
+ test? ( sci-mathematics/coq-mathcomp )
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+SITEFILE="50sertop-gentoo.el"
+
+src_compile() {
+ dune_src_compile
+
+ use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+ dune_src_install
+
+ rm -r "${D}"/usr/share/emacs || die
+ if use emacs ; then
+ elisp-install ${PN} sertop.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-01-12 1:23 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-01-12 1:23 UTC (permalink / raw
To: gentoo-commits
commit: 185fe2f36d6aa2df299937218aed7b40ca05fcd5
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 11 23:59:39 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jan 12 01:23:40 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=185fe2f3
sci-mathematics/coq-serapi: bump to 0.16.2
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 +
.../coq-serapi/coq-serapi-0.16.2.ebuild | 66 ++++++++++++++++++++++
2 files changed, 67 insertions(+)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 61f749d71918..24094f6656d1 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,4 @@
DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
+DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
new file mode 100644
index 000000000000..3c68fbf69d0d
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+# The tarball in SRC_URI is comprised of <supported coq>+<package version>
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
+ dev-ml/cmdliner:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_deriving:=
+ dev-ml/ppx_deriving_yojson:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_import:=
+ dev-ml/sexplib:=
+ dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ emacs? ( >=app-editors/emacs-23.1:* )
+ test? ( sci-mathematics/coq-mathcomp )
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+SITEFILE="50sertop-gentoo.el"
+
+src_compile() {
+ dune_src_compile
+
+ use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+ dune_src_install
+
+ rm -r "${D}"/usr/share/emacs || die
+ if use emacs ; then
+ elisp-install ${PN} sertop.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-01-12 1:23 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-01-12 1:23 UTC (permalink / raw
To: gentoo-commits
commit: 561aaf46a67201c35a083921576d2af2a38e9e70
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 12 00:14:37 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jan 12 01:23:40 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=561aaf46
sci-mathematics/coq-serapi: drop old 0.15.0-r3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 -
.../coq-serapi/coq-serapi-0.15.0-r3.ebuild | 64 ----------------------
2 files changed, 65 deletions(-)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 24094f6656d1..2f41795b411e 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,4 +1,3 @@
-DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
deleted file mode 100644
index ddda9b6a1dce..000000000000
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
+++ /dev/null
@@ -1,64 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.15.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
-# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
- -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.16:=
- >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
- dev-ml/cmdliner:=
- dev-ml/ppx_deriving:=
- dev-ml/ppx_deriving_yojson:=
- dev-ml/ppx_import:=
- dev-ml/sexplib:=
- dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- emacs? ( >=app-editors/emacs-23.1:* )
- test? ( sci-mathematics/coq-mathcomp )
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-SITEFILE="50sertop-gentoo.el"
-
-src_compile() {
- dune_src_compile
-
- use emacs && elisp-compile sertop.el
-}
-
-src_install() {
- dune_src_install
-
- rm -r "${D}"/usr/share/emacs || die
- if use emacs ; then
- elisp-install ${PN} sertop.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-01-27 13:02 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-01-27 13:02 UTC (permalink / raw
To: gentoo-commits
commit: f82a0ccd1ec627e46d64547495ec328895456dc5
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 27 11:26:26 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jan 27 13:01:59 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f82a0ccd
sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../{coq-serapi-0.16.2.ebuild => coq-serapi-0.16.2-r1.ebuild} | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
similarity index 95%
rename from sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
index 3c68fbf69d0d..44a2d0a9b186 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
@@ -9,6 +9,7 @@ inherit elisp-common dune
DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+
# The tarball in SRC_URI is comprised of <supported coq>+<package version>
SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-> ${P}.tar.gz"
@@ -22,7 +23,7 @@ RESTRICT="!test? ( test )"
RDEPEND="
>=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
- >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-02-17 1:43 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-02-17 1:43 UTC (permalink / raw
To: gentoo-commits
commit: 9ff81ed4382bff314e98719044d5bd489c730495
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 17 00:49:21 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Feb 17 01:22:11 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ff81ed4
sci-mathematics/coq-serapi: bump to 0.16.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 +
.../coq-serapi/coq-serapi-0.16.3.ebuild | 69 ++++++++++++++++++++++
2 files changed, 70 insertions(+)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 2f41795b411e..cf02f40b480b 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,4 @@
DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
+DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786 SHA512 fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
new file mode 100644
index 000000000000..9b4f5a4653a6
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
@@ -0,0 +1,69 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+
+# The tarball in SRC_URI is comprised of <supported coq>+<package version>
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:=
+ dev-ml/cmdliner:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_deriving:=
+ dev-ml/ppx_deriving_yojson:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_import:=
+ dev-ml/sexplib:=
+ dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ emacs? ( >=app-editors/emacs-23.1:* )
+ test? ( sci-mathematics/coq-mathcomp )
+"
+
+SITEFILE="50sertop-gentoo.el"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+
+src_compile() {
+ dune_src_compile
+
+ use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+ dune_src_install
+
+ rm -r "${D}"/usr/share/emacs || die
+
+ if use emacs ; then
+ elisp-install ${PN} sertop.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-02-17 1:43 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-02-17 1:43 UTC (permalink / raw
To: gentoo-commits
commit: 256bbdf201fa87180d36af5d6ada9ac36ca116fe
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 17 00:52:16 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Feb 17 01:22:11 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=256bbdf2
sci-mathematics/coq-serapi: drop old 0.16.0-r1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 -
.../coq-serapi/coq-serapi-0.16.0-r1.ebuild | 66 ----------------------
2 files changed, 67 deletions(-)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index cf02f40b480b..bb04f4922260 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,4 +1,3 @@
-DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786 SHA512 fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
deleted file mode 100644
index fed96a12b2dc..000000000000
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
+++ /dev/null
@@ -1,66 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.16.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
-# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
- -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
- >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
- dev-ml/cmdliner:=
- dev-ml/ppx_compare:=
- dev-ml/ppx_deriving:=
- dev-ml/ppx_deriving_yojson:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_import:=
- dev-ml/sexplib:=
- dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- emacs? ( >=app-editors/emacs-23.1:* )
- test? ( sci-mathematics/coq-mathcomp )
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-SITEFILE="50sertop-gentoo.el"
-
-src_compile() {
- dune_src_compile
-
- use emacs && elisp-compile sertop.el
-}
-
-src_install() {
- dune_src_install
-
- rm -r "${D}"/usr/share/emacs || die
- if use emacs ; then
- elisp-install ${PN} sertop.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-03-15 1:29 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-03-15 1:29 UTC (permalink / raw
To: gentoo-commits
commit: aaa95b088ca9506c9634f68c62fa1ec0af7fd89e
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 14 23:54:31 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Mar 15 00:25:40 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aaa95b08
sci-mathematics/coq-serapi: introduce COQ_MIN_V
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
index 9b4f5a4653a6..45e829121219 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
@@ -3,7 +3,8 @@
EAPI=8
-COQV=8.16.0
+COQ_MIN_V=8.16.0
+COQ_MAX_V=8.17.0
inherit elisp-common dune
@@ -13,7 +14,7 @@ HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
# The tarball in SRC_URI is comprised of <supported coq>+<package version>
SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
+S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
LICENSE="GPL-3+"
SLOT="0/${PV}"
@@ -22,7 +23,7 @@ IUSE="emacs +ocamlopt test"
RESTRICT="!test? ( test )"
RDEPEND="
- >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
+ >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
>=dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-04-10 18:49 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-04-10 18:49 UTC (permalink / raw
To: gentoo-commits
commit: b9dda4f82433fcab98bdb4c5870320e7a1948817
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 10 16:41:22 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Apr 10 18:49:22 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9dda4f8
sci-mathematics/coq-serapi: fix SRC_URI
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
index 45e829121219..1c0727491cf7 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
@@ -12,7 +12,7 @@ DESCRIPTION="Serialization library and protocol for interaction with the Coq pro
HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
-> ${P}.tar.gz"
S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-04-10 18:49 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-04-10 18:49 UTC (permalink / raw
To: gentoo-commits
commit: d11706013713929a25850c2afe7544d13633fd92
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 10 17:47:59 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Apr 10 18:49:23 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1170601
sci-mathematics/coq-serapi: bump to 0.17.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 +
.../coq-serapi/coq-serapi-0.17.0.ebuild | 70 ++++++++++++++++++++++
2 files changed, 71 insertions(+)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index bb04f4922260..427eaa5dae04 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,4 @@
DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786 SHA512 fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
+DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb SHA512 d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d0451eeee0713bd48afa2b
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
new file mode 100644
index 000000000000..2485ac135a10
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
@@ -0,0 +1,70 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQ_MIN_V=8.17.0
+COQ_MAX_V=8.18.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+
+# The tarball in SRC_URI is comprised of <supported coq>+<package version>
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:=
+ dev-ml/cmdliner:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_deriving:=
+ dev-ml/ppx_deriving_yojson:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_import:=
+ dev-ml/sexplib:=
+ dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ emacs? ( >=app-editors/emacs-23.1:* )
+ test? ( sci-mathematics/coq-mathcomp )
+"
+
+SITEFILE="50sertop-gentoo.el"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+
+src_compile() {
+ dune_src_compile
+
+ use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+ dune_src_install
+
+ rm -r "${D}"/usr/share/emacs || die
+
+ if use emacs ; then
+ elisp-install ${PN} sertop.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-07-15 22:17 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-07-15 22:17 UTC (permalink / raw
To: gentoo-commits
commit: c47d637abc18174ac81f3dd2cbd0d53b2d0dc225
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 15 21:55:56 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 15 22:17:05 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c47d637a
sci-mathematics/coq-serapi: drop old 0.16.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 -
.../coq-serapi/coq-serapi-0.16.3.ebuild | 70 ----------------------
2 files changed, 71 deletions(-)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index f55e4732d1e8..c332540725bc 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1 @@
-DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786 SHA512 fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb SHA512 d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d0451eeee0713bd48afa2b
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
deleted file mode 100644
index 1c0727491cf7..000000000000
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
+++ /dev/null
@@ -1,70 +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
-COQ_MAX_V=8.17.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
-
-# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
- -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
- >=dev-ml/ppx_sexp_conv-0.13.0:=
- dev-ml/cmdliner:=
- dev-ml/ppx_compare:=
- dev-ml/ppx_deriving:=
- dev-ml/ppx_deriving_yojson:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_import:=
- dev-ml/sexplib:=
- dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- emacs? ( >=app-editors/emacs-23.1:* )
- test? ( sci-mathematics/coq-mathcomp )
-"
-
-SITEFILE="50sertop-gentoo.el"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-
-src_compile() {
- dune_src_compile
-
- use emacs && elisp-compile sertop.el
-}
-
-src_install() {
- dune_src_install
-
- rm -r "${D}"/usr/share/emacs || die
-
- if use emacs ; then
- elisp-install ${PN} sertop.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-07-15 22:17 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-07-15 22:17 UTC (permalink / raw
To: gentoo-commits
commit: ed12505a109bd632f5836e18d282746cb9225594
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 15 21:55:45 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 15 22:17:05 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed12505a
sci-mathematics/coq-serapi: drop old 0.16.2-r1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 -
.../coq-serapi/coq-serapi-0.16.2-r1.ebuild | 67 ----------------------
2 files changed, 68 deletions(-)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 10b4969ae59e..f55e4732d1e8 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,2 @@
-DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786 SHA512 fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb SHA512 d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d0451eeee0713bd48afa2b
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
deleted file mode 100644
index 44a2d0a9b186..000000000000
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
+++ /dev/null
@@ -1,67 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.16.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
-
-# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
- -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
- >=dev-ml/ppx_sexp_conv-0.13.0:=
- dev-ml/cmdliner:=
- dev-ml/ppx_compare:=
- dev-ml/ppx_deriving:=
- dev-ml/ppx_deriving_yojson:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_import:=
- dev-ml/sexplib:=
- dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- emacs? ( >=app-editors/emacs-23.1:* )
- test? ( sci-mathematics/coq-mathcomp )
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-SITEFILE="50sertop-gentoo.el"
-
-src_compile() {
- dune_src_compile
-
- use emacs && elisp-compile sertop.el
-}
-
-src_install() {
- dune_src_install
-
- rm -r "${D}"/usr/share/emacs || die
- if use emacs ; then
- elisp-install ${PN} sertop.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-07-15 22:17 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-07-15 22:17 UTC (permalink / raw
To: gentoo-commits
commit: abbb7f41bc9912de890db2cfc8eff0f41ded3850
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 15 21:55:33 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 15 22:17:04 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=abbb7f41
sci-mathematics/coq-serapi: drop old 0.16.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 -
.../coq-serapi/coq-serapi-0.16.1.ebuild | 66 ----------------------
2 files changed, 67 deletions(-)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 427eaa5dae04..10b4969ae59e 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,4 +1,3 @@
-DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6 SHA512 f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786 SHA512 fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb SHA512 d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d0451eeee0713bd48afa2b
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
deleted file mode 100644
index fed96a12b2dc..000000000000
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
+++ /dev/null
@@ -1,66 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.16.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
-# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
- -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
- >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:=
- dev-ml/cmdliner:=
- dev-ml/ppx_compare:=
- dev-ml/ppx_deriving:=
- dev-ml/ppx_deriving_yojson:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_import:=
- dev-ml/sexplib:=
- dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- emacs? ( >=app-editors/emacs-23.1:* )
- test? ( sci-mathematics/coq-mathcomp )
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-SITEFILE="50sertop-gentoo.el"
-
-src_compile() {
- dune_src_compile
-
- use emacs && elisp-compile sertop.el
-}
-
-src_install() {
- dune_src_install
-
- rm -r "${D}"/usr/share/emacs || die
- if use emacs ; then
- elisp-install ${PN} sertop.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2023-10-23 20:39 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2023-10-23 20:39 UTC (permalink / raw
To: gentoo-commits
commit: 3f7751adfbf87dc0d59ba8d60dd0ce604c0a3a17
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 23 20:17:28 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Oct 23 20:38:57 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f7751ad
sci-mathematics/coq-serapi: bump to 0.18.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 +
.../coq-serapi/coq-serapi-0.18.1.ebuild | 72 ++++++++++++++++++++++
2 files changed, 73 insertions(+)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index c332540725bc..880c01bd85ec 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1 +1,2 @@
DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb SHA512 d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d0451eeee0713bd48afa2b
+DIST coq-serapi-0.18.1.tar.gz 275040 BLAKE2B 9224505da004ff54c3d21c394e6049b5e15b91c3531cd0d80aae89ee6ce9e92bb626a43fdef8fad58fea4d017b3ed3f13d5d1735e7cfc1ae3bcebed2c70ce332 SHA512 a8eca10734a5b1aa5c6a890998f18d673050ca1e975b5e88643176bfd627b4c0d05cf0be1b75ccfd155b9e74f357ee61bf8225fd144b6a624a3bdd359396428c
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild
new file mode 100644
index 000000000000..c98dfba0d296
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild
@@ -0,0 +1,72 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQ_MIN_V=8.18.0
+COQ_MAX_V=8.19.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+
+# The tarball in SRC_URI is comprised of <supported coq>+<package version>
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${COQ_MIN_V}-${PV}"
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:=
+ dev-ml/cmdliner:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_deriving:=
+ dev-ml/ppx_deriving_yojson:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_import:=
+ dev-ml/sexplib:=
+ dev-ml/yojson:=
+"
+DEPEND="
+ ${RDEPEND}
+"
+BDEPEND="
+ emacs? ( >=app-editors/emacs-23.1:* )
+ test? ( sci-mathematics/coq-mathcomp )
+"
+
+SITEFILE="50sertop-gentoo.el"
+
+PATCHES=( "${FILESDIR}/${PN}-sertop.el-path.patch" )
+
+src_compile() {
+ dune_src_compile
+
+ use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+ dune_src_install
+
+ rm -r "${ED}/usr/share/emacs" || die
+
+ if use emacs ; then
+ elisp-install "${PN}" sertop.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2024-01-15 21:20 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2024-01-15 21:20 UTC (permalink / raw
To: gentoo-commits
commit: 7da37463eb3bf098fc760b1d1faecb48e2351229
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 15 19:19:53 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jan 15 21:20:39 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7da37463
sci-mathematics/coq-serapi: drop old 0.17.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 -
.../coq-serapi/coq-serapi-0.17.0.ebuild | 70 ----------------------
2 files changed, 71 deletions(-)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 880c01bd85ec..31b560b4f01e 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1 @@
-DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb SHA512 d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d0451eeee0713bd48afa2b
DIST coq-serapi-0.18.1.tar.gz 275040 BLAKE2B 9224505da004ff54c3d21c394e6049b5e15b91c3531cd0d80aae89ee6ce9e92bb626a43fdef8fad58fea4d017b3ed3f13d5d1735e7cfc1ae3bcebed2c70ce332 SHA512 a8eca10734a5b1aa5c6a890998f18d673050ca1e975b5e88643176bfd627b4c0d05cf0be1b75ccfd155b9e74f357ee61bf8225fd144b6a624a3bdd359396428c
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
deleted file mode 100644
index 2485ac135a10..000000000000
--- a/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
+++ /dev/null
@@ -1,70 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQ_MIN_V=8.17.0
-COQ_MAX_V=8.18.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
-
-# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
- -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
- >=dev-ml/ppx_sexp_conv-0.13.0:=
- dev-ml/cmdliner:=
- dev-ml/ppx_compare:=
- dev-ml/ppx_deriving:=
- dev-ml/ppx_deriving_yojson:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_import:=
- dev-ml/sexplib:=
- dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- emacs? ( >=app-editors/emacs-23.1:* )
- test? ( sci-mathematics/coq-mathcomp )
-"
-
-SITEFILE="50sertop-gentoo.el"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-
-src_compile() {
- dune_src_compile
-
- use emacs && elisp-compile sertop.el
-}
-
-src_install() {
- dune_src_install
-
- rm -r "${D}"/usr/share/emacs || die
-
- if use emacs ; then
- elisp-install ${PN} sertop.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2024-09-09 0:06 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2024-09-09 0:06 UTC (permalink / raw
To: gentoo-commits
commit: 386549b58a587865bc578138a50d3158e6d066a0
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 8 23:38:03 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Sep 9 00:06:05 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=386549b5
sci-mathematics/coq-serapi: bump to 0.20.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 +
.../coq-serapi/coq-serapi-0.20.0.ebuild | 83 ++++++++++++++++++++++
2 files changed, 84 insertions(+)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 11247d765a45..79de2ff00dfb 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1 +1,2 @@
DIST coq-serapi-0.19.0.tar.gz 180779 BLAKE2B 27083a851139e983158b4cb251d37971d0eec61dd91303a0d09512e690c56a75624dab8c5120eebaed1e7bb168d0b2b889d538854812506c4d0a804f7bee7423 SHA512 e01706beb957315011682f2f74448e66c7a8a077418eeaf7d3fa21414bdf88950b75adbfe2392656e4d6036ce6585d4d53b1dadfd8379249b2943ea389c9c83e
+DIST coq-serapi-0.20.0.tar.gz 182481 BLAKE2B 0483eb7023c67b42def13d23ceec7375d4a575f58ef0b6ed39cbcf8c8f76633c74c83bdebff18b7a777d90beeb20d03c38f20cff525afd1822db31c4a168d413 SHA512 00f8ff851c1b99f45761d098af51949f9a6844d05e23b2cede795bb4f93a9a0a753b45c38271537b257f0ec9cd7538be251174eff483a89cd57889f40a358c27
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.20.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.20.0.ebuild
new file mode 100644
index 000000000000..2a430ae8faf5
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.20.0.ebuild
@@ -0,0 +1,83 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQ_MIN_V="8.20.0"
+COQ_MAX_V="8.21.0"
+
+inherit dune elisp-common
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+
+ EGIT_REPO_URI="https://github.com/ejgallego/${PN}.git"
+else
+ # The tarball in SRC_URI is comprised of <supported coq>+<package version>
+ SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
+ -> ${P}.tar.gz"
+ S="${WORKDIR}/${PN}-${COQ_MIN_V}-${PV}"
+
+ KEYWORDS="~amd64"
+fi
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
+ >=dev-ml/ppx_sexp_conv-0.13.0:=
+ dev-ml/cmdliner:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_deriving:=
+ dev-ml/ppx_deriving_yojson:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_import:=
+ dev-ml/sexplib:=
+ dev-ml/yojson:=
+"
+DEPEND="
+ ${RDEPEND}
+"
+BDEPEND="
+ emacs? (
+ >=app-editors/emacs-23.1:*
+ )
+ test? (
+ sci-mathematics/coq-mathcomp
+ )
+"
+
+PATCHES=( "${FILESDIR}/${PN}-0.19.0-sertop-el.patch" )
+
+SITEFILE="50sertop-gentoo.el"
+
+src_compile() {
+ dune_src_compile
+
+ use emacs && elisp-compile sertop/*.el
+}
+
+src_install() {
+ dune_src_install
+
+ rm -r "${ED}/usr/share/emacs" || die
+
+ if use emacs ; then
+ elisp-install "${PN}" sertop/*.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2024-11-19 19:59 Maciej Barć
0 siblings, 0 replies; 21+ messages in thread
From: Maciej Barć @ 2024-11-19 19:59 UTC (permalink / raw
To: gentoo-commits
commit: f6ae4af46707e6bc4e80bd6a48425ed7dc44e447
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Nov 19 19:46:08 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov 19 19:52:08 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f6ae4af4
sci-mathematics/coq-serapi: drop old 0.19.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/coq-serapi/Manifest | 1 -
.../coq-serapi/coq-serapi-0.19.0.ebuild | 76 ----------------------
2 files changed, 77 deletions(-)
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest
index 79de2ff00dfb..253cececed11 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1 @@
-DIST coq-serapi-0.19.0.tar.gz 180779 BLAKE2B 27083a851139e983158b4cb251d37971d0eec61dd91303a0d09512e690c56a75624dab8c5120eebaed1e7bb168d0b2b889d538854812506c4d0a804f7bee7423 SHA512 e01706beb957315011682f2f74448e66c7a8a077418eeaf7d3fa21414bdf88950b75adbfe2392656e4d6036ce6585d4d53b1dadfd8379249b2943ea389c9c83e
DIST coq-serapi-0.20.0.tar.gz 182481 BLAKE2B 0483eb7023c67b42def13d23ceec7375d4a575f58ef0b6ed39cbcf8c8f76633c74c83bdebff18b7a777d90beeb20d03c38f20cff525afd1822db31c4a168d413 SHA512 00f8ff851c1b99f45761d098af51949f9a6844d05e23b2cede795bb4f93a9a0a753b45c38271537b257f0ec9cd7538be251174eff483a89cd57889f40a358c27
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuild
deleted file mode 100644
index ed213e2d76e6..000000000000
--- a/sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuild
+++ /dev/null
@@ -1,76 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQ_MIN_V=8.19.0
-COQ_MAX_V=8.20.0
-
-inherit dune elisp-common
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
-
-# The tarball in SRC_URI is comprised of <supported coq>+<package version>
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
- -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-${COQ_MIN_V}-${PV}"
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
- >=dev-ml/ppx_sexp_conv-0.13.0:=
- dev-ml/cmdliner:=
- dev-ml/ppx_compare:=
- dev-ml/ppx_deriving:=
- dev-ml/ppx_deriving_yojson:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_import:=
- dev-ml/sexplib:=
- dev-ml/yojson:=
-"
-DEPEND="
- ${RDEPEND}
-"
-BDEPEND="
- emacs? (
- >=app-editors/emacs-23.1:*
- )
- test? (
- sci-mathematics/coq-mathcomp
- )
-"
-
-PATCHES=( "${FILESDIR}/${PN}-0.19.0-sertop-el.patch" )
-
-SITEFILE="50sertop-gentoo.el"
-
-src_compile() {
- dune_src_compile
-
- use emacs && elisp-compile sertop/*.el
-}
-
-src_install() {
- dune_src_install
-
- rm -r "${ED}/usr/share/emacs" || die
-
- if use emacs ; then
- elisp-install "${PN}" sertop/*.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
end of thread, other threads:[~2024-11-19 20:00 UTC | newest]
Thread overview: 21+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-01-27 13:02 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2024-11-19 19:59 Maciej Barć
2024-09-09 0:06 Maciej Barć
2024-01-15 21:20 Maciej Barć
2023-10-23 20:39 Maciej Barć
2023-07-15 22:17 Maciej Barć
2023-07-15 22:17 Maciej Barć
2023-07-15 22:17 Maciej Barć
2023-04-10 18:49 Maciej Barć
2023-04-10 18:49 Maciej Barć
2023-03-15 1:29 Maciej Barć
2023-02-17 1:43 Maciej Barć
2023-02-17 1:43 Maciej Barć
2023-01-12 1:23 Maciej Barć
2023-01-12 1:23 Maciej Barć
2022-10-31 3:44 Maciej Barć
2022-10-26 22:04 Maciej Barć
2022-10-01 23:37 Maciej Barć
2022-10-01 23:37 Maciej Barć
2022-04-19 22:32 Maciej Barć
2022-04-16 17:21 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox