[ubuntu/xenial-proposed] frama-c 20151002+magnesium+dfsg-1build1 (Accepted)

[Matthias Klose]

frama-c (20151002+magnesium+dfsg-1build1) xenial; urgency=medium

  * Rebuild for new GHC ABIs.

Date: Thu, 04 Feb 2016 11:58:13 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/frama-c/20151002+magnesium+dfsg-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 04 Feb 2016 11:58:13 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20151002+magnesium+dfsg-1build1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 frama-c    - Framework for source code analysis of software written in C
 frama-c-base - Framework for C source code analysis (without gui)
Changes:
 frama-c (20151002+magnesium+dfsg-1build1) xenial; urgency=medium
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1:
 0cf467dc47ec694643f8b23f8332ac6273e4a2b6 2395 frama-c_20151002+magnesium+dfsg-1build1.dsc
 ce2c4e2b72fb669f75027e409c12794855071075 22268 frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 9b6a852d4e9931528a02a518c192dcf0fb2e488aa9c2f4dc8a414476ba5d319d 2395 frama-c_20151002+magnesium+dfsg-1build1.dsc
 dd3dd22fae2e6fdddc9a0292bd1c1dd6cdf19a4bd0e29bf5c37bdefad52b451d 22268 frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz
Files:
 077531ea734e2e8af11f29280329eb75 2395 devel optional frama-c_20151002+magnesium+dfsg-1build1.dsc
 fe05ea31a0d7e8a63e04fd1bd89529a8 22268 devel optional frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWszAEAAoJEL1+qmB3j6b1OuoQANUuEIJueSQJrD+/ATwqIm6q
NfyCb7fdlfcsVA+eUDlvwihc0uRdmCg3VOa2lD+JC8sIcE/NaL1JWj0jn57PQMf/
eoUtSYcryxpD0Zv7AfE9IKbh4UHF4jDFam571hl8fxw6l2a1gfGdD5XCiYAibwmj
auomVP45WRdUJulVOIv60vhjb3c/zOzpcOqK8ylSeCYtNq0F3u9ZjZ9R/+8385p/
Bk41f6L6oY0ETkbroPhZVNYGCrrJ/epJU+4ygjp+Rm80fp4/hhGebywXx0yGfC6e
n2wiXocoiencZpm2+xIfgbkedyUIg2wNAPGmLA/POM2yZd8LvxIzTga4vFkaxAEN
OgZ8438LYCul1Hs80TOWhRl5RdHCTSBxcxOOG5dQqQpqJmBgkksorM/ZPU5zmT5V
Lziu8gThOSAmILKyVOpdlA7KbjUX5JyC0Bgx00UCfSefVjXiN3RRlNwYSn4MFNi+
H7E2jBt0pxzAQKkCo/BFQjAp1BrSd5pYEObzb3ZSSd9dRwFTg5+DU1QNjIeqrxSa
Bo/Y2dIYSqJAhL32L5TcUfsRlCXyyJC7docsJ4I/HKGXO3HlDicXzERrOm2xNQPM
XylaC9Fu7ltj/womoyxqO47vYB55cC4H+q5U0BkO1dHyPo6VlBlxS3JaftF6PaBP
dkAPS78X0fxAMg3A8hZd
=ShKj
-----END PGP SIGNATURE-----