diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 23:05:55 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 23:05:55 +0000 |
| commit | aa97c3463fd55393eb8b6de37bc93f714c19f381 (patch) | |
| tree | f08a49bf47b077f4019bc481b2ec16ae9b5cbb3c /app-sci/coq | |
| parent | Coq norealanalysis description (diff) | |
| download | gentoo-2-aa97c3463fd55393eb8b6de37bc93f714c19f381.tar.gz gentoo-2-aa97c3463fd55393eb8b6de37bc93f714c19f381.tar.bz2 gentoo-2-aa97c3463fd55393eb8b6de37bc93f714c19f381.zip | |
Initial commit. Added norealanalysis use flag to use.local.desc
Diffstat (limited to 'app-sci/coq')
| -rw-r--r-- | app-sci/coq/Manifest | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest new file mode 100644 index 000000000000..77fd97302209 --- /dev/null +++ b/app-sci/coq/Manifest @@ -0,0 +1,3 @@ +MD5 7a800e0e86a2ddfb190813abb900b64e coq-7.4.ebuild 745 +MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 +MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333 |