Processed: Re: Bug#642730: matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 642730 src:ocaml-http
Bug #642730 [src:matita] matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl
Bug reassigned from package 'src:matita' to 'src:ocaml-http'.
Bug No longer marked as found in versions matita/0.5.8-3.
> severity 642730 important
Bug #642730 [src:ocaml-http] matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl
Severity set to 'important' from 'serious'

> affects 642730 src:matita
Bug #642730 [src:ocaml-http] matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl
Added indication that 642730 affects src:matita
> retitle 642730 ocaml-http: should use dh-ocaml 0.9
Bug #642730 [src:ocaml-http] matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl
Changed Bug title to 'ocaml-http: should use dh-ocaml 0.9' from 'matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
642730: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=642730
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems