diff options
Diffstat (limited to 'dev-ml/camlp4/Manifest')
| -rw-r--r-- | dev-ml/camlp4/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/camlp4/Manifest b/dev-ml/camlp4/Manifest new file mode 100644 index 00000000000..487f3270ce5 --- /dev/null +++ b/dev-ml/camlp4/Manifest @@ -0,0 +1 @@ +DIST camlp4-4.02.1_p3.tar.gz 646389 SHA256 c28058b20016dac51d492b1a98e6453d2c7097100542c99a0593cc240a3eeada SHA512 59d196be0bb7410ffd48a3d2debff4502ca58e7b032027b27b9d126381c02336f177a47585a7d7a3142049930c21dbe075068852e6369fe7e8a58e3339d96041 WHIRLPOOL bedcbaa86a1282bed6d51a64b1877575e727cbf2485abf38bcbed49b18cbad9e8548e0fb413daf216f3d78fde2710c95de49a5055cbb3548eb284515148a3e7d |