coq: New upstream version available

2011-04-19 Thread Debian External Health System
Hello, The Debian External Health Status system (a.k.a. DEHS) has found a new upstream version of the package coq in the experimental distribution. The current package version is 8.3.pl1+dfsg-2 and latest by upstream is 8.3.pl2. If you are the maintainer or a co-maintainer of the package

coq: New upstream version available

2010-12-24 Thread Debian External Health System
Hello, The Debian External Health Status system (a.k.a. DEHS) has found a new upstream version of the package coq in the unstable distribution. The current package version is 8.2.pl2+dfsg-1 and latest by upstream is 8.3.pl1. If you are the maintainer or a co-maintainer of the package please

coq: New upstream version available

2010-10-17 Thread Debian External Health System
Hello, The Debian External Health Status system (a.k.a. DEHS) has found a new upstream version of the package coq in the unstable distribution. The current package version is 8.2.pl2+dfsg-1 and latest by upstream is 8.3. If you are the maintainer or a co-maintainer of the package please

ocaml-mad: New upstream version available

2010-08-20 Thread Debian External Health System
Hello, The Debian External Health Status system (a.k.a. DEHS) has found a new upstream version of the package ocaml-mad in the unstable distribution. The current package version is 0.3.6-1 and latest by upstream is 0.4.0. If you are the maintainer or a co-maintainer of the package please

coq: New upstream version available

2010-08-20 Thread Debian External Health System
Hello, The Debian External Health Status system (a.k.a. DEHS) has found a new upstream version of the package coq in the experimental distribution. The current package version is 8.3~rc1+dfsg-1 and latest by upstream is 8.3-rc1. If you are the maintainer or a co-maintainer of the package

ocaml-vorbis: New upstream version available

2009-02-22 Thread Debian External Health System
Hello, The Debian External Health System (a.k.a. DEHS) has found a new upstream version of the package ocaml-vorbis in the experimental distribution. The current package version is 0.4.1-2 and latest by upstream is 0.5.0. If you are the maintainer or a co-maintainer of the package please

cduce: New upstream version available

2009-02-13 Thread Debian External Health System
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

ocaml-mad: New upstream version available

2009-01-05 Thread Debian External Health System
Hello, The Debian External Health System (a.k.a. DEHS) has found a new upstream version of the package ocaml-mad in the unstable distribution. The current package version is 0.3.4-2 and latest by upstream is 0.3.5. If you are the maintainer or a co-maintainer of the package please consider

coq: New upstream version available

2008-10-11 Thread Debian External Health System
Hello, The Debian External Health System (a.k.a. DEHS) has found a new upstream version of the package coq in the unstable distribution. The current package version is 8.1.pl3+dfsg-1 and latest by upstream is 8.1.pl4. If you are the maintainer or a co-maintainer of the package please consider

cduce: New upstream version available

2008-09-11 Thread Debian External Health System
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.2.1. If you are the maintainer or a co-maintainer of the package please consider