Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
Samuel Thibault wrote: 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. Yes. That's planned. libocaml-graph-viewer-ocaml-dev is only 2 days old. I thought I have more time to update Frama-c :) Note that Why and alt-ergo have been already updated. Cheers, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev
Mehdi Dogguy, le Thu 25 Mar 2010 11:05:02 +0100, a écrit : Yes. That's planned. libocaml-graph-viewer-ocaml-dev is only 2 days old. I thought I have more time to update Frama-c :) Ok. It was just unfortunate that the hurd-i386 buildd hit building frama-c just yesterday :) Samuel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
