-
frama-c (20151002+magnesium+dfsg-1build1) xenial; urgency=medium
* Rebuild for new GHC ABIs.
-- Matthias Klose <email address hidden> Thu, 04 Feb 2016 11:58:13 +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 <email address hidden> Sun, 24 Jan 2016 00:33:56 +0100
-
frama-c (20150201+sodium+dfsg-2build3) xenial; urgency=medium
* No-change rebuild against new ocaml ABIs
-- Iain Lane <email address hidden> Wed, 04 Nov 2015 10:36:55 +0000
-
frama-c (20150201+sodium+dfsg-2build2) xenial; urgency=medium
* No-change rebuild against the new lablgtk2 and ocamlgraph.
-- Łukasz 'sil2100' Zemczak <email address hidden> Thu, 29 Oct 2015 01:10:47 +0100
-
frama-c (20150201+sodium+dfsg-2build1) xenial; urgency=medium
* No-change rebuild against the new lablgtk2.
-- Łukasz 'sil2100' Zemczak <email address hidden> Thu, 29 Oct 2015 01:10:47 +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 <email address hidden> Tue, 01 Sep 2015 19:34:32 +0000