[Pkg-ocaml-maint-commits] r1159 - packages/coq/tags

Samuel Mimram smimram-guest@costa.debian.org
Thu, 31 Mar 2005 22:05:08 +0000 

Author: smimram-guest
Date: 2005-03-31 22:05:07 +0000 (Thu, 31 Mar 2005)
New Revision: 1159

Added:
   packages/coq/tags/8.0pl2-2/
Log:
Tagging after upload.

Copied: packages/coq/tags/8.0pl2-2 (from rev 1158, packages/coq/trunk)