diff options
Diffstat (limited to 'dev-ml/lambda-term/Manifest')
| -rw-r--r-- | dev-ml/lambda-term/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/lambda-term/Manifest b/dev-ml/lambda-term/Manifest deleted file mode 100644 index e891dbcdbb27..000000000000 --- a/dev-ml/lambda-term/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST lambda-term-1.11.tar.gz 125906 BLAKE2B ddaee0a10d7136c4a168eb833953f439fb17eb6329d523d3bc9e7efe8954b73f55ce4c3fd853afb6bcb06557dc6749d5c16411d9400748ddbfa7a87ef28140ed SHA512 38654effe668d36766047f9e0ef74117c39a9f720322b92b9b8dcc5262c58de63fa36730c6a9c7d4921bf7bfd147753ce5d5a2da1c6df6171ee604b5bb224c27 |