[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