Bug#585459: marked as done (why: FTBFS with OCaml 3.12 because of changes in Map)

2010-07-20 Thread Debian Bug Tracking System
Your message dated Tue, 20 Jul 2010 18:29:07 + with message-id and subject line Bug#585459: fixed in why 2.26+dfsg-2 has caused the Debian Bug report #585459, regarding why: FTBFS with OCaml 3.12 because of changes in Map to be marked as done. This means that you claim that the problem has be

why_2.26+dfsg-2_i386.changes ACCEPTED

2010-07-20 Thread Archive Administrator
Accepted: libwhy-coq_2.26+dfsg-2_all.deb to main/w/why/libwhy-coq_2.26+dfsg-2_all.deb why-examples_2.26+dfsg-2_all.deb to main/w/why/why-examples_2.26+dfsg-2_all.deb why_2.26+dfsg-2.debian.tar.gz to main/w/why/why_2.26+dfsg-2.debian.tar.gz why_2.26+dfsg-2.dsc to main/w/why/why_2.26+dfsg-

Processing of why_2.26+dfsg-2_i386.changes

2010-07-20 Thread Archive Administrator
why_2.26+dfsg-2_i386.changes uploaded successfully to localhost along with the files: why_2.26+dfsg-2.dsc why_2.26+dfsg-2.debian.tar.gz why_2.26+dfsg-2_i386.deb why-examples_2.26+dfsg-2_all.deb libwhy-coq_2.26+dfsg-2_all.deb Greetings, Your Debian queue daemon (running on host f

Processed: tagging 586390, tagging 585453, tagging 585454

2010-07-20 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > tags 586390 + fixed-upstream Bug #586390 [src:type-conv] type-conv: FTBFS with OCaml 3.12 because of changes in Camlp4 Added tag(s) fixed-upstream. > tags 585453 + fixed-upstream Bug #585453 [src:unison] unison: FTBFS with OCaml 3.12 because of c