From: Olivier Fisette Date: Tue, 28 Dec 2004 05:03:13 +0000 (+0000) Subject: Moved from app-sci/coq to sci-mathematics/coq X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=eb6917da7c19f77bc8c2842ca116b4f1aa01ab64;p=gentoo.git Moved from app-sci/coq to sci-mathematics/coq --- diff --git a/profiles/updates/4Q-2004 b/profiles/updates/4Q-2004 index 920d8667732d..698991bf45e7 100644 --- 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