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

[Dimitri John Ledkov]

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

  * No change rebuild against zarith and caml 4.04.

Date: Mon, 03 Jul 2017 11:19:49 +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-5build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 11:19:49 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20161101+silicon+dfsg-5build3
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-5build3) artful; urgency=high
 .
   * No change rebuild against zarith and caml 4.04.
Checksums-Sha1:
 72371960f015babaae9ec03cd7c00027de49ed87 2126 frama-c_20161101+silicon+dfsg-5build3.dsc
 25b3ce8e0e8d8a1f3b818df0ae043072650db977 26984 frama-c_20161101+silicon+dfsg-5build3.debian.tar.xz
Checksums-Sha256:
 d7d8a133f3890b269ec217414acb7851ebac3f41e5ea590707f025a695051deb 2126 frama-c_20161101+silicon+dfsg-5build3.dsc
 f7916e0d2b504d0436147b1dc42cc4f6761e731d5213d4ee8df37970e730ca57 26984 frama-c_20161101+silicon+dfsg-5build3.debian.tar.xz
Files:
 5a0dd71306c377ff8daa8c5c736dc32b 2126 devel optional frama-c_20161101+silicon+dfsg-5build3.dsc
 cbd27d7feaf58cce1f9a28876b4ede8e 26984 devel optional frama-c_20161101+silicon+dfsg-5build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZWhpPAAoJEMrC2LnNLKX5mbsIAIW6s/+0ZACcJURRGxecugRn
+IzeGgwJBOR1ACsjfGjNK+31EOPAwVITXvW3z8gc7W8N6YSc6YO89edv+nbmSnLY
09OEUbE3X0J/vj9sz/Y6UoUMn3nMAodAUV8H3AnTgMg6ZjbKFL01gEi6lgJ6PLL7
DAntYO2T6k8lcbOg8i443+KD9h2MOcYiYmkerim16lG/G/A5rbqw7W5jEASuacDP
JwQ9y9olz3FWoYq2LhiK62wW3kylyXAD27R/KeaC6KKBOwsxnLXSyM5XlB8tBDCH
ZzRZJW8nWGb0XB4c7fPns+pr7i5WxZuVh4drD8uuf/wFP8AoGvsjdrfiqEdTVJk=
=xwxn
-----END PGP SIGNATURE-----