-----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-----
