diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2010-03-02 02:00:36 +0100 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2010-03-02 02:00:36 +0100 |
commit | b9a237c62c9f786eb5264b37f38fdde30be21fba (patch) | |
tree | 935f27d75298842caab6702a28d91960c20e9178 /dev-lang/polyml/Manifest | |
parent | 83f584caca7358fb182924ba91267bf17cb2bce5 (diff) | |
download | overlay-b9a237c62c9f786eb5264b37f38fdde30be21fba.tar.gz overlay-b9a237c62c9f786eb5264b37f38fdde30be21fba.tar.bz2 overlay-b9a237c62c9f786eb5264b37f38fdde30be21fba.zip |
Added newer PolyML version for Isabelle
Diffstat (limited to 'dev-lang/polyml/Manifest')
-rw-r--r-- | dev-lang/polyml/Manifest | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest new file mode 100644 index 0000000..78cb3b8 --- /dev/null +++ b/dev-lang/polyml/Manifest @@ -0,0 +1,2 @@ +DIST polyml.5.3.tar.gz 5289077 RMD160 d9a806945437c147cc41407bd596b2c435ecc21e SHA1 a037cd8cf4ce4a43b685b0e0d80f3f1e20d7c9fa SHA256 154e836f4e65b5c72f8190d3c02e5ed237921cef716cb49add1e0e1e35fb2af4 +EBUILD polyml-5.3.ebuild 636 RMD160 9a876f19f152223c3318440dc26c3ad30e785551 SHA1 ea4839f80b4bf052a4513b17138e62bbf5a3c846 SHA256 89a6e0d8d40037bbc9f72c07316262766778ad2b516a0fa1aeb53364ecfda25b |