diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-01-29 21:28:45 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-01-29 21:28:45 +0100 |
| commit | 478a3b53ce76fbd0b13d6a8c4a4f6b999e30394e (patch) | |
| tree | 77508d647bb92f658d454efd073aa82792b3c98b /dev-ml/dune-site/Manifest | |
| parent | sys-cluster/nullmpi: update EAPI 6 -> 8 (diff) | |
| download | gentoo-478a3b53ce76fbd0b13d6a8c4a4f6b999e30394e.tar.gz gentoo-478a3b53ce76fbd0b13d6a8c4a4f6b999e30394e.tar.bz2 gentoo-478a3b53ce76fbd0b13d6a8c4a4f6b999e30394e.zip | |
dev-ml/dune-site: 2.9.3 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/dune-site/Manifest')
| -rw-r--r-- | dev-ml/dune-site/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/dune-site/Manifest b/dev-ml/dune-site/Manifest index ce6115570e04..6632c7b4ccef 100644 --- a/dev-ml/dune-site/Manifest +++ b/dev-ml/dune-site/Manifest @@ -1 +1,2 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 +DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 |