Accepted frama-c 20200625+scandium-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 25 Aug 2020 20:37:33 +0200
Source: frama-c
Architecture: source
Version: 20200625+scandium-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 959599 963705
Changes:
frama-c (20200625+scandium-1) unstable; urgency=medium
.
* New upstream release.
This version works with why3 1.3.1 (closes: #963705)
This version solves FTBFS (closes: #959599)
* Add myself as uploader
* Add dependency on ${perl:Depends} and dependency on python3
* Build-dependencies:
- use debhelper-compat, remove file debian/compat
- bump versions according to upstream's opam file
- drop ocaml-best-compilers which is now a virtual package
- add liblablgtk{sourceview}3-ocaml-dev
* Debhelper-compatibility level 13
- invoke dh --without autoreconf
* Installation:
- install the complete directory /usr/lib/frama-c/plugins
- install usr/lib/libeacsl-dlmalloc.a
- install frama-c-script and frama-c-gui binaries
- register ptests and e-acsl-gcc as not installed
* Add symbolic link for the manpage of frama-c-gui.byte
* d/copyright:
- remove entries concerning files that are no longer in the source tree.
- add text of the BSD-3 license, rename to BSD-3-clause
- migrate to machine-readable format 1.0
- remove copy of LGPL 2.1
* Fix format of long description
* Standards-Version 4.5.0
* Update Homepage
Checksums-Sha1:
e5b49760965da248df40d2415ba604fb232f0f1b 2290 frama-c_20200625+scandium-1.dsc
f3c1a40ba54ace7eb33ddb9f53fcf4d6f92a9a54 6381637 frama-c_20200625+scandium.orig.tar.gz
476ebfafaf4e691d21c13033bcfa90028a9bcd1e 14952 frama-c_20200625+scandium-1.debian.tar.xz
188dd3a8b356f014a9b723524627947ffaf5e5f4 15274 frama-c_20200625+scandium-1_source.buildinfo
Checksums-Sha256:
497005b57fb9aaa0d19ae4e5ce516ad1332e012f5854645b64325660df468fc4 2290 frama-c_20200625+scandium-1.dsc
74c23ac34c97d2d266b8f3e62dd73fd5367058439ddba266a42c850103337507 6381637 frama-c_20200625+scandium.orig.tar.gz
ac1e418639f6e040e4f5929f011deaff69337134a58cca2edcd1469fb5843024 14952 frama-c_20200625+scandium-1.debian.tar.xz
f7d3a6e92f473ef312711cf2d9d861778c56d882337cd9fcf0abf5b27a92d3ed 15274 frama-c_20200625+scandium-1_source.buildinfo
Files:
541f54c0d98164b5f76003948fb05435 2290 devel optional frama-c_20200625+scandium-1.dsc
2cfbcbc1d1121fb3b624577a15882aa5 6381637 devel optional frama-c_20200625+scandium.orig.tar.gz
a787044b32dca3c7b49e56b17128d95f 14952 devel optional frama-c_20200625+scandium-1.debian.tar.xz
9d1c395db58c9cf73f256a20f91727ae 15274 devel optional frama-c_20200625+scandium-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9FY1MACgkQdFxHZtTK
zf9xEw//Sc+FI4jCMSZJIudlP64JNIEZrYbDpUNaacXvH6lWfWq5pZvCyuKJGipB
mUrFucs2/q6PXM4svQ5Vl3U2c8os6fHSrLKKBRN0f19+h2+GTs8JkO718Le1dfxB
arIIEpkSyt68jEOpfqYwqp2pOJe3BxFe/l7sohhNmQh5DtCQOlrk6qHQ8HdmEx3/
NHcdMwft8K+IW5OHJCISNc/RJe0rMTIHli/T9rj7w2DeklHXnIEuXKsWhyUDp/hF
JYQryGo0yJCwJXt6qSTMTk/1R6JbHaVFvTaW4r0xvQZOKHfy5OAy6ZAaz7RRuUEC
GXNOTwN37ATgjK3rXIuy4Y6aVBzTeHt9eEnt16mr9S1iJEZcW/kGD78X9bh/icrb
aU6fsCzlqCRhb6tRX44FdGKt8X6VifRokGhFT/tNIG4ZfONsnWZU0rrqqzch/+G9
OoP8QDCKGy857Fe9R0S4xqvjIPVElFvx6jqD+JWP1paAo0JdAwGdlrx7wr64mZe0
NHbfUYx63xlIUvRY/Jns+O8I55aZb0CGcenr68Ra2AFOV5wS+RXWW1NJzWdWPUtm
4ZIjesKoGwQ4EnznfNeudzSjvoN687P8ZnwgJzPkIYrszEBdSYNj0m7JjZ2JG5yM
QS8/KWY71UfSSZzst99ZTOp2Kv5sRRR5tEZraW5BQWIeayg4VQw=
=sKXi
-----END PGP SIGNATURE-----