From eb6917da7c19f77bc8c2842ca116b4f1aa01ab64 Mon Sep 17 00:00:00 2001 From: Olivier Fisette Date: Tue, 28 Dec 2004 05:03:13 +0000 Subject: [PATCH] Moved from app-sci/coq to sci-mathematics/coq --- profiles/updates/4Q-2004 | 1 + 1 file changed, 1 insertion(+) 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 -- 2.26.2