Accepted frama-c 20191204+calcium-0.1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 20 Mar 2020 19:14:20 +0100
Source: frama-c
Binary: frama-c-base
Architecture: source
Version: 20191204+calcium-0.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
frama-c-base - Platform dedicated to the analysis of source code written in C (w
Closes: 944365
Changes:
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
Checksums-Sha1:
3c507e318cd6129bb3cb7de7c45c651407f57e5b 2197 frama-c_20191204+calcium-0.1.dsc
37b41710bd07a6913f617219c1a71757aebbac98 5787697 frama-c_20191204+calcium.orig.tar.gz
c9c80eacf71ff540a2e05a5382286fb66831b9ae 22460 frama-c_20191204+calcium-0.1.debian.tar.xz
b15a14830f36ae86a8380087d973979f4ccd6675 9099 frama-c_20191204+calcium-0.1_source.buildinfo
Checksums-Sha256:
f845f6b3eac99ad753307680e4deeaba2d54e514eb319f56cc4b2beb74cc9418 2197 frama-c_20191204+calcium-0.1.dsc
167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d 5787697 frama-c_20191204+calcium.orig.tar.gz
4f7f49920032d3c8cd70aae73372e8a156d2931c6218bea1ee8ce224dee01227 22460 frama-c_20191204+calcium-0.1.debian.tar.xz
b5c95f90eabf71beca0f9149d5200efb5b9561dadd15364ea97b79c21a2023d0 9099 frama-c_20191204+calcium-0.1_source.buildinfo
Files:
bf8d2b8719a3bdec9ffe371413a0e87a 2197 devel optional frama-c_20191204+calcium-0.1.dsc
47b9a0a246ae172384dd927516ab184c 5787697 devel optional frama-c_20191204+calcium.orig.tar.gz
85f231d25ffeba2f0271ba1d4bcfa41c 22460 devel optional frama-c_20191204+calcium-0.1.debian.tar.xz
081b2294bf88def47dc77a33d852edc0 9099 devel optional frama-c_20191204+calcium-0.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl59EKUACgkQ808JdE6f
Xdm/UA//eJcskZbdySOHLlki36pMRsgXX4TH+QmKR/R5TlA8h/dodhY9wMgIuC54
iYxdbdHtUJcIviagO5ZnWen2cqBvYS7xvJlC0o94KKbdXQ4XE+mNOGgBXxrSQT3P
+K4YrxKKTlCQTnlnAVREv4r2TffwwQ5BieRkptJ2C8SH6oqDH26zPpeK+Fl1opbc
wUijZXnKQVAApn2Hj7meFQUMTNaAoDSUR4HROqxn/yoJQK6sZKqHgcE1OL+30x3T
5cQl3jM0P005JqvKiGLX3mZT9b7d9x3a3ktGbq1kFlqYJzXEGXXqRBDxuaMgzUEb
71NZ9oRYlreKISj3+lpXCsNoMvcIOd+DFhGM/ZUg42//uZsXTGp2vHt0lDBocv3U
vBXmzeMz27BXxi6r//IhKr0fzTM/J0psq/X8OnV98NwpX0ame4gHY+LS58IZH7YZ
23xfW6NeBgUu9+UEpiVWzH/ewA3VG+siTQo1tj9/h212taxOrXhJCQ4CxczpU9el
W67euypSQGPSPUPJqky3+GBxpoSeX5o9HhfLksBMqbMrl20JY2RvZ34dkaEZme8G
KUM2V4JmjKwP57A+Ho9unZM/b9OsAhpeWseRdHxaHPhmpHs6jWryhRQOwHFpxDJ2
60cEAYJgNzuJZy2lJnTx8rZ3aAAm0KRqgNpLpPO53c7m11rOMY4=
=M6mm
-----END PGP SIGNATURE-----