[ubuntu/artful-proposed] frama-c 20161101+silicon+dfsg-5build2 (Accepted)

[Dimitri John Ledkov]

frama-c (20161101+silicon+dfsg-5build2) artful; urgency=high

  * No change rebuild against ocaml 4.04.

Date: Mon, 03 Jul 2017 01:29:32 +0100
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/20161101+silicon+dfsg-5build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 01:29:32 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20161101+silicon+dfsg-5build2
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 frama-c    - Platform dedicated to the analysis of source code written in C
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Changes:
 frama-c (20161101+silicon+dfsg-5build2) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 6c42d14ddd10aa876504119282b1865b276d829e 2126 frama-c_20161101+silicon+dfsg-5build2.dsc
 1213ef216178cc8ed1cdedf55004e844af4ed5e6 26984 frama-c_20161101+silicon+dfsg-5build2.debian.tar.xz
Checksums-Sha256:
 ddbd1320e9f7958a9aaa8549865145cf6f4701ce57b0fdef7a82949b7556ca49 2126 frama-c_20161101+silicon+dfsg-5build2.dsc
 25d4d0204c0ff18cc5e7364fb9ecb7bb7593a925b6dcd89b3ead6e73439c5881 26984 frama-c_20161101+silicon+dfsg-5build2.debian.tar.xz
Files:
 a11e3f0a9d44a13d1b8cd73dc84734ea 2126 devel optional frama-c_20161101+silicon+dfsg-5build2.dsc
 636c7fddf5699177ae6e73dc9cd2b147 26984 devel optional frama-c_20161101+silicon+dfsg-5build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZWZAvAAoJEMrC2LnNLKX5XzQH/Roi/LPxskcIlh94V1mhfk9l
ko8CqL4Yw75uZbL6mDOR82B0Bs4QN5i1oK+2nJfvrILJH6W0UAZ+k4cQAEaEzoKu
CaOfiDS8CwqJlxRMO8ltTOFNb9y+p8QqVIijBwLxdT4NktsQR2RVFpdCiqHXmjl6
dYI4khNRtDAhSX8F1jaHakqvLmoRacZnabJ4g0mfGREaEa9IZV+B+0kvsx7xATH0
bRQAVrjSKA7T8mygSRZJ9t5DNHlmUBIboor4EptMKOhNFFb+Hl1LfihNyg/8hIFA
uHms8YM123D8iZuOMdaR+5u9NFKWBlCjftxIri1OfwvBVhUy4vKACRRIq09uU7M=
=cFSu
-----END PGP SIGNATURE-----