[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