summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-08-08 17:38:49 +0200
committerAlfredo Tupone <tupone@gentoo.org>2023-08-08 17:39:06 +0200
commitc73b540c714b22ae8ae93eb426865e525365d97b (patch)
tree65d8aa92cd4be26b6f4b707c8d5c3fa5af45649c /dev-ml/camlp5
parentgnome-base/gnome-shell: Stabilize 44.2 amd64, #909464 (diff)
downloadgentoo-c73b540c714b22ae8ae93eb426865e525365d97b.tar.gz
gentoo-c73b540c714b22ae8ae93eb426865e525365d97b.tar.bz2
gentoo-c73b540c714b22ae8ae93eb426865e525365d97b.zip
dev-ml/camlp5: add 8.02.00, drop 8.01.00
Closes: https://bugs.gentoo.org/911844 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/camlp5')
-rw-r--r--dev-ml/camlp5/Manifest2
-rw-r--r--dev-ml/camlp5/camlp5-8.02.00.ebuild (renamed from dev-ml/camlp5/camlp5-8.01.00.ebuild)0
2 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest
index 6fb7c5ddd6b6..af6ca1792ee5 100644
--- a/dev-ml/camlp5/Manifest
+++ b/dev-ml/camlp5/Manifest
@@ -8,4 +8,4 @@ DIST camlp5-8.00.03.tar.gz 1217877 BLAKE2B 971bd45c2740586b9883bd92f42479ae432cc
DIST camlp5-8.00.04.tar.gz 1232659 BLAKE2B 47dd18e9c518b0dccda62d054d7950dffa025a129c81eb673e6caf11f37c2af1644de861288af2ecb8e95ee4d21bf0a1d69da4fe9ed5b3d1cf3bf1012ea06d4c SHA512 0951a9528c8c9b4becf54b352a6f897cb1af26de437a137757d597a3a2ad8aef1160a3c326c9503f783bccd154d8c14a354d3a35baae2bb551611697ce4f5327
DIST camlp5-8.00.05.tar.gz 1237587 BLAKE2B 1028b1e77a048a6b2e8df4ab58171d4e182a21aa1ca01113fc0cb8b7e6f61b5db58e8c3a2f149d05c056fbd48c0c0d97e597121e4b2b55d62f1f62d80e92312b SHA512 f4cee1fba85dc3a7479929facd79d0b88f23de575107886a8d4c41cd4a0bee21ccc72f2791712635e401ca10c3ec24cfea32558eca09ba6616e01e8433c57bbe
DIST camlp5-8.00.tar.gz 1321320 BLAKE2B 14957ea83e40f3e2f68c7cbbec1ab84325eba1057f38905a37f9516a99a009024ee0b463cf588880d23d94e710b027b835dd51153a429c8bda22be7fe95dc911 SHA512 6a0d19ced4d94cd3afebfbc373d344229c5faf088e8910dea32ed4dfa841dd9844c72849f8a6281e2bce55295665eae90391cf29d062a44b083761a9e04bce93
-DIST camlp5-8.01.00.tar.gz 1249037 BLAKE2B 299308068ff0fa5e83c671103278a71f5563575caf47043071351b2c1fe833180c22c8d4a7c1d20c59d1f1550aea39a2207366a4ecc24e460f14561c2f97b9ee SHA512 70d66931f3c063870980e50da5bc98a5b7340d01c6f7026441267647dff6ed42cb155b5134e3943fbba14b0753a87a4c264662738c44ce9e4d99c4deb6f3a21d
+DIST camlp5-8.02.00.tar.gz 1260249 BLAKE2B d205cf29207c925bc52098c9e1e74c76b851c71514bc7ae6f6c1ff3c7bf971f7cf6974625c484d2ddf252d0befc557e3b2dd7134e8f5bed270d59d40f15be9a8 SHA512 6e3caccc780f8de1d5804ae8f5700d29255f968f7f8ee3f9ef6f3456883d63aeb0abe797233823fd368b40b74feb1f537c3a61ce35d0c9c2737ab06743a09ddd
diff --git a/dev-ml/camlp5/camlp5-8.01.00.ebuild b/dev-ml/camlp5/camlp5-8.02.00.ebuild
index 3338ff08f328..3338ff08f328 100644
--- a/dev-ml/camlp5/camlp5-8.01.00.ebuild
+++ b/dev-ml/camlp5/camlp5-8.02.00.ebuild