[Pkg-ocaml-maint-commits] r5028 - /tags/packages/coq/8.1.pl3+dfsg-1/

Author: smimram Date: Sat Jan 5 09:20:05 2008 New Revision: 5028 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5028 Log: [svn-buildpackage] Tagging coq (8.1.pl3+dfsg-1) Added: tags/packages/coq/8.1.pl3+dfsg-1/ - copied from r5027, trunk/packages/coq/trunk/ ___

[Pkg-ocaml-maint-commits] r5027 - /trunk/packages/coq/trunk/debian/changelog

Author: smimram Date: Sat Jan 5 09:18:30 2008 New Revision: 5027 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5027 Log: Uploading. Modified: trunk/packages/coq/trunk/debian/changelog Modified: trunk/packages/coq/trunk/debian/changelog URL: http://svn.debian.org/wsvn/pkg-ocaml-