projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b08555) | patch
Moved from app-sci/coq to sci-mathematics/coq.
authorOlivier Fisette <ribosome@gentoo.org>
Tue, 28 Dec 2004 05:03:02 +0000 (05:03 +0000)
committerOlivier Fisette <ribosome@gentoo.org>
Tue, 28 Dec 2004 05:03:02 +0000 (05:03 +0000)
commiteca88d133ca80a17fa8d8a4497a349fa37fe834b
treee970f178256ba5ddf9bcbd0895bace35e0ec8f37tree | snapshot
parent9b08555463d5cf43274db31e19660eced643c53ccommit | diff
Moved from app-sci/coq to sci-mathematics/coq.
13 files changed:
sci-mathematics/coq/ChangeLog [new file with mode: 0644] blob
sci-mathematics/coq/Manifest [new file with mode: 0644] blob
sci-mathematics/coq/coq-7.4.ebuild [new file with mode: 0644] blob
sci-mathematics/coq/coq-8.0-r1.ebuild [new file with mode: 0644] blob
sci-mathematics/coq/coq-8.0.ebuild [new file with mode: 0644] blob
sci-mathematics/coq/files/coq-8.0-byteflags.patch [new file with mode: 0644] blob
sci-mathematics/coq/files/coq-8.0-ocaml-3.08.1.patch [new file with mode: 0644] blob
sci-mathematics/coq/files/coqide.desktop [new file with mode: 0644] blob
sci-mathematics/coq/files/digest-coq-7.4 [new file with mode: 0644] blob
sci-mathematics/coq/files/digest-coq-8.0 [new file with mode: 0644] blob
sci-mathematics/coq/files/digest-coq-8.0-r1 [new file with mode: 0644] blob
sci-mathematics/coq/files/ocaml-3.07.patch [new file with mode: 0644] blob
sci-mathematics/coq/metadata.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.