-----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