[ubuntu/trusty-proposed] frama-c 20130601+fluorine3+dfsg-2build1 (Accepted)

[Matthias Klose]

frama-c (20130601+fluorine3+dfsg-2build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.

Date: Mon, 23 Dec 2013 22:01:50 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/trusty/+source/frama-c/20130601+fluorine3+dfsg-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 23 Dec 2013 22:01:50 +0000
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20130601+fluorine3+dfsg-2build1
Distribution: trusty
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 (20130601+fluorine3+dfsg-2build1) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 edd166db7c01dabdce194d39f1d774ffd58d010f 1721 frama-c_20130601+fluorine3+dfsg-2build1.dsc
 c87720c6875ee37350b647f39e438b020069ebb2 25790 frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz
Checksums-Sha256: 
 40208ea29dbb1766e68c03d8fef4292478fed2c1f761f55165bf38c611eca92b 1721 frama-c_20130601+fluorine3+dfsg-2build1.dsc
 dbde6b2ffccde244084dfcb979ec3ede2935f14d16c7029e592a517151f5ae9a 25790 frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz
Files: 
 49bfef8379b617ae656bf2aec17a9e54 1721 devel optional frama-c_20130601+fluorine3+dfsg-2build1.dsc
 6cd381cdcf3a3c78426d6639ff652c15 25790 devel optional frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iEYEARECAAYFAlK4s1EACgkQStlRaw+TLJxFPgCgliUS7Vux2Zue3fRGGr6pHY7L
vsUAmgLt+FVDNRGaKom6aImzPfZ7KvQt
=DGyw
-----END PGP SIGNATURE-----