frama-c (20220511-manganese-5) unstable; urgency=medium [ Stéphane Glondu ] * Team upload * Disable Why3 support (Closes: #1051485) * Depend on ocaml instead of transitional ocaml-nox [ Debian Janitor ] * Remove constraints unnecessary since buster (oldstable): + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~). + Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>= 1.8.8). -- Stéphane Glondu Sat, 09 Sep 2023 08:26:56 +0200 frama-c (20220511-manganese-4) unstable; urgency=medium [ Stéphane Glondu ] * Team upload * Fix compilation with recent yojson (Closes: #1040537) [ Debian Janitor ] * debian/copyright: use spaces rather than tabs to start continuation lines. -- Stéphane Glondu Thu, 13 Jul 2023 09:10:19 +0200 frama-c (20220511-manganese-3) unstable; urgency=medium * Create a versioned dependency on libwhy3-ocaml-dev (closes: #1023712). As a consequence, remove dependency on libwhy3-ocaml-dev in the tests. * Standards-Version 4.6.2 (no change) -- Ralf Treinen Tue, 27 Dec 2022 21:00:26 +0100 frama-c (20220511-manganese-2) unstable; urgency=medium * Fix properly the failing autopkgtest "wp" : spurious warning by "why3 config" has to be sent to /dev/null. -- Ralf Treinen Sun, 23 Oct 2022 12:25:38 +0200 frama-c (20220511-manganese-1.3) unstable; urgency=medium * Tighten the dep on newer why3 also for autopkgtest. -- Julien Puydt Mon, 27 Jun 2022 20:50:40 +0200 frama-c (20220511-manganese-1.2) unstable; urgency=medium * Non-maintainer upload. * Tighten the dep on newer why3. -- Julien Puydt Mon, 27 Jun 2022 11:29:05 +0200 frama-c (20220511-manganese-1.1) unstable; urgency=medium * Non-maintainer upload. * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml fail to detect it?). * Add workaround for failing autopkgtest. -- Julien Puydt Thu, 23 Jun 2022 11:46:20 +0200 frama-c (20220511-manganese-1) unstable; urgency=medium * New upstream version. This version is compatible with why3 version 1.5.0 (closes: #1011892,#1010867). * Add build-dependency on - libppx-import-ocaml-dev - libppx-deriving-ocaml-dev * debian/copyright: drop mention of plugins that are no longer included in the upstream distribution: - coqwp - ergo * Standards-Version 4.6.1 (no change) -- Ralf Treinen Sat, 18 Jun 2022 19:39:11 +0200 frama-c (20211203-chromium-1) unstable; urgency=medium * New upstream release. This release fixes FTBFS with why3 >= 1.4.0 (closes: #1000491) - drop patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar which has been applied upstream. - refresh remaining patches * install: move libeacsl-dlmalloc.a from usr/lib to usr/lib/frama-c/e-acsl * d/copyright: remove some file patterns that no longer apply. * d/tests/wp: update call to "why3 config" * Standards-Version 4.6.0 (no change) -- Ralf Treinen Tue, 22 Mar 2022 08:02:03 +0100 frama-c (20201209+titanium-4.1) unstable; urgency=medium * Non-maintainer upload * Fix new eva test dependencies and return in case of error (Closes: #982148) -- Gianfranco Costamagna Thu, 11 Feb 2021 23:09:31 +0100 frama-c (20201209+titanium-4) unstable; urgency=medium * Add a test for the eva plugin * Test of the wp plugin: set skip-not-installable, since alt-ergo and why3 might be not installable. -- Ralf Treinen Mon, 11 Jan 2021 20:17:46 +0100 frama-c (20201209+titanium-3) unstable; urgency=medium * Patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar.patch: fix FTBFS on bytecode architectures (closes: #979569). Thanks to André Maroneze for the patch * Add Recommends libwhy3-ocaml-dev, as it is needed by frama-c to run why3. * Test wp: - add test-dependency libwhy3-ocaml-dev - run why3 config -- Ralf Treinen Fri, 08 Jan 2021 21:32:55 +0100 frama-c (20201209+titanium-2) unstable; urgency=medium * Add recommends why3 (for the wp plugin) * Test wp: add depends on why3 -- Ralf Treinen Sun, 03 Jan 2021 10:35:26 +0100 frama-c (20201209+titanium-1) unstable; urgency=medium * New upstream release. * Drop patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas as we are building against lablgtk3; refresh the other patches. * Standards-Version 4.5.1 (no change) * Rules-Requires-Root=no * Update package description (we also ship the gui) * Add as-installed package tests: - wp (deductive verification with alt-ergo) * gbp configuration : add filter for the executable in the spamassassin test -- Ralf Treinen Sat, 02 Jan 2021 10:59:17 +0100 frama-c (20200625+scandium-2) unstable; urgency=medium * Drop removal of ptests.byte from debian/rules as it is not installed anyway, and mark it as not installed. * Fix pathname in removing redundant frama-c.byte -- Ralf Treinen Wed, 26 Aug 2020 08:39:38 +0200 frama-c (20200625+scandium-1) unstable; urgency=medium * New upstream release. This version works with why3 1.3.1 (closes: #963705) This version solves FTBFS (closes: #959599) * Add myself as uploader * Add dependency on ${perl:Depends} and dependency on python3 * Build-dependencies: - use debhelper-compat, remove file debian/compat - bump versions according to upstream's opam file - drop ocaml-best-compilers which is now a virtual package - add liblablgtk{sourceview}3-ocaml-dev * Debhelper-compatibility level 13 - invoke dh --without autoreconf * Installation: - install the complete directory /usr/lib/frama-c/plugins - install usr/lib/libeacsl-dlmalloc.a - install frama-c-script and frama-c-gui binaries - register ptests and e-acsl-gcc as not installed * Add symbolic link for the manpage of frama-c-gui.byte * d/copyright: - remove entries concerning files that are no longer in the source tree. - add text of the BSD-3 license, rename to BSD-3-clause - migrate to machine-readable format 1.0 - remove copy of LGPL 2.1 * Fix format of long description * Standards-Version 4.5.0 * Update Homepage -- Ralf Treinen Tue, 25 Aug 2020 20:37:33 +0200 frama-c (20191204+calcium-0.1) unstable; urgency=medium [ Dimitri John Ledkov ] * New upstream release (Closes: #944365) * Add dependencies on libyojson-ocaml-dev and libwhy3-ocaml-dev * Refresh patches * Drop patches now upstream: - 0006-Fix-installation-on-bytecode-architectures.patch - 0007-Fix-FTBFS-with-OCaml-4.05.0.patch [ Gianfranco Costamagna ] * Drop debian/README.Debian. We don't need to repack anymore the sources, because embedded libraries have been removed upstream -- Gianfranco Costamagna Fri, 20 Mar 2020 19:14:20 +0100 frama-c (20171101+sulfur+dfsg-2) unstable; urgency=medium * Team upload * Stop building the GUI, drop frama-c binary package (Closes: #911159) -- Stéphane Glondu Mon, 12 Nov 2018 11:44:42 +0100 frama-c (20171101+sulfur+dfsg-1) unstable; urgency=medium * New upstream release * Refresh patches and remove the following ones which were applied upstream: - 0001-Fix-spelling-error-in-binary.patch - 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch - 0008-More-fixes-of-spelling-errors.patch - 0009-Better-handling-of-dynlink-detection.patch - 0010-Add-zsh-completion-file.patch - 0011-Fix-installation-target-on-bytecode-architectures.patch - 0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch * Update Vcs-* fields in order to use Salsa repositories * Fix installation on bytecode architectures - add 0006-Fix-installation-on-bytecode-architectures.patch -- Mehdi Dogguy Fri, 11 May 2018 17:39:36 +0200 frama-c (20170501+phosphorus+dfsg-2) unstable; urgency=medium * Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch * Add zsh completion file from upstream's repository - add 0010-Add-zsh-completion-file.patch * Better dynlink detection in configure script (Closes: #871912) - add 0009-Better-handling-of-dynlink-detection.patch * Fix install target in Makefile to avoid trying to install native objects on bytecode architectures * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out with -C on i386. (Closes: #874273, LP: #1714514). Thanks to Dimitri John Ledkov for the patch. -- Mehdi Dogguy Sun, 10 Sep 2017 13:52:22 +0200 frama-c (20170501+phosphorus+dfsg-1) unstable; urgency=medium * New upstream release * Update copyright file * Refresh patches * Add patch to fix more spelling errors - add 0008-More-fixes-of-spelling-errors.patch * Add references to upstream bugs for some patches -- Mehdi Dogguy Fri, 11 Aug 2017 14:06:33 -0400 frama-c (20161101+silicon+dfsg-6) unstable; urgency=medium * Team upload * Fix FTBFS with OCaml 4.05.0 (Closes: #843020) -- Stéphane Glondu Thu, 27 Jul 2017 19:03:40 +0200 frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to frama-c (Closes: #851104) -- Mehdi Dogguy Sun, 15 Jan 2017 13:00:55 +0100 frama-c (20161101+silicon+dfsg-4) unstable; urgency=medium * Fix FTBFS by avoiding use of PWD variable in Makefile - Update patch 0005-Value.cmo-needs-LoopAnalysis.cmo.patch -- Mehdi Dogguy Sun, 01 Jan 2017 17:28:41 +0100 frama-c (20161101+silicon+dfsg-3) unstable; urgency=medium * Fix typo in Vcs-Browser field * Install frama-c-config utility in frama-c-base * Clean up content of filtered files from debian/gbp.conf * Avoid double linking of LoopAnalysis.cmo * ocaml-findlib is not needed for frama-c-base. It has a runtime dependency on libfindlib-ocaml which is enough. * Re-enable Impact plugin by dropping --disable-impact flag for configure script. The plugin used to be non open-source, which is not the case anymore. * Drop configure flag --disable-security as it became useless. * configure script is now able to find zarith correctly. The use of --enable-zarith= is not needed anymore. Thus, dropping it. -- Mehdi Dogguy Sun, 01 Jan 2017 00:37:33 +0100 frama-c (20161101+silicon+dfsg-2) unstable; urgency=medium * Disable apron * Add ocaml-findlib as a dependency for frama-c-base * Fix build on bytecode architectures - add patch debian/patches/0005-Add-a-section-for-LoopAnalysis-plugin.patch - add patch debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch -- Mehdi Dogguy Wed, 21 Dec 2016 14:17:38 +0100 frama-c (20161101+silicon+dfsg-1) unstable; urgency=medium * New upstream release * Refresh patches - Drop patch 0004-Don-t-fail-during-the-configure-on-bytecode-architec.patch (not needed anymore) - Add patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch * Add libapron-ocaml-dev to Build-Depends * Do not recommend why and libwhy-coq which are not part of Stretch * Install plugins/top in frama-c-base * Enhance package description * Remove obsolete Breaks/Replaces statements * Use canonical and secure URIs for Vcs-{Browser,Git} fields * Bump Standards-Version to 3.9.8, no changes required * Bump DH compat to 9 -- Mehdi Dogguy Tue, 13 Dec 2016 00:32:12 +0100 frama-c (20151002+magnesium+dfsg-1) unstable; urgency=medium * New upstream release - Refresh patches. - Add ocaml-findlib and libfindlib-ocaml-dev to Build-Depends since they became a hard requirement. * Fix variable FRAMA_GUI_LIBS in debian/rules: "gui" directory moved from "src" to "src/plugins". * Fix ocaml-dangling-cmx and ocaml-dangling-cmxa. -- Mehdi Dogguy Sun, 24 Jan 2016 00:33:56 +0100 frama-c (20150201+sodium+dfsg-2) unstable; urgency=medium * frama-c package must Breaks/Replaces older frama-c-base package (<< 20150201+sodium+dfsg-1~) since files were moved from the latter to the former (Closes: #797695). * Do not try to install plugins on bytecode architectures since they are provided only on native architectures. This is needed to fix FTBFS on bytecode architectures. -- Mehdi Dogguy Tue, 01 Sep 2015 19:34:32 +0000 frama-c (20150201+sodium+dfsg-1) unstable; urgency=medium * New upstream release (Closes: #797473). - Refresh patches. - Drop 0004-Port-to-OCamlgraph-1.8.5.patch: Integrated upstream. * Bump Standards-Version to 3.9.6, no changes needed. * Disable DH_VERBOSE in d/rules. * Install GUI plugins and modules using GTK2 in frama-c package only (Closes: #792612). -- Mehdi Dogguy Mon, 31 Aug 2015 22:18:00 +0000 frama-c (20140301+neon+dfsg-3) unstable; urgency=medium * Add a call to autoconf prior to configure. -- Mehdi Dogguy Tue, 29 Apr 2014 19:16:49 +0200 frama-c (20140301+neon+dfsg-2) unstable; urgency=medium * The new configure script tries to compile a test program linking against the OCamlgraph library. Unfortunately, upstream only tests the native case and fails for the bytecode case. Since, the OCamlgraph library is tested elsewhere, I'm adding a patch to disable that check. This resolves observed FTBFS on bytecode architectures (mips and mipsel). - Add 0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch -- Mehdi Dogguy Mon, 28 Apr 2014 21:28:44 +0200 frama-c (20140301+neon+dfsg-1) unstable; 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 (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. -- Mehdi Dogguy Sun, 27 Apr 2014 21:41:47 +0200 frama-c (20130601+fluorine3+dfsg-2) unstable; urgency=low * Team upload * debian/patches: + Fix compilation with OCaml 4.01.0 (Closes: #731637) -- Stéphane Glondu Sun, 08 Dec 2013 12:25:21 +0100 frama-c (20130601+fluorine3+dfsg-1) unstable; urgency=low * New upstream release (Closes: #714124) - Remove 0001-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch, fixed upstream - Remove 0002-Accept-ocamlgraph-1.8.patch, fixed upstream - Remove 0006-Patchlevel2-for-Nitrogen-20111001.patch, integrated - Add 0004-Fix-auto-detection-of-ocaml-zarith.patch - Require ocamlgraph (>= 1.8.3~) on build. * Add libzarith-ocaml-dev to Build-Depends. * Add autoconf to Build-Depends. * Call dh_ocaml with --nodefined-map=frama-c-base:Big_int_Z,Z,Q, modules already declared by ocaml-zarith. -- Mehdi Dogguy Mon, 25 Nov 2013 15:02:35 +0100 frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low * Include patchlevel2 for Nitrogen 20111001. - add debian/patches/0006-Patchlevel2-for-Nitrogen-20111001.patch -- Mehdi Dogguy Fri, 06 Jan 2012 09:30:44 +0100 frama-c (20111001+nitrogen+dfsg-2) unstable; urgency=low * add 0005-Disable-CHMOD_RO-invocations.patch. -- Mehdi Dogguy Tue, 03 Jan 2012 15:24:55 +0100 frama-c (20111001+nitrogen+dfsg-1) unstable; urgency=low * New upstream release (Closes: #652257). * Update patches: - remove 0001-Value-Analysis-Carbon-patchlevel-1.patch - remove 0002-Fix-for-issue-727.patch - rebase 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch - update 0004-Accept-ocamlgraph-1.8.patch - add 0003-Fix-spelling-error-in-binary.patch - add 0004-Use-bin-cp-instead-of-usr-bin-install.patch * Bump minimum requirement for ocamlgraph to 1.8. * Bump Standards-Version to 3.9.2, no changes needed. -- Mehdi Dogguy Mon, 02 Jan 2012 17:29:13 +0100 frama-c (20110201+carbon+dfsg-2) unstable; urgency=low * Add "-I +ocamlgraph" to DYN_{O,B}LINKFLAGS, needed for plugins to link. - add 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch - add libocamlgraph-ocaml-dev to frama-c-base's runtime dependencies. -- Mehdi Dogguy Mon, 25 Apr 2011 12:03:31 +0200 frama-c (20110201+carbon+dfsg-1) unstable; urgency=low * New upstream release: - Update copyright file. - Remove all patches, integrated by upstream. - Add patches: + 0001-Value-Analysis-Carbon-patchlevel-1.patch + 0002-Fix-for-issue-727.patch * Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853). * No need to exclude custom bytecode binaries when running dh_strip. (thanks to patch applied in OCaml >= 3.12.0-5) -- Mehdi Dogguy Sat, 23 Apr 2011 18:47:13 +0200 frama-c (20100401+boron+dfsg-5) unstable; urgency=low [ Stéphane Glondu ] * Fix versioned build-deps to ensure smoother backports [ Mehdi Dogguy ] * Add 0011-Fix-some-minor-memory-leaks.patch -- Mehdi Dogguy Tue, 05 Oct 2010 18:49:13 +0200 frama-c (20100401+boron+dfsg-4) unstable; urgency=low * Add 0009-unrollType-in-handle_signed_overflow from upstream. * Add 0010-More-spelling-fixes.patch * Convert to 3.0 (quilt) source format. * Bump standards version to 3.9.0. -- Mehdi Dogguy Fri, 16 Jul 2010 13:53:55 +0200 frama-c (20100401+boron+dfsg-3) unstable; urgency=low * Add some patches - 0007-Fix-cpp-command-arguments.patch - 0008-Fix-ai-ival.ml-filter_ge.patch -- Mehdi Dogguy Mon, 14 Jun 2010 23:36:37 +0200 frama-c (20100401+boron+dfsg-2) unstable; urgency=low * Make the configure script accept OCamlgraph 1.5 (Closes: #580090) * Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~). * Add a debian/source/format file (keep the package in 1.0 format, for now). -- Mehdi Dogguy Tue, 01 Jun 2010 20:18:44 +0200 frama-c (20100401+boron+dfsg-1) unstable; urgency=low * New upstream release: - Remove some patches integrated by upstream: + 0001-Use-GSourceView2.patch + 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch + 0004-temp_file-changed-in-OCaml-3.11.2.patch - Add some patches: + 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph + 0003-Fix-build-on-bytecode-only-architectures.patch + 0004-Fix-some-typos.patch + 0005-Don-t-modify-system-files.patch + 0006-Fix-build-on-bytecode-only-architectures.patch - Update: + 0001-Fix-hyphen-used-as-minus-sign-and-a-typo.patch - Bump ocamlgraph minimum version to 1.4 * Set Priority to optional * Set filter-pristine-tar in debian/gbp.conf * Fix watch file * Update 'Homepage' field * Bump Standards Version to 3.8.4, no changes needed. * Update copyright file -- Mehdi Dogguy Tue, 27 Apr 2010 16:04:49 +0200 frama-c (20090902+beryllium+dfsg-5) unstable; urgency=low * Build-Depend on libocamlgraph-viewer-ocaml-dev (Closes: #575371) -- Mehdi Dogguy Thu, 25 Mar 2010 11:14:43 +0100 frama-c (20090902+beryllium+dfsg-4) unstable; urgency=low * Make it compile with OCaml 3.11.2 (Closes: #569260) - Add 0004-temp_file-changed-in-OCaml-3.11.2.patch -- Mehdi Dogguy Thu, 11 Feb 2010 20:57:17 +0100 frama-c (20090902+beryllium+dfsg-3) unstable; urgency=low * Fix FTBFS on bytecode architectures - 0003-Do-not-install-native-Kernel-modules-on-bytecode-architectures * Add Graphviz to build-depends -- Mehdi Dogguy Fri, 22 Jan 2010 11:59:37 +0100 frama-c (20090902+beryllium+dfsg-2) unstable; urgency=low * Fix installability problem by installing frama-c-gui.1 only once. * Remove empty dirs * Fix hyphen-used-as-minus-sign * Fix short description of frama-c-base * Set section to « devel » -- Mehdi Dogguy Sun, 17 Jan 2010 19:33:00 +0100 frama-c (20090902+beryllium+dfsg-1) unstable; urgency=low * New upstream release + Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch (fixed upstream) + Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream) * Update copyright file * Remove libjessie-ocaml-dev from build-deps (Why is not needed anymore to build Frama-C). * Run dh using "--with ocaml" to trigger dh-ocaml sequence * Build-depend on ocamlgraph 1.3 * Add a new binary package: frama-c-base -- Mehdi Dogguy Sun, 10 Jan 2010 22:50:18 +0100 frama-c (20090901+beryllium+dfsg-2) unstable; urgency=low * Fix watch file * Build-depend on lablgtk2 (>= 2.14.0+dfsg-2) (Closes: #541963). - Add a patch: 0004-Use-GSourceView2.patch * Use new features of dh-ocaml * Build-dep on ocamlgraph (>> 1.2+debian) -- Mehdi Dogguy Wed, 02 Dec 2009 00:08:35 +0100 frama-c (20090901+beryllium+dfsg-1) unstable; urgency=low * Change the version number to reflect the codename in the version string * New Upstream Version + Fixes the issues related the static Jessie plugin. Thus, removing: 0004-Add-JCCM-O-X-to-BYTE-OPT-_LIBS-when-linking-statical.patch (Closes: #544404). + Provides toc_head.htm and toc_tail.htm + Fixes linking problem for the viewer. Thus, removing: 0002-Do-not-add-GRAPH_GUICMO-to-BYTE_GUI_LIBS.patch + Removing 0006-Do-not-install-non-existant-files.patch (now integrated upstream) * Add some patches: + Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS on non-native architectures (Closes: #544833). 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch + Make the Jessie plugin compile with Jc 2.19: 0002-Make-Jessie-plugin-use-Jc-from-Why-2.19.patch + Fix linking problem for the viewer (add dGraphView.cmo): 0003-Add-dGraphView.cmo-when-linking.patch * Bump libocamlgraph-ocaml-dev version from 1.1 to 1.2+debian in build dependencies. * Don't strip bytecode binaries since they are compiled with -custom * Recommends alt-ergo and libwhy-coq * Remove useless runtime dependency libocamlgraph-ocaml-dev * Install data needed by frama-c in /usr/share/frama-c * Make some additional links to follow default upstream installation: + /usr/share/frama-c/why -> /usr/share/why/ + /usr/share/frama-c/caduceus -> /usr/share/caduceus -- Mehdi Dogguy Wed, 09 Sep 2009 17:30:41 +0200 frama-c (20090601~beta1+dfsg-1) unstable; urgency=low * New Upstream Version * Use Debian mail address, Remove DMUA * Remove patches integrated upstream: + 0001-Gui_includes-variable-should-include-ocamlgraph-too.patch + 0002-Make-the-jessie-plugin-compatible-with-why-2.18.patch + 0003-Correctly-detect-jessie-plugin.patch + 0004-Using-graph.cm-a-xa-instead-of-graph.cm-o-x.patch + 0007-Add-a-variable-for-ENABLE_GUI-in-Makefile.in.patch + 0005-Full-path-for-ocamlgraph-cmo-otherwise-Makefile-will.patch * Refresh patch: + 0006-Do-not-install-non-existant-files.patch * Remove debian/man: Manpage integrated upstream * Build-depend on jessie library 2.19 * Remove patch rule which is now implemented by dom-save-patches (now part of the package dh-ocaml). * Do not include uselessly the file /usr/share/quilt/quilt.make in debian/rules * Build-depend on debhelper 7.0.50 since we use overrides * Bump Standards-Version to 3.8.3 + Add a README.source * Build-depending on a particular revision of libocamlgraph-ocaml-dev is not needed * Install frama-c, frama-c.byte and frama-c-gui on native-architectures and frama-c and frama-c-gui on non-natives ones. * Update README.Debian * Update copyright file -- Mehdi Dogguy Fri, 28 Aug 2009 14:53:52 +0200 frama-c (20081201.dfsg-3) unstable; urgency=low * Fix long description (Closes: #533158) * Tighten build dependencies versions to ease OCaml 3.11.1 transition * Rebuild with OCaml 3.11.1 -- Mehdi Dogguy Fri, 10 Jul 2009 20:07:12 +0200 frama-c (20081201.dfsg-2) unstable; urgency=low * Do not install Journal_loader.cmxs on non-native archs, fixes FTBFS on non-native archs. -- Mehdi Dogguy Wed, 03 Jun 2009 08:19:25 +0200 frama-c (20081201.dfsg-1) unstable; urgency=low * Initial release (Closes: #484234) * Codename: Lithium -- Mehdi Dogguy Fri, 24 Apr 2009 23:47:35 +0200