dev-ml/dune: update to 3.17.1

Signed-off-by: Miezhiko <Miezhiko@gmail.com>
Miezhiko · Dec 18, 2024 · 7df36f6 · 7df36f6
1 parent d58bca9
commit 7df36f6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest
@@ -1,3 +1,3 @@
 AUX 50dune-gentoo.el 203 BLAKE2B 0b99f29b2a5abe1ce28fb10db5a282b4fbc355dba94ed8692df6a4b8c0e0c4c21a1df71ed56fe676b9a6f2cfd9eedd11b1579aa440d39d74d753a922a9427c40
-DIST dune-3.17.0.tar.gz 3010168 BLAKE2B e469e64e578799d775816757ce93604588bfd94022662b329ebede90185265973d782745ecaa5631a0945b5f3dc22aa933871bc16a0b220f0e6c37b90b0a8b30
-EBUILD dune-3.17.0.ebuild 1566 BLAKE2B 357c5240e6475a143b6b9b0b0f8af01f55b7ba5af0bb2fbaa85170961fb1d12acc51bf3d2d5747afc8dba8e9c91518cfeaad98fd0c78808b601959cf8a1375ba
+DIST dune-3.17.1.tar.gz 3011472 BLAKE2B 5bb6b33cf0961ab6e9276408b40498bf296327bd594e80f3b057d38cae980443feb3e2637630463a5bf10245d355b449a1123bbacefaec234982284288e3ce64
+EBUILD dune-3.17.1.ebuild 1566 BLAKE2B 357c5240e6475a143b6b9b0b0f8af01f55b7ba5af0bb2fbaa85170961fb1d12acc51bf3d2d5747afc8dba8e9c91518cfeaad98fd0c78808b601959cf8a1375ba
diff --git a/dev-ml/dune/dune-3.17.0.ebuild → dev-ml/dune/dune-3.17.1.ebuild b/dev-ml/dune/dune-3.17.0.ebuild → dev-ml/dune/dune-3.17.1.ebuild