Author: smimram Date: Thu Nov 29 14:52:51 2007 New Revision: 4845 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4845 Log: [svn-buildpackage] Tagging coq (8.1.pl2+dfsg-3)
Added:
tags/packages/coq/8.1.pl2+dfsg-3/
- copied from r4844, trunk/packages/coq/trunk/
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
