diff options
Diffstat (limited to 'dev-java/jpf/Manifest')
-rw-r--r-- | dev-java/jpf/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-java/jpf/Manifest b/dev-java/jpf/Manifest new file mode 100644 index 000000000000..64718e7683ac --- /dev/null +++ b/dev-java/jpf/Manifest @@ -0,0 +1 @@ +DIST jpf-src-1.5.1.zip 1115573 SHA256 93bc9852b9d86f788f5e3c53650aa11a18758526542e0ebc17a508818e91c2e4 SHA512 90326013b110f5729e25bde3f61985f7bee9f78c58ebc3631c271c3d02fc7e91851adf3aa79de71b8e1a1411a2d3b67ba8e4e13f55c9332505ea2adbbc00149b WHIRLPOOL 8530c8e01e034dcc4a642d6756d1bbf48572ed7dc15548bdd448847c661acfc80b6cc1d60f8bf147aab7e314114d077b6924768cfe2e2e7b04b371f3aacb5d52 |