[Pkg-ocaml-maint-commits] r1761 - in trunk/packages/coq: . upstream

[Samuel Mimram]

Author: smimram-guest
Date: 2005-09-07 19:32:24 +0000 (Wed, 07 Sep 2005)
New Revision: 1761

Added:
   trunk/packages/coq/upstream/
   trunk/packages/coq/upstream/coq_8.0pl2.orig.tar.gz
Log:
Switching to svn-buildpackage.


Copied: trunk/packages/coq/upstream/coq_8.0pl2.orig.tar.gz (from rev 1431, trunk/packages/coq/trunk/coq_8.0pl2.orig.tar.gz)