summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo/Manifest
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-10-01 17:44:07 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-10-01 17:44:07 +0100
commit5bd02f229a9c4ce484e49ec36dcb1f4eb5dfcdae (patch)
treebd9151b602024702907ff1e5d953f6945b67f25c /sci-mathematics/alt-ergo/Manifest
parentb447ac3a6d1bb09ddb6a5686620670e223b37642 (diff)
gentoo auto-resync : 01:10:2023 - 17:44:07
Diffstat (limited to 'sci-mathematics/alt-ergo/Manifest')
-rw-r--r--sci-mathematics/alt-ergo/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index a18954052284..5296c2c720b6 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,4 +1,3 @@
-AUX alt-ergo-2.4.2-dune.patch 366 BLAKE2B 4235894eac0760eb6d866a203a80c6c69d8bc6a1b4b70f67b865833f53391ca995a777c4e6e0ac64e918073e101eb35bf4f06824df7018e9630eaa75621dbcdf SHA512 64938a2f79889d67ca22d8153eaa3167ee752d13bfd0b9b6690293962a9170b208fa7f4f7375cb356d75e665cf9aa3cbf0c9d48247b9eb99573ba704b81a6a40
AUX alt-ergo-2.4.3-dune.patch 136 BLAKE2B 7a8740fd14531be7dc595dd3dc3eef119c39943fbec98c9784f6a25dcc1947ebefacd079bcc95a48b07f8d94641ad66261e06efd18edc5cfe59783626b6bcf4d SHA512 016d80dc17436e469746822f62a1748a661a74e5ec2009a0f297a75a763b645cb95e564727ba03434602c494bf866f563adf558ff24f915d50fe198f9c9fe3c1
DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f
EBUILD alt-ergo-2.4.3.ebuild 1381 BLAKE2B 058af8ee21ec2c30a9f31c2b8b7704c1d6944506f851d8574a4d4320c935b8249d39fc28ec42f7f9b945b4624f23a58ab21994fa65ab98e910546449ad343282 SHA512 ab112811eaedbef1fcd0becfb154a4b3add1d30bee1c958c749489ffc9ed9f2ffe6589041e5d4a6d001ff8afe7664212ced4c05e583a37514cb70cccb90f6f17