Your message dated Thu, 11 Feb 2010 23:17:59 +0000
with message-id <e1nfiij-0002ny...@ries.debian.org>
and subject line Bug#569260: fixed in frama-c 20090902+beryllium+dfsg-4
has caused the Debian Bug report #569260,
regarding FTBFS: expression was expected of type string -> string -> string
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
569260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=569260
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: frama-c
Version: 20090902+beryllium+dfsg-3
Severity: serious
Justification: FTBFS
Hi,
your package FTBFS on all archs for +b1 (Recompile with OCaml 3.11.2)
this way:
| ocamlc.opt -I ptests -dtypes -vmthread -g -o bin/ptests.byte \
| unix.cma threads.cma str.cma dynlink.cma ptests/ptests_config.ml
ptests/ptests.ml
| File "ptests/ptests.ml", line 57, characters 6-15:
| Error: This expression has type
| ?temp_dir:string -> string -> string -> string
| but an expression was expected of type string -> string -> string
| make[2]: *** [bin/ptests.byte] Error 2
Full build logs:
https://buildd.debian.org/status/package.php?suite=unstable&p=frama-c
Mraw,
KiBi.
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20090902+beryllium+dfsg-4
We believe that the bug you reported is fixed in the latest version of
frama-c, which is due to be installed in the Debian FTP archive:
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
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 569...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <me...@debian.org> (supplier of updated frama-c package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----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-----
--- End Message ---
