[ubuntu/focal-proposed] frama-c 20191204+calcium-0.1 (Accepted)
Gianfranco Costamagna
costamagnagianfranco at yahoo.it
Wed Apr 1 17:49:07 UTC 2020
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
Date: 2020-04-01 16:40:08.872497+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/frama-c/20191204+calcium-0.1
-------------- next part --------------
Sorry, changesfile not available.
More information about the Focal-changes
mailing list