Author: smimram-guest Date: 2005-11-21 19:44:03 +0000 (Mon, 21 Nov 2005) New Revision: 2092 Added: tags/packages/coq/8.0pl2-4/ Log: [svn-buildpackage] Tagging coq (8.0pl2-4) Copied: tags/packages/coq/8.0pl2-4 (from rev 2091, trunk/packages/coq/trunk)