-
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 <email address hidden> Fri, 11 May 2018 17:39:36 +0200
-
frama-c (20170501+phosphorus+dfsg-2build2) cosmic; urgency=medium
* No-change rebuild for ncurses soname changes.
-- Matthias Klose <email address hidden> Thu, 03 May 2018 15:19:37 +0000
-
frama-c (20170501+phosphorus+dfsg-2build1) bionic; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 28 Oct 2017 16:39:11 +0200
