Bug#575371: marked as done (FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev)
Your message dated Thu, 25 Mar 2010 10:32:20 +0000
with message-id <E1NukMO-0006QS-H8@ries.debian.org>
and subject line Bug#575371: fixed in frama-c 20090902+beryllium+dfsg-5
has caused the Debian Bug report #575371,
regarding FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
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 owner@bugs.debian.org
immediately.)
--
575371: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=575371
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: frama-c
Version: 20090902+beryllium+dfsg-4
Severity: grave
Justification: renders package unusable
Hello,
libocamlgraph-ocaml-dev doesn't provide dgraph.cmx any more, so that
frama-c currently FTBFS on sid systems. libocaml-graph-viewer-ocaml-dev
should be depended on instead.
Samuel
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.33 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
--- End Message ---
--- Begin Message ---
- To: 575371-close@bugs.debian.org
- Subject: Bug#575371: fixed in frama-c 20090902+beryllium+dfsg-5
- From: Mehdi Dogguy <mehdi@debian.org>
- Date: Thu, 25 Mar 2010 10:32:20 +0000
- Message-id: <E1NukMO-0006QS-H8@ries.debian.org>
Source: frama-c
Source-Version: 20090902+beryllium+dfsg-5
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-5_i386.deb
to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-5_i386.deb
frama-c_20090902+beryllium+dfsg-5.diff.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-5.diff.gz
frama-c_20090902+beryllium+dfsg-5.dsc
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-5.dsc
frama-c_20090902+beryllium+dfsg-5_i386.deb
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-5_i386.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 575371@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@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 ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 25 Mar 2010 11:14:43 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source i386
Version: 20090902+beryllium+dfsg-5
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: 575371
Changes:
frama-c (20090902+beryllium+dfsg-5) unstable; urgency=low
.
* Build-Depend on libocamlgraph-viewer-ocaml-dev (Closes: #575371)
Checksums-Sha1:
98978916d333f1de027941ca21a94264f681ff24 2225 frama-c_20090902+beryllium+dfsg-5.dsc
e1683d422b5c9306b827746ab30facf4042f2949 24202 frama-c_20090902+beryllium+dfsg-5.diff.gz
3c1347e83f34aa3f0c4fc1e0663fd443cc26476c 2789470 frama-c_20090902+beryllium+dfsg-5_i386.deb
4e806179848b291ca2fcbd994b4c3ab038a1916b 22386024 frama-c-base_20090902+beryllium+dfsg-5_i386.deb
Checksums-Sha256:
be185b5b329bbf66f6b0f80fea0a6a2f7ac599bab663c37a8ccc7b68d6b03eb3 2225 frama-c_20090902+beryllium+dfsg-5.dsc
e39a82d2d1f47e7ac54a0ce92c482d29b14d4e1fabf403e40f2d14a0ee9f5603 24202 frama-c_20090902+beryllium+dfsg-5.diff.gz
701f15e2a2fa2626e47a151b1536821b1591bed4c7df7574912f9889a82a396d 2789470 frama-c_20090902+beryllium+dfsg-5_i386.deb
c0b612e6ba5dc99478e6ddb49db5bf03da86fe8b1f7bc185f6a07c3363b7b318 22386024 frama-c-base_20090902+beryllium+dfsg-5_i386.deb
Files:
ecfeb87bb51d821537d2158e6e2e31bb 2225 devel extra frama-c_20090902+beryllium+dfsg-5.dsc
316b0640266a3dcccd65739d9917b704 24202 devel extra frama-c_20090902+beryllium+dfsg-5.diff.gz
762d371153101b8108f0756b632b3841 2789470 devel extra frama-c_20090902+beryllium+dfsg-5_i386.deb
5a948d453806ffac5009c81fac2e8649 22386024 devel extra frama-c-base_20090902+beryllium+dfsg-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLqzldAAoJEDO+GgqMLtj/vwgP/R5eldd8T/ahYci32O5ireRN
He7cRyLBEOR/igJqcopkbbkmZmel8su9veroQ0Rvkjoc5IChdE3L4/1rwy710Wx4
Z6X+g9/p1WoBBsFFcKfewFNS0ESOCXdX2kumuNESLoNpvoNVd3P8XlmHvEsagg+C
qBn9meCC7CgWnLi/UHebKrYx/Wr/JGbbSLfdmNmJv4IvGyfONuV+q7RbGKhNoOw9
7BadGIY8/5QlIgTxfrQmRl3K/7riekXPQpGetuDVteNbi0aIgKDdj61HOJDp9Yyb
r/wvRYoA/ytkxz5HhsSZbI5RP7DFLWQet8jnF6CErRvfuT2E2rVczWHFRGl2tFD+
q0PpqdGhA8ZG+e2YT2l56nh3q4y4RDXni0mfwUJ+mJVf0mn0gCkvK0+mQkc6EoPE
7iQM0aL+n9WYijw/Tb2ckr4izDvy8ulHmHlTpLEvcuyc7SPw5LXqHqmHqHLSVTEi
y0Fb5T1B0+EIIAamoTRzR3KWrkJXyRiF2pYTjPeR/8o41adPIkfKAOoaCrI9ozLb
57nxmzbrzUdfufD0FyRu4/sB8Bf9yaHOTNYgB5MaUKDl0QwugZWWHZDjTxscFkLs
/ddMMjPYWrXdNJxLoObQKpETVZ37PcFfSLEVoc3hbiF/ko+0HgOFUOBvkB/qomI+
Y49DCPsQIQwrzn6zjnqD
=L+fd
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: