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
please
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 con
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 conside
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
please
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 consid
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
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
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
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
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
10 matches
Mail list logo