[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.2-1.2-9-5-g7f1a085
The following commit has been merged in the master branch: commit df81388379f23dbb82e0ad1699fd37daf6093537 Author: Stephane Glondu Date: Mon Jan 9 20:40:14 2012 +0100 New upstream release diff --git a/debian/changelog b/debian/changelog index 9d15441..c82c580 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq-float (1:8.3pl1-1) UNRELEASED; urgency=low + + * New upstream release + + -- Stéphane Glondu Mon, 09 Jan 2012 20:39:42 +0100 + coq-float (1:8.2-1.2-9) unstable; urgency=low * Rebuild with Coq 8.3pl3 (no source changes) -- coq-float packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.2-1.2-9-5-g7f1a085
The following commit has been merged in the master branch: commit 7f1a0852fcf642dd2a98df7ef8ff33c18b00ab7a Author: Stephane Glondu Date: Sun Dec 25 16:46:40 2011 +0100 Remove obsolete patch diff --git a/debian/patches/0001-Fix-build-with-Coq-8.3.patch b/debian/patches/0001-Fix-build-with-Coq-8.3.patch deleted file mode 100644 index 3f65fa3..000 --- a/debian/patches/0001-Fix-build-with-Coq-8.3.patch +++ /dev/null @@ -1,23 +0,0 @@ -From: Stephane Glondu -Date: Fri, 11 Feb 2011 18:07:21 +0100 -Subject: Fix build with Coq 8.3 - -Signed-off-by: Stephane Glondu - Others/IEEE.v |2 +- - 1 files changed, 1 insertions(+), 1 deletions(-) - -diff --git a/Others/IEEE.v b/Others/IEEE.v -index 2c9721c..e8eb361 100644 a/Others/IEEE.v -+++ b/Others/IEEE.v -@@ -8,7 +8,7 @@ - - - Require Export Bvector. --Require Export Zbinary. -+Require Export Zdigits. - Require Export AllFloat. - - Section IEEEdefs. --- diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index e20b1ec..000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Fix-build-with-Coq-8.3.patch -- coq-float packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.2-1.2-9-5-g7f1a085
The following commit has been merged in the master branch: commit f22a4fef2379b0079e64ded433447b566ee4f040 Merge: bc26d5e7e8d75611af911b71d4c0c3a49ac9aa0a 24e43098aa32d2be05b53064248988a24968c27f Author: Stephane Glondu Date: Mon Jan 9 20:39:16 2012 +0100 Merge commit 'upstream/8.3pl1' -- coq-float packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits