[ubuntu/focal-proposed] frama-c 20191204+calcium-0ubuntu1 (Accepted)

Dimitri John Ledkov xnox at ubuntu.com
Tue Feb 25 14:03:16 UTC 2020


frama-c (20191204+calcium-0ubuntu1) focal; urgency=medium

  * New upstream release

Date: Tue, 25 Feb 2020 13:52:36 +0000
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/frama-c/20191204+calcium-0ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 25 Feb 2020 13:52:36 +0000
Source: frama-c
Architecture: source
Version: 20191204+calcium-0ubuntu1
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Changes:
 frama-c (20191204+calcium-0ubuntu1) focal; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 e99e003825ea64a8ff1443ac2b13a6ce611263ce 2296 frama-c_20191204+calcium-0ubuntu1.dsc
 37b41710bd07a6913f617219c1a71757aebbac98 5787697 frama-c_20191204+calcium.orig.tar.gz
 2bf9b13e5842194b7d70e2486decc23ef25e227e 22772 frama-c_20191204+calcium-0ubuntu1.debian.tar.xz
 9b2b4c2382bfb84bad7f9a905cabb2103fffa111 9522 frama-c_20191204+calcium-0ubuntu1_source.buildinfo
Checksums-Sha256:
 96f91871b8713b8fce8b4d5628b0a0289e26ca6d479e8c8b3e93c0577db92f02 2296 frama-c_20191204+calcium-0ubuntu1.dsc
 167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d 5787697 frama-c_20191204+calcium.orig.tar.gz
 ad1a3cb49e1b39141e93743b32e3bd2cc1852614abd777a23a8eecf9db66b919 22772 frama-c_20191204+calcium-0ubuntu1.debian.tar.xz
 18290f755f2b160c2b2c52791718a6e66d61863cf05e0c68148a3588eebc0aa6 9522 frama-c_20191204+calcium-0ubuntu1_source.buildinfo
Files:
 bc7131bbe24043d64b57db119df1bf57 2296 devel optional frama-c_20191204+calcium-0ubuntu1.dsc
 47b9a0a246ae172384dd927516ab184c 5787697 devel optional frama-c_20191204+calcium.orig.tar.gz
 6f3ccff1f5765f4dc00fde2417b6f57c 22772 devel optional frama-c_20191204+calcium-0ubuntu1.debian.tar.xz
 9f53bba51d76ee74cb3ab6ef4ce766ca 9522 devel optional frama-c_20191204+calcium-0ubuntu1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl5VJr4ACgkQm47ISdXv
cO1qNxAAnrONpIhVdVJcA5NR3hFiE69m8OxHBX/DK5G0ceO6x42s+YrJBqbWW9kl
PBvvP50rHX+CXyODlf04iDXv9IvnCtzaIfbRbA066ygksS33EhAFsE7Ath0kPETU
KqYY2Vyk+6kRfp4MOmBYRTbtJevtu/xc/x4pVd8k1lQk1vVT2BOwkCD0HL3/qdaZ
oUd7PcAScx0Gk4XyvUmxXNTwo7a9PZ92xcB9wbDPJg80u1j50TtXqJVVxk2mZQaP
kuTaQsuWeziqldbYhKT5X7yw0gBVBHq1NontsH7q1RD79tBUGoZbTq5OSGtLTqbX
tAhc+MoQQ3oBufCXEhae/I2xMzn79UJ4oEOLN9uXuN4c84Xr2KiKtzkDAj+AwW81
wJ1oFjrdQ/seEZcbhD0P2U9WnpZcXWCKZR/b+XEXcG4rB0j0fSIcrah3cbQN0gdT
LAs6xk/G0lDCumIkGK1NHz5FaOksg02rGkwbdYWXmaNtd3J3HmGlFmc9bV/W3TSK
BdTy9jEdIwpS+yNSZXvqZEAp9ywmTI6Wm4KseT0CPiq6mqU+06F7T85GMJkBjjqE
Ra6z9nhcCHb3Qs15NbvgfaFM0dTRo28eMFEtBw2xk38DOF3MrbQOOCHZw1R2vUJ1
TVSfFpl8YLF/LnT6vMSKYrB8NCqrPTU7Ij8VU8L34C/cnooodrw=
=Abyx
-----END PGP SIGNATURE-----


More information about the Focal-changes mailing list