diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-09-28 18:58:55 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-09-28 18:58:55 +0200 |
commit | e1a68a8c00d2b7f4ed09578305917a1595faebb4 (patch) | |
tree | d0fc9a4b05f201835282c403b88938a5730f68e9 /sci-mathematics/isabelle/Manifest | |
parent | 62580ba14d004b3611f4ea14accf1f47fe14922e (diff) | |
download | overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.tar.gz overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.tar.bz2 overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.zip |
Add isabelle ebuild
Diffstat (limited to 'sci-mathematics/isabelle/Manifest')
-rw-r--r-- | sci-mathematics/isabelle/Manifest | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest new file mode 100644 index 0000000..dd12e33 --- /dev/null +++ b/sci-mathematics/isabelle/Manifest @@ -0,0 +1,3 @@ +AUX isabelle-2009-proofgeneral-gentoo-path.patch 316 RMD160 ecf031c8807f0e8a0403293e1c47abc92c7ddb76 SHA1 4e38535264f69901c00e48c8ccf75af42256cae9 SHA256 84fe80a5f7f5e623b0e9fd9da67e8ca5b216551fd2e05ce4f62456f051a73a8c +DIST Isabelle2009.tar.gz 9073615 RMD160 7cbde579b6f897b8110c465f17a185f04f6587e0 SHA1 2af6f19f23436c37611d8df23e918f76e9190f39 SHA256 49f8708962a89102cd25d9b5b7bf1298017c0689f9ced7741c124351b58f8e71 +EBUILD isabelle-2009.ebuild 2589 RMD160 a5ce601359e7800c9cd66f7d500e5b8ec4ba75e1 SHA1 52f5d8463f0ebf9e0688cac6c3c0345f027de44b SHA256 0591b55a123df6153d9ef10b4284d461997b1fd03eaf95028603d81ee06cb3ae |