Author: smimram Date: Sat Jan 19 16:14:31 2008 New Revision: 5073 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5073 Log: Rebuild with latest version of coq.
Modified: trunk/packages/coq-float/trunk/debian/changelog trunk/packages/coq-float/trunk/debian/control Modified: trunk/packages/coq-float/trunk/debian/changelog URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/changelog?rev=5073&op=diff ============================================================================== --- trunk/packages/coq-float/trunk/debian/changelog (original) +++ trunk/packages/coq-float/trunk/debian/changelog Sat Jan 19 16:14:31 2008 @@ -1,8 +1,12 @@ -coq-float (1:8.1-1.0-4) UNRELEASED; urgency=low +coq-float (1:8.1-1.0-4) unstable; urgency=low + [ Stefano Zacchiroli ] * add vcs-* fields - -- Stefano Zacchiroli <[EMAIL PROTECTED]> Mon, 31 Dec 2007 16:46:06 +0100 + [ Samuel Mimram ] + * Rebuild with latest version of coq. + + -- Samuel Mimram <[EMAIL PROTECTED]> Sat, 19 Jan 2008 16:52:13 +0100 coq-float (1:8.1-1.0-3) unstable; urgency=low Modified: trunk/packages/coq-float/trunk/debian/control URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/control?rev=5073&op=diff ============================================================================== --- trunk/packages/coq-float/trunk/debian/control (original) +++ trunk/packages/coq-float/trunk/debian/control Sat Jan 19 16:14:31 2008 @@ -2,8 +2,8 @@ Section: libdevel Priority: optional Maintainer: Samuel Mimram <[EMAIL PROTECTED]> -Build-Depends: debhelper (>= 5), coq (>= 8.1.pl2) -Standards-Version: 3.7.2 +Build-Depends: debhelper (>= 5), coq (>= 8.1.pl3) +Standards-Version: 3.7.3 Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/ Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-float/trunk _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits