* [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/
@ 2021-12-06 10:34 Maciej Barć
0 siblings, 0 replies; 5+ messages in thread
From: Maciej Barć @ 2021-12-06 10:34 UTC (permalink / raw
To: gentoo-commits
commit: a2583709bb9f395f5d8ed7a87e1865e4e0a928a9
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 6 10:06:26 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 6 10:34:37 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a2583709
dev-ml/fix: new package; add version 20211125
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/fix/Manifest | 1 +
dev-ml/fix/fix-20211125.ebuild | 16 ++++++++++++++++
dev-ml/fix/metadata.xml | 12 ++++++++++++
3 files changed, 29 insertions(+)
diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
new file mode 100644
index 000000000000..b6c745a7a453
--- /dev/null
+++ b/dev-ml/fix/Manifest
@@ -0,0 +1 @@
+DIST fix-20211125.tar.gz 383709 BLAKE2B f74b41e10579423449ec4c78ddc2d58d94c0ba96fe46676979c8f8e31c49a4ab2b305f78082785c52ff3665f19162b14c849b80ba0d09819e327ce7f390ff2d2 SHA512 2ffd3bea841247adeaf8d9ba3cf76669f31dcca97a2ebd415ca3b4540cf273c95f6a0e8bc990aed36dd097b09cf0603c676127ca4141f281f1ae8bb343d90d5f
diff --git a/dev-ml/fix/fix-20211125.ebuild b/dev-ml/fix/fix-20211125.ebuild
new file mode 100644
index 000000000000..9117c4de5fdd
--- /dev/null
+++ b/dev-ml/fix/fix-20211125.ebuild
@@ -0,0 +1,16 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Facilities for memoization and fixed points"
+HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
+SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.gz"
+
+LICENSE="LGPL-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # regenerate & qcheck not yet packaged
diff --git a/dev-ml/fix/metadata.xml b/dev-ml/fix/metadata.xml
new file mode 100644
index 000000000000..1e1b31b6d744
--- /dev/null
+++ b/dev-ml/fix/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <bugs-to>https://gitlab.inria.fr/fpottier/fix/-/issues/</bugs-to>
+ </upstream>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/
@ 2022-01-29 22:11 Alfredo Tupone
0 siblings, 0 replies; 5+ messages in thread
From: Alfredo Tupone @ 2022-01-29 22:11 UTC (permalink / raw
To: gentoo-commits
commit: 156ccbf5b34227d11bae1438c37db90e8d1febf9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 29 22:09:35 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jan 29 22:11:20 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=156ccbf5
dev-ml/fix: 20220121 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/fix/Manifest | 1 +
dev-ml/fix/fix-20220121.ebuild | 16 ++++++++++++++++
2 files changed, 17 insertions(+)
diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
index b6c745a7a453..5ee0f6c20df4 100644
--- a/dev-ml/fix/Manifest
+++ b/dev-ml/fix/Manifest
@@ -1 +1,2 @@
DIST fix-20211125.tar.gz 383709 BLAKE2B f74b41e10579423449ec4c78ddc2d58d94c0ba96fe46676979c8f8e31c49a4ab2b305f78082785c52ff3665f19162b14c849b80ba0d09819e327ce7f390ff2d2 SHA512 2ffd3bea841247adeaf8d9ba3cf76669f31dcca97a2ebd415ca3b4540cf273c95f6a0e8bc990aed36dd097b09cf0603c676127ca4141f281f1ae8bb343d90d5f
+DIST fix-20220121.tar.gz 385029 BLAKE2B 4534ddea956e2079018056c27423a5e308e5faeaf5c8af97457691b2c1094bd97e5d82302387299a92834d491e6cc5c7b183793403c7ea0bd3c8daf71a54d493 SHA512 6b0afa1e3d2a75b814fe4617cdbc72f1c57959d77fbe6e67b5df03dc316e22cba448c6a496b77bded102edc55af885145a1a74bbef86df714c896aeccbd40052
diff --git a/dev-ml/fix/fix-20220121.ebuild b/dev-ml/fix/fix-20220121.ebuild
new file mode 100644
index 000000000000..eedbd2f24ad4
--- /dev/null
+++ b/dev-ml/fix/fix-20220121.ebuild
@@ -0,0 +1,16 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Facilities for memoization and fixed points"
+HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
+SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.gz"
+
+LICENSE="LGPL-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # regenerate & qcheck not yet packaged
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/
@ 2022-12-05 18:04 Alfredo Tupone
0 siblings, 0 replies; 5+ messages in thread
From: Alfredo Tupone @ 2022-12-05 18:04 UTC (permalink / raw
To: gentoo-commits
commit: a54440c781c187823c76c701ef5a713497f8c19b
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 5 17:58:00 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Dec 5 18:04:34 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a54440c7
dev-ml/fix: BetterCompressionUri
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/fix/Manifest | 4 ++--
dev-ml/fix/fix-20211125.ebuild | 4 ++--
dev-ml/fix/fix-20220121.ebuild | 2 +-
3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
index 5ee0f6c20df4..a1dc7fa4cc5c 100644
--- a/dev-ml/fix/Manifest
+++ b/dev-ml/fix/Manifest
@@ -1,2 +1,2 @@
-DIST fix-20211125.tar.gz 383709 BLAKE2B f74b41e10579423449ec4c78ddc2d58d94c0ba96fe46676979c8f8e31c49a4ab2b305f78082785c52ff3665f19162b14c849b80ba0d09819e327ce7f390ff2d2 SHA512 2ffd3bea841247adeaf8d9ba3cf76669f31dcca97a2ebd415ca3b4540cf273c95f6a0e8bc990aed36dd097b09cf0603c676127ca4141f281f1ae8bb343d90d5f
-DIST fix-20220121.tar.gz 385029 BLAKE2B 4534ddea956e2079018056c27423a5e308e5faeaf5c8af97457691b2c1094bd97e5d82302387299a92834d491e6cc5c7b183793403c7ea0bd3c8daf71a54d493 SHA512 6b0afa1e3d2a75b814fe4617cdbc72f1c57959d77fbe6e67b5df03dc316e22cba448c6a496b77bded102edc55af885145a1a74bbef86df714c896aeccbd40052
+DIST fix-20211125.tar.bz2 340491 BLAKE2B e08aad2779c711206cc133783c2a0bcff5154f514d04d791fd34d544104a8f172a7532bf1ee3ef5d13f774f3cf8b077277f44a08b0685b042b2d9a0a99eb1e51 SHA512 a349101b092b1dda82d24bc25ecadf0f641ebe6a909b1acdb6438dd57186d14b2351c0ea8fd1987de2183da995e33655229246a9760d5a22bf1f5bb15e12c932
+DIST fix-20220121.tar.bz2 342191 BLAKE2B 58ea04bc8afd881346465185885f2261159670f5aa4f98f34326e16ad46393c072bcd5f8216824ddaa1556a390abce1e8cb8eb6220d930f1c992153e4db59a10 SHA512 7a4767529f233d14e3b20f2fbc418f1745ccdf5bb771e871a642757efb777400b3dc7efe6083166a24495c9e7b5a54acbeda1ae1eb8f220322eb1b4e404eccac
diff --git a/dev-ml/fix/fix-20211125.ebuild b/dev-ml/fix/fix-20211125.ebuild
index 9117c4de5fdd..d10531a6a1d9 100644
--- a/dev-ml/fix/fix-20211125.ebuild
+++ b/dev-ml/fix/fix-20211125.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -7,7 +7,7 @@ inherit dune
DESCRIPTION="Facilities for memoization and fixed points"
HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
-SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.gz"
+SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.bz2"
LICENSE="LGPL-2"
SLOT="0/${PV}"
diff --git a/dev-ml/fix/fix-20220121.ebuild b/dev-ml/fix/fix-20220121.ebuild
index eedbd2f24ad4..d10531a6a1d9 100644
--- a/dev-ml/fix/fix-20220121.ebuild
+++ b/dev-ml/fix/fix-20220121.ebuild
@@ -7,7 +7,7 @@ inherit dune
DESCRIPTION="Facilities for memoization and fixed points"
HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
-SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.gz"
+SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.bz2"
LICENSE="LGPL-2"
SLOT="0/${PV}"
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/
@ 2023-11-02 22:11 Maciej Barć
0 siblings, 0 replies; 5+ messages in thread
From: Maciej Barć @ 2023-11-02 22:11 UTC (permalink / raw
To: gentoo-commits
commit: 7366c07a37794b7ead809cf8f822fa2d33595e59
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Nov 2 21:26:35 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Nov 2 22:11:19 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7366c07a
dev-ml/fix: drop old 20211125
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/fix/Manifest | 1 -
dev-ml/fix/fix-20211125.ebuild | 16 ----------------
2 files changed, 17 deletions(-)
diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
index a1dc7fa4cc5c..d8fd38194dc9 100644
--- a/dev-ml/fix/Manifest
+++ b/dev-ml/fix/Manifest
@@ -1,2 +1 @@
-DIST fix-20211125.tar.bz2 340491 BLAKE2B e08aad2779c711206cc133783c2a0bcff5154f514d04d791fd34d544104a8f172a7532bf1ee3ef5d13f774f3cf8b077277f44a08b0685b042b2d9a0a99eb1e51 SHA512 a349101b092b1dda82d24bc25ecadf0f641ebe6a909b1acdb6438dd57186d14b2351c0ea8fd1987de2183da995e33655229246a9760d5a22bf1f5bb15e12c932
DIST fix-20220121.tar.bz2 342191 BLAKE2B 58ea04bc8afd881346465185885f2261159670f5aa4f98f34326e16ad46393c072bcd5f8216824ddaa1556a390abce1e8cb8eb6220d930f1c992153e4db59a10 SHA512 7a4767529f233d14e3b20f2fbc418f1745ccdf5bb771e871a642757efb777400b3dc7efe6083166a24495c9e7b5a54acbeda1ae1eb8f220322eb1b4e404eccac
diff --git a/dev-ml/fix/fix-20211125.ebuild b/dev-ml/fix/fix-20211125.ebuild
deleted file mode 100644
index d10531a6a1d9..000000000000
--- a/dev-ml/fix/fix-20211125.ebuild
+++ /dev/null
@@ -1,16 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit dune
-
-DESCRIPTION="Facilities for memoization and fixed points"
-HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
-SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.bz2"
-
-LICENSE="LGPL-2"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="+ocamlopt"
-RESTRICT="test" # regenerate & qcheck not yet packaged
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/
@ 2023-11-02 22:11 Maciej Barć
0 siblings, 0 replies; 5+ messages in thread
From: Maciej Barć @ 2023-11-02 22:11 UTC (permalink / raw
To: gentoo-commits
commit: d20e4d9264f0cadedc69dcb530e8fa06d00e535c
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Nov 2 21:27:58 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Nov 2 22:11:20 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d20e4d92
dev-ml/fix: bump to 20230505
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/fix/Manifest | 1 +
dev-ml/fix/fix-20230505.ebuild | 16 ++++++++++++++++
2 files changed, 17 insertions(+)
diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
index d8fd38194dc9..acdff1ece7a0 100644
--- a/dev-ml/fix/Manifest
+++ b/dev-ml/fix/Manifest
@@ -1 +1,2 @@
DIST fix-20220121.tar.bz2 342191 BLAKE2B 58ea04bc8afd881346465185885f2261159670f5aa4f98f34326e16ad46393c072bcd5f8216824ddaa1556a390abce1e8cb8eb6220d930f1c992153e4db59a10 SHA512 7a4767529f233d14e3b20f2fbc418f1745ccdf5bb771e871a642757efb777400b3dc7efe6083166a24495c9e7b5a54acbeda1ae1eb8f220322eb1b4e404eccac
+DIST fix-20230505.tar.bz2 355711 BLAKE2B fbcce6561610315969409d7f6ab2c3e7b3a6dd249d1496120765e5a787d51314efa96f63465098dfe9733a34c9587d6a7b16669b2e8923be9c10fe656f24db80 SHA512 2b4c7539ca3226d825ee2adceea5c8f1bc7c66d58d0e092847be9f1293c9f06cf50bcfd38f078fafdc79876191f3e546af8d3a835458f94c14c9202730bc2f1d
diff --git a/dev-ml/fix/fix-20230505.ebuild b/dev-ml/fix/fix-20230505.ebuild
new file mode 100644
index 000000000000..8769e9a957ca
--- /dev/null
+++ b/dev-ml/fix/fix-20230505.ebuild
@@ -0,0 +1,16 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Facilities for memoization and fixed points"
+HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
+SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.bz2"
+
+LICENSE="LGPL-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # regenerate not yet packaged
^ permalink raw reply related [flat|nested] 5+ messages in thread
end of thread, other threads:[~2023-11-02 22:11 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-01-29 22:11 [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/ Alfredo Tupone
-- strict thread matches above, loose matches on Subject: below --
2023-11-02 22:11 Maciej Barć
2023-11-02 22:11 Maciej Barć
2022-12-05 18:04 Alfredo Tupone
2021-12-06 10:34 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox