summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_deriving/Manifest')
-rw-r--r--dev-ml/ppx_deriving/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_deriving/Manifest b/dev-ml/ppx_deriving/Manifest
index 58d9aa2ca430..7ddb5a2dcd65 100644
--- a/dev-ml/ppx_deriving/Manifest
+++ b/dev-ml/ppx_deriving/Manifest
@@ -1 +1,2 @@
DIST ppx_deriving-3.0.tar.gz 38560 SHA256 1998607e68b35b6c61e1fb33c03b523f3bf88f802df6d5bf180dc6932317179b SHA512 1b8ef40fd1b85df0d5307edcc46c16ae1834aadb1419d92dced4b2b542f51bb24999abcdf725647f1f7033ca2df4dc88ab156002b1e6a7a6a83a5e0e4854d833 WHIRLPOOL cda0c6afc31c6d39dd4974c2ce63d28ddea2019bb8bc1c50338c1005880a0a0ef66c2ceb00e86a6a7040c042778f1216321cda3d1dcfc2327c6e084f0ab45b53
+DIST ppx_deriving-3.1.tar.gz 40720 SHA256 19babff7706753d24d4859a24d7303555dd1af125d6ca8a0589b8fac3c110fa7 SHA512 ef3174f4fbecea9c613deb62aebb45de2b2abf640d557973f0621575a391cc11fc4135c782dc3d202012ddbeaadb3c7dd84f42d08aef0ba668bd169dedfeedf0 WHIRLPOOL cdace363540346f3660811c57f7c10757dd09011fed1300fe29e3746297cae9ed3567e2b865c20dda6061404bb10c5b1e3350acfa8ad7f92bb20199f0a8052ea