projects / gentoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: eca88d1)
Moved from app-sci/coq to sci-mathematics/coq
authorOlivier Fisette <ribosome@gentoo.org>
Tue, 28 Dec 2004 05:03:13 +0000 (05:03 +0000)
committerOlivier Fisette <ribosome@gentoo.org>
Tue, 28 Dec 2004 05:03:13 +0000 (05:03 +0000)
profiles/updates/4Q-2004 patch | blob | history

diff --git a/profiles/updates/4Q-2004 b/profiles/updates/4Q-2004
index 920d8667732d39e30e93e85bfb0a8956d6e8a8d4..698991bf45e78feb2d6899c3ecd1c5b5a9602da4 100644 (file)
--- a/profiles/updates/4Q-2004
+++ b/profiles/updates/4Q-2004
@@ -184,3 +184,4 @@ move app-sci/qcad sci-misc/qcad
 move app-sci/qcad-parts sci-misc/qcad-parts
 move app-sci/comedi sci-misc/comedi
 move app-sci/calc sci-mathematics/calc
+move app-sci/coq sci-mathematics/coq
Unnamed repository; edit this file 'description' to name the repository.