diff options
Diffstat (limited to 'dev-ml/dune-configurator/Manifest')
| -rw-r--r-- | dev-ml/dune-configurator/Manifest | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest index 8b69cbe8dbd9..507e77b8362a 100644 --- a/dev-ml/dune-configurator/Manifest +++ b/dev-ml/dune-configurator/Manifest @@ -1,3 +1,5 @@ DIST dune-2.7.1.tar.gz 1290915 BLAKE2B 85a2dee92d1ead03b43b80742c291f4470dd9e1d843fdb257754c567e2329c101d11b42573da19de537f0d8591ebdacfcaab1099e0f46bdeebcd8421eb1bbcb2 SHA512 b77d0e207263107365e5a6e94423e8ab4ddbab1f920872d915e4014b7cc69915274b53fe946bb4b29dfe3de2bf5573ab3b2bffb4db8eb50b472e7dfb6cab88b7 -EBUILD dune-configurator-2.7.1.ebuild 608 BLAKE2B aab48888c87b6a842174432cae439cad8e9ae83585b644d7c4235e4b18cd1c828c48aa352036cd3f520911042ffb48cc8cf152c8ebba2dbcc3bd79803fa834b7 SHA512 f6fc52ddac772985feb0313e87bc147ed7c2d3b457bf515312343b2c8903025ce379525e82bb92d2c1ef9058cb67e303e4293f2f4243bc22a962f8a33a7c83f7 +DIST dune-2.8.2.tar.gz 1369417 BLAKE2B d846d35675a18abc3ccc57a52574d81a8fb4f082d9935912f035061c1107b47be8752daeb9c49bb2af4877e419a6c8bc30f846db6d773cf5267d3d761272a872 SHA512 fcbe45ea59492517e0868bf1f801c2bd2f3b1b30234e36d789c33e7ee48bd724726beb211697f3820609bbc27923c8c37d7be89dcbd059558014743360f2d0b7 +EBUILD dune-configurator-2.7.1.ebuild 616 BLAKE2B 7a73d59968781b649ac01eb206abe2ebbe6d395cb0aa2eeff29818f2be30a91d80727b5bdbb550aa8049103b48d089fc5c978da45f1f7e634ef86727073ca9f9 SHA512 26ff9e8ae6471ad1913547eb8afd31ed58a69959b4ed951bd2a8425d9a07c929240cafd7da3e3a913d2e0e8070e21fac1c677aba47d55790cae6106b4c3d7f25 +EBUILD dune-configurator-2.8.2-r1.ebuild 3684 BLAKE2B 87873ccfba0856089c00318aff2672dae8664713e6d4133496f2c3b96d1f2b3f5d707c4d9f81b2a002cc60a60dd8a0cb644fc4236bc8f8d65c856a1a307edb1f SHA512 deae15900de5d9218f843c90938badc0e91e62d975d8dacf7f0a1296165020acccf1b0bb819e3a24aae93a0d6bd18bf7215cca10cb19fe00dbcf9ca7b245989a MISC metadata.xml 319 BLAKE2B 65741bb0181ac6f6fb28019dc60386a5d47a2071131d8496adb14af1eff40000b59b2410acdf8ffa14fd4ad1d0bd6efacc1c67f68c162ed10e847a00db457aaf SHA512 8178e2c48fdd360ab7860dde1666bd2d0d0223f51275c58005aaab2d14946d4bb1e1e6be55a74d98afd6ef0acac515e2ebd0f7f44adbc9d2d7efbfcde641bd65 |