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

[Gianfranco Costamagna]

frama-c (20161101+silicon+dfsg-5build1) artful; urgency=medium

  * No change rebuild against new ocaml ABIs

Date: Mon, 05 Jun 2017 11:08:38 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/frama-c/20161101+silicon+dfsg-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Jun 2017 11:08:38 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20161101+silicon+dfsg-5build1
Distribution: artful
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
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-5build1) artful; urgency=medium
 .
   * No change rebuild against new ocaml ABIs
Checksums-Sha1:
 2f8bddea872e6c94fb301351dfc237ece071ec72 2393 frama-c_20161101+silicon+dfsg-5build1.dsc
 ae80ff7f7f5af52b2d4e208bb63ec63d47a38957 26956 frama-c_20161101+silicon+dfsg-5build1.debian.tar.xz
Checksums-Sha256:
 ededc1c6680d2d043f9b763b345fb50f401cc95e0463955cefd6b601245fea73 2393 frama-c_20161101+silicon+dfsg-5build1.dsc
 0b296143c0c975206e2f8fd11ec69f351798cb75aa0a0f42666615ec5f9a2ad0 26956 frama-c_20161101+silicon+dfsg-5build1.debian.tar.xz
Files:
 c5df71d193c5be01982eb0e57302027b 2393 devel optional frama-c_20161101+silicon+dfsg-5build1.dsc
 ba8b6370de95d2ee355c50aa01607bb0 26956 devel optional frama-c_20161101+silicon+dfsg-5build1.debian.tar.xz

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

iQIcBAEBCAAGBQJZNR+zAAoJEPNPCXROn13ZLkkQAJfOM+iRBxmTSEZ3LIXITfvm
WoLHyJKUiD/QOSkfnT/IWr/uoh/dyHRTpboKmggK5g4s3jV2l6xR3qVX14NYjAbY
WHlcjFuRJj7wLC7oVIywi0mAR0QJbbPaEf3F5gQPJnmZ70cC54alPcvkKzJfrnb6
kmVMG83cFLqBNM8Y8ub43ewVuissOQzwKAuDPcXv1CeD5JdH0G5FwFArNEdBs8rj
hp19m88wx34Wh9I8viCEIcCwf61G6vQDhfXKlf4bW5BuhHTsIA9jq/Z6BfCg3Ny6
mRURSuxyUDABTIjN4OTdPnJaadDvDkcacfN2KRLTJ4vG8hI1tReQ2wd7vLcRg++2
CADO7A/YNZ7hczG2Lk1eSjO7KW0XP7kt85tnSpmCBuhZrpvGD1ardJFxFDRMabKr
Ntkpgf7rvM/79jOamE8/7OE8fgpH4NOZl/e2qeq3/DQU4PaSfMeJC+P+IdeePiUp
h0SyEtrzzRsiIlytNvZlZACuOq+0UhfcPoSfH/TWDY6lqNQ5Yfd3gouUEhgzuRCJ
ngrTyL0EDobv3T6l5rH7IO2UbmdEYY+Or9dHij3AqrV3yPhg2vWgCfhRT0zc0k0i
oFfnl3L08NiFSZKkprTQOH/g3Cp7e6Bv2+r9UKM6ZhYQkOh/IUseP6mq1YZ7Hla0
Ry7Lq60JkAxoo7GmYlxQ
=sQiT
-----END PGP SIGNATURE-----