Accepted frama-c 20140301+neon+dfsg-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 27 Apr 2014 21:41:47 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20140301+neon+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
frama-c - Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Closes: 746091
Changes:
frama-c (20140301+neon+dfsg-1) unstable; urgency=medium
.
* New upstream release.
- Refresh patches
- Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch
- Add 0004-Port-to-OCamlgraph-1.8.5.patch (Closes: #746091)
* Bump build-dependency of Ocamlgraph to 1.8.5~.
* Pass --enabe-zarith to configure script instead of patching it.
- Remove 0004-Fix-auto-detection-of-ocaml-zarith.patch.
Checksums-Sha1:
097689952a0140667b2fb948ffa74cb449aff355 2320 frama-c_20140301+neon+dfsg-1.dsc
a46275e19728887bd1295c209448f29942b14b34 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz
eff5257e77651a7f7fecfade649f50e1c9ff92be 23456 frama-c_20140301+neon+dfsg-1.debian.tar.xz
1afdcab4a6128f988e16f96d7e261ef7c73bb066 3653822 frama-c_20140301+neon+dfsg-1_amd64.deb
25cdd1af4bd094395bbf5d5edfd19f7a60dc7a59 19071856 frama-c-base_20140301+neon+dfsg-1_amd64.deb
Checksums-Sha256:
81afe48b9da0ded5c337e542e7d74bc74d1dbebee5dac0ca07bd122bc3cf7645 2320 frama-c_20140301+neon+dfsg-1.dsc
464bb40ccec8eff4056d4f522aed9fd46cd02fd50fd1021cc9c4ea514b3c7361 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz
71ee22829100751220232558800ec420b33e12611f58534925e77f98977ccaf0 23456 frama-c_20140301+neon+dfsg-1.debian.tar.xz
5db9bbf0c0ba96adbd6efacc27378f333d82069a42eb6e93f6e7fc60328b79eb 3653822 frama-c_20140301+neon+dfsg-1_amd64.deb
72607598414beb9d90d901356a68179824fe468cd70ba7d4d17be1e4b4cb3fd4 19071856 frama-c-base_20140301+neon+dfsg-1_amd64.deb
Files:
c5224a368db3db4b73745a3abb216096 3653822 devel optional frama-c_20140301+neon+dfsg-1_amd64.deb
e72111d5a955e1522a4bbc325de71549 19071856 devel optional frama-c-base_20140301+neon+dfsg-1_amd64.deb
07fbdfcbbb5a8fea6cdc2278098c174b 2320 devel optional frama-c_20140301+neon+dfsg-1.dsc
5186fb142b9d8e614cc2e83621227b39 2830503 devel optional frama-c_20140301+neon+dfsg.orig.tar.gz
e8a480a100760e58f60d0876c29c96ba 23456 devel optional frama-c_20140301+neon+dfsg-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTXW0MAAoJEDO+GgqMLtj/VQ8P/A79cHt779JIH5lz060Qt5Uc
YhOY2W34yP+yAglL4foKhNMG5F+E7vCs/ZpfPTz4rKvlFPHGrSNc970N7RYX/gkC
pf6JDkzVQe8J+QOKCv8pzsXvmVrWn/pEb0vevKzB2pJ2xU3cUQlIE5N1og35ZW70
wJYAvv7+9fH43b7hBXDzIROUl1Sif2UUNYzCSDsKmBFmZzyOyiNL9MGDgWMFWmz3
IOLXKU8w9u15Kc9jhaXRxfxscQRH1ufs/XdzD2Y1VG9RSjL3ge6R1/wL9GeDeE9J
/CPi9gYinErNRvyPA56ZStpqUUApV4dNUy/sWIvCGk9/w6YGLs+WuG57c8uGXHY5
9EYyEHlzsiiK8LSUIPAI43sZ7v0+5kDUNZ3mLDLOllJHQGJ6W+jU2N09DfZVHEzl
HPpNBTWL9P59NRslYrghKCwgCDoksyxRlMVVwQXfyTOjNcbd30Las6LnLzGPjgay
4VUk71dFjTgAk/bNMkLxmufy2fPsC1UL/VtNLkyjKUiZ0jpPr047ggWsvstvmOPD
oThTbYMReGo+VFe1W0QToWdyWLPZR2hH7lB51QwsogchrUY5ECAzgBu6Uwy6Jby8
wLos7MaIb7TPUf6ztYxR8RYsYb/T1vm7L1p96Fsr7GjbFS48N1e8UE9aeEnmcnQV
JANBthQYT7hEyYDK9YzJ
=21zB
-----END PGP SIGNATURE-----