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 <d...@ubuntu.com> Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> https://launchpad.net/ubuntu/+source/frama-c/20151002+magnesium+dfsg-1build1
-----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-ma...@lists.debian.org> Changed-By: Matthias Klose <d...@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-----
-- Xenial-changes mailing list Xenial-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/xenial-changes