diff options
Diffstat (limited to 'dev-ml/ppx_custom_printf/Manifest')
| -rw-r--r-- | dev-ml/ppx_custom_printf/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_custom_printf/Manifest b/dev-ml/ppx_custom_printf/Manifest index 72c2d6fba881..62a69ebf3d15 100644 --- a/dev-ml/ppx_custom_printf/Manifest +++ b/dev-ml/ppx_custom_printf/Manifest @@ -1 +1,2 @@ DIST ppx_custom_printf-0.14.0.tar.gz 9600 BLAKE2B 7b921188e158d59a160502b410ac780709b40fd408cf2e06a0adb70952ef3e72144deaee1c40df512cc09997ce87621e0be2a32d28e8408914fb90f3416e0532 SHA512 2f607df87aa372ef602b4aeb44a2d697ff8696001161e544398c3675280ef7af402f4b34b8cfce900791129d2a9db13ccbf4e73518f58487adc47d5188c8652c +DIST ppx_custom_printf-0.14.1.tar.gz 9606 BLAKE2B 81999f3534fcf8daa965274f93812442b170c8bb7bd05d6b4ba2cb7f506e6bba44dadec355733adec790262be25ad62016356cdf7e0ddcebf2080a3238314543 SHA512 0acb5a2964c996a34d1759c1db73219d4db813ab6b96f80feffae34cbcd73fc8c8ab40ccad7ad378d730acb45eff26906533b29716398fc1c10a7bb4ff949443 |