diff options
Diffstat (limited to 'dev-ml/lambda-term/Manifest')
| -rw-r--r-- | dev-ml/lambda-term/Manifest | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev-ml/lambda-term/Manifest b/dev-ml/lambda-term/Manifest new file mode 100644 index 000000000000..6eaf8c5c5580 --- /dev/null +++ b/dev-ml/lambda-term/Manifest @@ -0,0 +1,6 @@ +AUX lwtreact.patch 499 SHA256 13d041921c1a4e2a402bd02503bbd1d98cf2fdb1a6d11bfb809e6dd9144e6493 SHA512 d021213e10fc1b22762bf5e0a077fa18931131c6fe46f777289491cc50fbbfbc8fc672c56ba29de0d664098f367a87feb069cd777d368a43a289b033bdd11050 WHIRLPOOL 9de8388675526e0daf02f041b932be2af22947ead85e50349dd99072822d1c08f4a6f4405e1dfef2cddc039e6755f89b0daec84fcbd03e9227da1ef531a18425 +DIST lambda-term-1.11.tar.gz 125906 SHA256 f56c41e892e459beb12464f3ac2100726fcfb919057d6778c911ef6859a5942a SHA512 38654effe668d36766047f9e0ef74117c39a9f720322b92b9b8dcc5262c58de63fa36730c6a9c7d4921bf7bfd147753ce5d5a2da1c6df6171ee604b5bb224c27 WHIRLPOOL e1bdd5a12486937a1e3c701e65538fa7c096328afac374bb6952c631eb85ca7e56472b82ca52c9656d936dabbf73281ca40b291fed2ad6db59dab41c1b56e756 +EBUILD lambda-term-1.11.ebuild 579 SHA256 c9c198d86acef4dac988e757a8a56d7689fc500a6a856030e4b828a9d7531cc7 SHA512 a5cab35c542775af1cf015f5d5bbc00ac2b3f138fd67b0c622d7b8fd577a4faa766d0dfb520a17cbdb566f3fa26d20d89d31c0cfd89882a6aaccba392abe8bb0 WHIRLPOOL ec0046f32594ecb0d0fcefab5963bac11423fc189e0d729ff28832d778306e529137c9c9e123a2ef24014dea3e22194cc8be925ef5ad0161877d7e719bc2a38e +MISC ChangeLog 3430 SHA256 8b72fbb5925c07a571a739cc965281a6a2435e1896813e5b4d6586e6e5318a2a SHA512 e759079585e28eb457ee04ff00071d099109fcaa8fbba6b666d2dcdade63e01366b270788821899d698672c3b4cdea882eb536ae451013736d8721c0a94ce2b8 WHIRLPOOL be66b82d89caa8c25901c17cbc68d888751ea1e3d37c944f587b77fec2c63fce85073b1118e9cbce7c07d63e9031f9f47ad2c2780bf49d97c40536b33103b001 +MISC ChangeLog-2015 1649 SHA256 483d42b142b4a4e585bb53d3b11d4b3eb0a439e8a6fad52e289cc589a971d0c7 SHA512 b4bcc74b863d48a60e0d06b1beeb06c297cfc0071865df8c6a883452a8f2f477d5e0eb1412c0e5b0524e3bb253135bb4c1bc52bb0e745301c0318d44c0b6d11b WHIRLPOOL a9b846919fa028d774cd5addcce0ad7da8a06f89b6ad5fc454ba66545b5feef7a0158a6e8f08713b19e7ab1b4fd47af16d3caf45870c93a00e74a8ad2f0ed55e +MISC metadata.xml 338 SHA256 3d9b791474931089577d48dca66f146b5030ca7a9bd799aee85c61f7dba4caa2 SHA512 7767b2368b1794d4b2972360ae4113fe895abf5f9dea75f207c06d438cb09d5cbf832337e0ac463c1981b7cf947847a932708fbbe0935c575a5f8211abc33c7a WHIRLPOOL 2954cc338a4f2f34638d367ac74b8491c171767174571698f9bce6a3d581489fef14c723b2ef0c481a0dd255aad8d057e7f8edb9c8a3896a79812cae22a44564 |