Back to frama-c PTS page

Accepted frama-c 20100401+boron+dfsg-2 (source amd64)



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