diff options
Diffstat (limited to 'dev-ml/ppx_import/Manifest')
| -rw-r--r-- | dev-ml/ppx_import/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/ppx_import/Manifest b/dev-ml/ppx_import/Manifest deleted file mode 100644 index d5294d386e95..000000000000 --- a/dev-ml/ppx_import/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST ppx_import-1.2.tar.gz 13244 BLAKE2B 538fd11e151d740c601ca88ff682bf4ea84ddaea3fbbc5b54d43310e59baf00ae47ef397763861da8ff1b2af017bb318ec1cd48f8708b9dc2a2c68bf812e1aea SHA512 384a8f955573c66962383f0e3609e4764cb0056e7d5b7e5811fd9fd17e17ac58baea330131b8eb688cd4202d6e6bd5829fba024524f027201244ff10c86e0f01 |