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 | fae900763b9125fb2596d9faae576d14ac28f8b2 (patch) | |
| tree | 53754559352b44531a2f01dbff6c4069dde30dd3 /app-sci | |
| parent | Coq norealanalysis description (diff) | |
| download | historical-fae900763b9125fb2596d9faae576d14ac28f8b2.tar.gz historical-fae900763b9125fb2596d9faae576d14ac28f8b2.tar.bz2 historical-fae900763b9125fb2596d9faae576d14ac28f8b2.zip | |
Initial commit. Added norealanalysis use flag to use.local.desc
Diffstat (limited to 'app-sci')
| -rw-r--r-- | app-sci/coq/ChangeLog | 11 | ||||
| -rw-r--r-- | app-sci/coq/Manifest | 3 |
2 files changed, 14 insertions, 0 deletions
diff --git a/app-sci/coq/ChangeLog b/app-sci/coq/ChangeLog new file mode 100644 index 000000000000..bf078677fcda --- /dev/null +++ b/app-sci/coq/ChangeLog @@ -0,0 +1,11 @@ +# ChangeLog for app-sci/coq +# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.1 2004/01/21 23:05:55 mattam Exp $ + +*coq-7.4 (22 Jan 2004) + + 22 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> coq-7.4.ebuild, + metadata.xml, files/ocaml-3.07.patch: + Initial commit. Related bugs are 30388 and 24616. norealanalysis use flag idea + taken from Peter Lietz <p.lietz@gmx.de> ebuild. + 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 |