[Pkg-ocaml-maint-commits] [frama-c] 01/01: This upload will fix #746091

Mehdi Dogguy mehdi at moszumanska.debian.org
Sun Apr 27 15:52:49 UTC 2014


This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository frama-c.

commit 447acc79ea5d11d587a320d354b2f6b5ade977db
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Apr 27 17:52:34 2014 +0200

    This upload will fix #746091
---
 debian/changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 26ca5a7..a40d096 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,7 +3,7 @@ frama-c (20140301+neon+dfsg-1) UNRELEASED; urgency=medium
   * New upstream release.
     - Refresh patches
     - Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch
-    - Add 0004-Port-to-OCamlgraph-1.8.5.patch
+    - Add 0004-Port-to-OCamlgraph-1.8.5.patch (Closes: #746091)
   * Bump build-dependency of Ocamlgraph to 1.8.5~.
   * Pass --enabe-zarith to configure script instead of patching it.
     - Remove 0004-Fix-auto-detection-of-ocaml-zarith.patch.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git



More information about the Pkg-ocaml-maint-commits mailing list