-
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 <email address hidden> Fri, 20 Mar 2020 19:14:20 +0100
-
frama-c (20191204+calcium-0ubuntu2) focal; urgency=medium
* No change rebuild against new coq
-- Gianfranco Costamagna <email address hidden> Fri, 20 Mar 2020 20:05:10 +0100
-
frama-c (20191204+calcium-0ubuntu1) focal; urgency=medium
* New upstream release
-- Dimitri John Ledkov <email address hidden> Tue, 25 Feb 2020 13:52:36 +0000
-
frama-c (20171101+sulfur+dfsg-2build3) focal; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Fri, 21 Feb 2020 12:36:53 +0100
-
frama-c (20171101+sulfur+dfsg-2build2) eoan; urgency=medium
* No-change upload with strops.h and sys/strops.h removed in glibc.
-- Matthias Klose <email address hidden> Thu, 05 Sep 2019 10:49:42 +0000
