[ubuntu/wily-proposed] frama-c 20140301+neon+dfsg-3build1 (Accepted)

[Matthias Klose]

frama-c (20140301+neon+dfsg-3build1) wily; urgency=medium

  * No-change rebuild for new ocaml-zarith.

Date: Sun, 09 Aug 2015 13:01:48 +0200
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/20140301+neon+dfsg-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 09 Aug 2015 13:01:48 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20140301+neon+dfsg-3build1
Distribution: wily
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 (20140301+neon+dfsg-3build1) wily; urgency=medium
 .
   * No-change rebuild for new ocaml-zarith.
Checksums-Sha1:
 e9925eb1c90a28fc5ccfff60013ff381e0605a16 2323 frama-c_20140301+neon+dfsg-3build1.dsc
 c1cd03fcd5a75bb3559d2e0ae0eb17717f7de305 24032 frama-c_20140301+neon+dfsg-3build1.debian.tar.xz
Checksums-Sha256:
 e8b087160e09c3da2b946a3591232ffbff93b1b9e4492c4e94c127f782d425df 2323 frama-c_20140301+neon+dfsg-3build1.dsc
 ed5dbacc8472b58f0281f720b977c7536955aaa4cb80f8e006af50b20ead479c 24032 frama-c_20140301+neon+dfsg-3build1.debian.tar.xz
Files:
 882336be7a2bdb7c28c53bf661244eda 2323 devel optional frama-c_20140301+neon+dfsg-3build1.dsc
 1b09cce98d991ba5a70179c1eb9561a9 24032 devel optional frama-c_20140301+neon+dfsg-3build1.debian.tar.xz

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

iQIcBAEBCAAGBQJVxzN3AAoJEL1+qmB3j6b1kOAQALoZcRFv5AEhgr3SXjXIO8s/
4qaS+Mvy30sAx0MrmfSqxC/gHpE2vHPeT8QU6m51V/kIICQzotDwl92aeOc0Jw4y
jFS8bW9gcaSTmX2sZWAnvJadgUotNYq2Y1SNjA22uNbIzI3EmYVnMJHDx/sywMYG
iLX3eIDTG2XBkn3EG4rgqQLbBzAEUU0jGUrrnIzFE3mGm4mBVSiAChLFrv5UyqCq
+tGFVX6wcvM+HPNIzghzdR4z99dGXi+ZgmIfDiP9R4CyevqyE+fOv4tQJIcPtwDF
S1TVcaglB5hm/Yzfa1J1sL7H/XEZqCQCo7HNYpcx32Dxf2DScZI4esM+ujvNE8JN
6EhNrBvlk/wXj+KEh8LTwsgD3xdRLwRh5/P3m/D3X9q/8CbKHHvHqLa/BXSEAigz
6jjhv2OinkXEOm4wsg5igmXeXau/yb28eAnEahfj0F0lqtaQK9WsIIAsmgzpT3HG
2ujYhDC1HjPSZM8NZp2cUoIxo68aISk3OpGbw6tujEzDYtOTTp90vLfrZPIPcW63
3pw4Q7n+lpYg6uWkZ7IVdTW8qL+/OwznmZSQjsCqXKeAM+0RwfmqT+uiclaSxxrC
D8AVVMHE7j9VDtP90zjd5cQw/poklNBqb+UEsTK29n6QcgKoST6q7eo2+2GB2fbT
K7dA2kkZIQ9iVmdOzoce
=KhWZ
-----END PGP SIGNATURE-----