-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 01 Jun 2010 20:18:44 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20100401+boron+dfsg-2 Distribution: unstable Urgency: low 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: 580090 Changes: frama-c (20100401+boron+dfsg-2) unstable; urgency=low . * Make the configure script accept OCamlgraph 1.5 (Closes: #580090) * Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~). * Add a debian/source/format file (keep the package in 1.0 format, for now). Checksums-Sha1: ebe3439ea228105c6ee50849a07583710ccf91e5 2191 frama-c_20100401+boron+dfsg-2.dsc baec4bee4816d5abf0bda17007c4273e4999ed4a 26374 frama-c_20100401+boron+dfsg-2.diff.gz 32879b4cd8fcb1880149cc463bb945bd4ed27c96 3361302 frama-c_20100401+boron+dfsg-2_amd64.deb 0928724a50497ea81b0efda175b715c1c7802fe6 25051842 frama-c-base_20100401+boron+dfsg-2_amd64.deb Checksums-Sha256: 3c1c92d5cd5d9de7e011d47dbaeb1feabb8505ea3a21b858408b3de0bdf1bf7f 2191 frama-c_20100401+boron+dfsg-2.dsc 28a02b257d91b0ac35af3fdf08e28e6a8fd46062d96058d033cfd826c9f69edb 26374 frama-c_20100401+boron+dfsg-2.diff.gz af68e2ee2d74198101992d97ed03a69251bb0b2535f11bb6735954f4324aecb6 3361302 frama-c_20100401+boron+dfsg-2_amd64.deb 537e3da5772f63f7d0551894d071df2c1499b779ef9d4b1c45f58af9ba1ebdd4 25051842 frama-c-base_20100401+boron+dfsg-2_amd64.deb Files: 9a9212e476c1cfebe4e6399cef648e75 2191 devel optional frama-c_20100401+boron+dfsg-2.dsc ecbe0ecdb75ef9f04beacbc79aee4a06 26374 devel optional frama-c_20100401+boron+dfsg-2.diff.gz b44e703bffa98f12121e05ff502f10e3 3361302 devel optional frama-c_20100401+boron+dfsg-2_amd64.deb e8e1748d18d1fc01481a8b9489b6fc30 25051842 devel optional frama-c-base_20100401+boron+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJMBVH/AAoJEDO+GgqMLtj/d4YP/1WkiGGyBJz3DM9+OSnZ75LX z5QA0k2iFPnan96C8K6TEtxRSFiJxx9lgzYS8bD1Ivr/l7TnBIxZ4KW3f3QPU8mQ QV3JEALnuCibqsjuuW/XLkM5JLcN1wX+eVLxr2lSLuptunuIomWm7wFGDp6b0LtA xepOuD24+DVb9/4JUrXs6UO14TSeiVN0RJfdGss76XfCs/sQN+dTOC11C6dJNP2D FO9BlIte9iFWbrQ+FJQrC50E2n3r8Wn46//FCPccOGn3ruP2HObE5pl4R/wOfp2M pNKzQ3L0MgBp51bxF4faEoGaOnk/aVMyd8xKhMrRek4inP7vC1X7o2/m7UH48+bI Rt8ESXsRZrsI6oxH37qgJW9tWHvCykZAm3SRZdejz+6WunLPTa+Dl5BUlt0GfxPL AJ+L8gFj2O+4DqJF5b61zl9KYXwXLAoQSB1PjWVX8IOoLQ1hAc2LulIrCRtQ1rox ZajPYpn9tWjTtF5uOs3BylTflGY25WInmCU8P8NIksrW56u/7E2vv0vii+O5+x28 YMclTFhgeiG8N+gaYONzBl39+TMKwZFNbH0bUXUCOjJvpfIrTIcJRdGl+X6lVHBy Mw9qBb7fd/VV0ONQZwyUEehL2rUn7lO3Xq/EWL5FnSYWWmWoZtC0TxBZsTxuAwMg qh4FuEsdMhKF3uOgbMzP =uVyT -----END PGP SIGNATURE----- Accepted: frama-c-base_20100401+boron+dfsg-2_amd64.deb to main/f/frama-c/frama-c-base_20100401+boron+dfsg-2_amd64.deb frama-c_20100401+boron+dfsg-2.diff.gz to main/f/frama-c/frama-c_20100401+boron+dfsg-2.diff.gz frama-c_20100401+boron+dfsg-2.dsc to main/f/frama-c/frama-c_20100401+boron+dfsg-2.dsc frama-c_20100401+boron+dfsg-2_amd64.deb to main/f/frama-c/frama-c_20100401+boron+dfsg-2_amd64.deb