Transition to OCaml 3.11.1 in Ubuntu Karmic Koala completed!

Hello, I am very pleased to announce that transition to OCaml 3.11.1 in Ubuntu Karmic is now completed! http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html Many thanks to (in order of appearance): * Ubuntu side: James Wetsby Andrea Gasparini Mic

laby 0.5.2-1 MIGRATED to testing

FYI: The status of the laby source package in Debian's testing distribution has changed. Previous version: 0.5.1-1 Current version: 0.5.2-1 -- This email is automatically generated once a day. As the installation of new packages into testing happens multiple times a day you will receive la

Re: Build issue with why and libfloat-coq

Hello Stéphane, 2009/8/18 Stéphane Glondu : > It looks like it's coq-float. It depends on Coq ABI, which is > $COQVERSION-$OCAMLVERSION. It must be recompiled before why. Thank you for the explanation. Michael Biena has triggered a recompilation of the packages in the proper order. Yours, d. -

Processed: tagging 516587

Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.35lenny3 > tags 516587 pending Bug #516587 [edos-distcheck] please provide way to debcheck all binary packages of a source package at once Added tag(s) pending. > End of message, s

reassign 532828 to edos-distcheck

# Automatically generated email from bts, devscripts version 2.10.35lenny3 reassign 532828 edos-distcheck -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

reassign 540797 to edos-distcheck

# Automatically generated email from bts, devscripts version 2.10.35lenny3 reassign 540797 edos-distcheck -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Processed: reassign 532828 to edos-distcheck

Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.35lenny3 > reassign 532828 edos-distcheck Bug #532828 {Done: Ralf Treinen } [edos-debcheck] edos-debcheck: Missing dependency: python-debian Bug reassigned from package 'edos-debch

Processed: reassign 540797 to edos-distcheck

Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.35lenny3 > reassign 540797 edos-distcheck Bug #540797 [edos-debcheck] edos-debcheck: output format needs to be easier to parse Bug reassigned from package 'edos-debcheck' to 'edos-

Processed: severity of 532905 is important

Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version > 2.10.35lenny2~bpo40+1 > severity 532905 important Bug #532905 [lablgtk2] lablgtk2: pygtksourceview1 is deprecated Severity set to 'important' from 'normal' > End of message, stopping

Re: Build issue with why and libfloat-coq

David MENTRE a écrit : > I'm not quite sure of the blocking point. Is it "coq"? "coq-float"? A > synchronization is needed or just a re-compilation? I would appreciate > any help. It looks like it's coq-float. It depends on Coq ABI, which is $COQVERSION-$OCAMLVERSION. It must be recompiled before

Build issue with why and libfloat-coq

Hello, For transition to OCaml 3.11.1 in Ubuntu Karmic, the only remaining package having an issue is "why". It fails to build because its dependency "libfloat-coq" is not installable: """ The following packages have unmet dependencies: libfloat-coq: Depends: coq-8.2-1+3.11.0 but it is not inst