cduce: New upstream version available

Hello, The Debian External Health System (a.k.a. DEHS) has found a new upstream version of the package cduce in the unstable distribution. The current package version is 0.5.0-2 and latest by upstream is 0.5.3. If you are the maintainer or a co-maintainer of the package please consider updating

Status of OCaml packages on Debian and Ubuntu

Hello, David MENTRE writes: > But I'll try to start modestly: keep an > eye on Ubuntu packages vs. Debian ones. I'll keep in mind the patches > aspect though. Here is my first attempt: 1. A list of all package versions in Debian and Ubuntu: http://bentobako.org/ubuntu-ocaml-status/raw/ra