-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 11 Feb 2010 20:57:17 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20090902+beryllium+dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Mehdi Dogguy <me...@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: 569260
Changes:
frama-c (20090902+beryllium+dfsg-4) unstable; urgency=low
.
* Make it compile with OCaml 3.11.2 (Closes: #569260)
- Add 0004-temp_file-changed-in-OCaml-3.11.2.patch
Checksums-Sha1:
79b8116099ff571216821da058b8b7a76c0ef14b 2218
frama-c_20090902+beryllium+dfsg-4.dsc
448604a8ad4712f6542b663fbbd7a91adac88106 24152
frama-c_20090902+beryllium+dfsg-4.diff.gz
a9f5a99837293a0b8616d96c06ae27fe108b58b4 3188410
frama-c_20090902+beryllium+dfsg-4_amd64.deb
68ed00e27a19a702c7d96bdcd99145e1c89df9c6 22806768
frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
Checksums-Sha256:
4d217f70afaa8c4c6efc2ba3305fe0783b4ab98cda90264af421d1f81cc866aa 2218
frama-c_20090902+beryllium+dfsg-4.dsc
3bd733e5caa22b3df3028c4bafff016b506a7580ea8b794ad653cc10217a1760 24152
frama-c_20090902+beryllium+dfsg-4.diff.gz
a11478eaaac5474e7c4a0469749d53c437ba61de4d04d8cce84d18ef8051a1ed 3188410
frama-c_20090902+beryllium+dfsg-4_amd64.deb
ac755e82b78d24d3384f5001d87df932209f09c78bfe8af7ff8d1c499c393fd2 22806768
frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
Files:
5d853bad1c7f6d902f645a9b1b276232 2218 devel extra
frama-c_20090902+beryllium+dfsg-4.dsc
f1ae5a47a61b9e6381af68d99a5f7d49 24152 devel extra
frama-c_20090902+beryllium+dfsg-4.diff.gz
6779d6e58ed636d256d099da768d258a 3188410 devel extra
frama-c_20090902+beryllium+dfsg-4_amd64.deb
5f8a47e6de66443e0bc147b3348a4b82 22806768 devel extra
frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLdIsJAAoJEDO+GgqMLtj/CUYQAMPHEweXms7USswPK/0eJW82
ZO0yH82z1l1ubQJPlq2hOMTm0tsMFncTcB4C5gSMzclz1ZM4uwrWBqPQJ/zPlJIl
shJ7y3yOMh2UNmMgWQdG13Ke3TDCevq+iEjAQrsJEheq7mH4ZS0PrIFl0baO1Wcr
scSAyKp/6FOk+XkuKwaT3BTViqx96F1h5+mTmQEmH3QZU8uaKSFChXvkvrd7FcsY
F8ABAz0AtOOMHw00aCysaEV8kT5beeU5JYvcyWkXT23PHabCAHTfhzmGT1NIn6EI
jjy1TZyeZsXYMA/DHx4zLbrwcEHJrIAxzZG3X8tb5t7Gj6lWwyw5c4S/n3LzzLoL
KAVgvPicL8+VExEE0NDIu4wFWzoSKUAnG9OE0GlrH6BUoiLdfYqYmrrY8N0g3YaZ
HlVtLAo/voUu9mXk9/JBJw3wU2yn4PrUHKRHd4eegYJaxLklooy9sUcSoyhL1d/z
oqxD1jKgCCrYRHa1JAGFnefWJigWu+GEZkFGVSA/OVgBPaDDsuLFobjF6q3SVx2W
vGkwzX5d5GtwzNeroy+pkPtxhbez4bBTPciV92eq8eNDj3cYGnR2JW9VCHHgPoGt
ibjdgFChzgo5AwqCF+9Adx4DSqppnRRoZJtlBukdiXtaLo71sT2R3zD7PmGaEnTg
HkFT0zpoaCU7VJ4szjPK
=Ix0J
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
frama-c_20090902+beryllium+dfsg-4.diff.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-4.diff.gz
frama-c_20090902+beryllium+dfsg-4.dsc
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-4.dsc
frama-c_20090902+beryllium+dfsg-4_amd64.deb
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-4_amd64.deb
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
