diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:44:14 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:44:14 +0000 |
| commit | b0d529b6a70528392e1610b6d1042d7c2ba9fe65 (patch) | |
| tree | f612b6b29225ed308d4ae07ca6461dc6ae3889f6 /sci-mathematics/kodkodi | |
| parent | Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma... (diff) | |
| download | historical-b0d529b6a70528392e1610b6d1042d7c2ba9fe65.tar.gz historical-b0d529b6a70528392e1610b6d1042d7c2ba9fe65.tar.bz2 historical-b0d529b6a70528392e1610b6d1042d7c2ba9fe65.zip | |
Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example checking.
Package-Manager: portage-2.1.11.33/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics/kodkodi')
| -rw-r--r-- | sci-mathematics/kodkodi/ChangeLog | 10 | ||||
| -rw-r--r-- | sci-mathematics/kodkodi/Manifest | 3 |
2 files changed, 13 insertions, 0 deletions
diff --git a/sci-mathematics/kodkodi/ChangeLog b/sci-mathematics/kodkodi/ChangeLog new file mode 100644 index 000000000000..8df52ee8b73a --- /dev/null +++ b/sci-mathematics/kodkodi/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for sci-mathematics/kodkodi +# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkodi/ChangeLog,v 1.1 2012/12/05 10:44:14 gienah Exp $ + +*kodkodi-1.5.2 (05 Dec 2012) + + 05 Dec 2012; Mark Wright <gienah@gentoo.org> +kodkodi-1.5.2.ebuild, + +metadata.xml: + Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example + checking. diff --git a/sci-mathematics/kodkodi/Manifest b/sci-mathematics/kodkodi/Manifest new file mode 100644 index 000000000000..fa39958d4709 --- /dev/null +++ b/sci-mathematics/kodkodi/Manifest @@ -0,0 +1,3 @@ +DIST kodkodi-1.5.2.tgz 2826648 SHA256 1518d75f3748aa7c791623ff1508b4202f14d744e13b9bd41abf575429caa2b7 SHA512 117e0f1b3e3ee88efb9a9e2f02e8a7ce82a3487528ad0476acf20fafd885d3d48c051bd4a8cb6aa5cda61f24dfa74159448b83398be4119e726e757f6ff3aad4 WHIRLPOOL f331b423b2ad430b59f425d799c3991dccf0e5e9018015f12c30be851f8254cf3b0e39da12fcfd07083813671316ecdcbfc70429742e89cf7b2b4093b773bb0b +EBUILD kodkodi-1.5.2.ebuild 3015 SHA256 76be87fb6317ac34f8efc47e5203c2159a9788aa22392185d12b45de1e140246 SHA512 2d67f825dd4060055268e175888bc57a9ab13dbc5dd50bc93549384225d96e610e7f7084a69a952058a89c3fa848e2c88f5756002d66605ac13bb6a1dc011908 WHIRLPOOL 574a8c70696c41750ba3a6ede003093c08ce40122d614c2870b4e212067614a1d7185221ff4bc8da3028764164f3735e76a4a5e1935acfb0846f8116e1e8ca3a +MISC metadata.xml 431 SHA256 2a8f7fed68c025a7c1661df307801ae8aa463602c027ad0c889b21b00489002f SHA512 9646f7201659da20382bdfee31bbab2536c95ebe539c5567759b9021e7c959cf2a8caa24bb1c8f92a92a568b3c7e5049baffccb8afa657365fc2dc4a1f56fc30 WHIRLPOOL 2190ae43ae0a8fd80fe24a6d487cdb8cc05deeea204c11c4d51381d03481b8ad0ea21d8849c8ac52b9e93dc969e07b4dd5ed40f4824bfbc8862cacc5cb6c4c6c |