reassign 571435 release.debian.org retitle 571435 BinNMU lablgtkmathview and matita on all arches thanks
Mehdi Dogguy wrote: > > I think that the relevant part is rather: > > OCAMLOPT matita.ml > File "matita.ml", line 1, characters 0-1: > Error: Files /usr/lib/ocaml/lablgtkmathview/lablgtkmathview.cmxa > and /usr/lib/ocaml/gdome2/gdomeInit.cmx > make inconsistent assumptions over implementation GdomeInit > make[2]: *** [matita.opt] Error 2 > It seems[1] that lablgtkmathview has been compiled with gmetadom 0.2.6-4, which is known to have broken dependencies (built with ocaml 3.11.1). gmetadom 0.2.6-5 fixed the dependencies and was rebuilt with ocaml 3.11.2 but lablgtkmathview should have been rescheduled for build using that new version. Rebuilding lablgtkmathview with gmetadom 0.2.6-5 and then matita with the newly built lablgtkmathview should fix the problem. Thus, I'm reassigning this bug to release.debian.org and I'm asking binNMUs (CC'ing the release team) for the faulty packages: nmu lablgtkmathview_0.7.8-5 . ALL . -m "Recompile with gmetadom 0.2.6-5" dw lablgtkmathview_0.7.8-5 . ALL . -m 'libgdome2-ocaml-dev (>= 0.2.6-5)' nmu matita_0.5.8-2 . ALL . -m "Recompile with lablgtkmathview 0.7.8-5+b3" dw matita_0.5.8-2 . ALL . -m "liblablgtkmathview-ocaml-dev (>= 0.7.8-5+b3), libgdome2-ocaml-dev (>= 0.2.6-5)" (Hope the syntax is correct) This will be the last step to finish the OCaml transition. [1] https://buildd.debian.org/fetch.cgi?&pkg=lablgtkmathview&ver=0.7.8-5%2Bb2&arch=amd64&stamp=1265762538&file=log Regards -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4b868dff.3020...@dogguy.org
