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

Samuel Mimram smimram-guest@costa.debian.org
Mon, 31 Jan 2005 18:04:48 +0100 

Author: smimram-guest
Date: 2005-01-31 18:04:48 +0100 (Mon, 31 Jan 2005)
New Revision: 950

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

Copied: packages/coq/tags/8.0pl2-1 (from rev 949, packages/coq/trunk)