summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-08-16 12:37:25 +0200
committerAlexis Ballier <aballier@gentoo.org>2016-08-16 12:45:56 +0200
commita718b75f3a0369969b78c36f1939f57d01e67d42 (patch)
treeda5fa503776303b098f3c44cb4f4d2f9db958f22 /dev-ml/lambda-term/Manifest
parentdev-ml/ocaml-ctypes: bump to 0.8.0 (diff)
downloadgentoo-a718b75f3a0369969b78c36f1939f57d01e67d42.tar.gz
gentoo-a718b75f3a0369969b78c36f1939f57d01e67d42.tar.bz2
gentoo-a718b75f3a0369969b78c36f1939f57d01e67d42.zip
dev-ml/lambda-term: bump to 1.10.1
Package-Manager: portage-2.3.0
Diffstat (limited to 'dev-ml/lambda-term/Manifest')
-rw-r--r--dev-ml/lambda-term/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/lambda-term/Manifest b/dev-ml/lambda-term/Manifest
index 28c8156cdb70..4e1353046e95 100644
--- a/dev-ml/lambda-term/Manifest
+++ b/dev-ml/lambda-term/Manifest
@@ -1,2 +1,3 @@
+DIST lambda-term-1.10.1.tar.gz 162310 SHA256 d24e3ddc504c9a88309cf5f24f6cdc1b7950be64fcb4d5355b9c6da5197d8990 SHA512 e430b5039e5c7e4c55247c651e1b1cf61ce4b94537b84315e6f37287ecaecfc3459a7725f42d8e77219af0766ffbf5e0e55df1f5c6067c910b222b1e330b4e86 WHIRLPOOL a053dc9cca8cf67f597b1cffa01fed70530f0d5c7e0bd73f0dd29c865b16b5158ef70fab7433881cc07387359be87d0ce0c2197284f27c21187ddca8995d3452
DIST lambda-term-1.10.tar.gz 161835 SHA256 152d1712655d7b61b0fe90abe43fcdead00945aa6ab636fef0b587a21bd697cf SHA512 112422775a5a3495d70059385ece2788244782b7f588ec5b5c35018658f52cab43cf0bdb829c359c503dba0a85eb104dced49d7bc071e61baf9d3f84cf8f9f18 WHIRLPOOL f78104a0debd91c038e45f28b8ffaadd8e4eb456ba39b5e68f2f5a1472a18749ec3d11c9a3f473453f30b406dad31c71d0b956586392acc9fb683bd4476b55d2
DIST lambda-term-1.9.tar.gz 157782 SHA256 d21bd941cfaa98e5c08343fcb4c50fdb6e34600d8bff217c3356a4652e53f506 SHA512 f36aeac2693796c8e6058e13655b459523e2ce4e4fbd6662a2b135b65850421021b5ae3d7f370d64037e66fe8c8efe7d3ad953c280f200dbcb9ff75b6a6ca72a WHIRLPOOL 1850c99953c465ed2a3fa9d6d0bf9cb3c45aa16aa5a54cb00037cec3ef9395cde0e7aa367eb8e2987ad37f749c8e11033bb8ebbada02ccf903b52886998f0a3b