public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/
@ 2022-04-16 17:21 Maciej Barć
  0 siblings, 0 replies; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ 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; 20+ 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] 20+ messages in thread
end of thread, other threads:[~2024-09-09  0:06 UTC | newest]

Thread overview: 20+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-02-17  1:43 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/ Maciej Barć
  -- strict thread matches above, loose matches on Subject: below --
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-01-27 13:02 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