[Pkg-ocaml-maint-commits] [facile] 03/04: New upstream release
Mehdi Dogguy
mehdi at moszumanska.debian.org
Sun Jan 17 22:07:21 UTC 2016
This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch master
in repository facile.
commit e251bf205f5b347ff3d75ef8c64b30d873e832b8
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Sun Jan 17 23:02:59 2016 +0100
New upstream release
---
debian/changelog | 10 +++++++++
...e-facile-available-for-more-architectures.patch | 2 +-
.../0005-Fix-compilation-with-OCaml-4.01.0.patch | 25 ----------------------
debian/patches/series | 1 -
4 files changed, 11 insertions(+), 27 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 36a86a4..87e64ab 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+facile (1.1.1-1) UNRELEASED; urgency=medium
+
+ * Team upload.
+ * New upstream release
+ - Refresh patches
+ - Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch, integrated
+ upstream.
+
+ -- Mehdi Dogguy <mehdi at debian.org> Sun, 17 Jan 2016 23:00:36 +0100
+
facile (1.1-9) unstable; urgency=low
[ Stéphane Glondu ]
diff --git a/debian/patches/0001-Make-facile-available-for-more-architectures.patch b/debian/patches/0001-Make-facile-available-for-more-architectures.patch
index 2477e8f..c9358f0 100644
--- a/debian/patches/0001-Make-facile-available-for-more-architectures.patch
+++ b/debian/patches/0001-Make-facile-available-for-more-architectures.patch
@@ -7,7 +7,7 @@ Subject: Make facile available for more architectures
1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/src/Makefile b/src/Makefile
-index 94d8326..d1c032f 100644
+index 5daa17b..b65c148 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -15,8 +15,13 @@ CSTR= fcl_debug.ml fcl_misc.ml fcl_domain.ml fcl_setDomain.ml fcl_float.ml fcl_s
diff --git a/debian/patches/0005-Fix-compilation-with-OCaml-4.01.0.patch b/debian/patches/0005-Fix-compilation-with-OCaml-4.01.0.patch
deleted file mode 100644
index ff5c19c..0000000
--- a/debian/patches/0005-Fix-compilation-with-OCaml-4.01.0.patch
+++ /dev/null
@@ -1,25 +0,0 @@
-From: Stephane Glondu <steph at glondu.net>
-Date: Sat, 7 Dec 2013 09:24:04 +0100
-Subject: Fix compilation with OCaml 4.01.0
-
-An addition optional argument has been added to Hashtbl.create.
-
-Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731218
----
- src/fcl_data.ml | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/src/fcl_data.ml b/src/fcl_data.ml
-index b5f25be..f20c8b3 100644
---- a/src/fcl_data.ml
-+++ b/src/fcl_data.ml
-@@ -16,7 +16,7 @@ end
-
- module Hashtbl = struct
- type ('a, 'b) t = ('a, 'b) Hashtbl.t
-- let create = Hashtbl.create
-+ let create n = Hashtbl.create n
- let get h = h
-
- let add h k d =
---
diff --git a/debian/patches/series b/debian/patches/series
index 7f1a9cb..13ec16d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,4 +2,3 @@
0002-Make-facile-available-for-more-architectures.patch
0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch
0004-Allow-overriding-OCAMLC-in-examples.patch
-0005-Fix-compilation-with-OCaml-4.01.0.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/facile.git
More information about the Pkg-ocaml-maint-commits
mailing list