Accepted why3 0.87.2-2 (source) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc

Accepted camlzip 1.06-1 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libzip-ocaml - OCaml compression libraries (runtime libraries) libzip-ocaml-dev - OCaml compression libraries (development files) Changes: camlzip (1.06-1) unstable; urgency=medium . * New upstream version.

Accepted why3 0.87.2-1 (source) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc

Accepted subcommander 2.0.0~b5p2-6 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: subcommander - Graphical client for Subversion subcommander-doc - User guide for subcommander Closes: 835797 Changes: subcommander (2.0.0~b5p2-6) unstable; urgency=medium . * QA upload * Add build-dependency on zlib1g

Accepted ocaml-mad 0.4.4-2 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmad-ocaml - OCaml bindings for the MAD library (Runtime library) libmad-ocaml-dev - OCaml bindings for the MAD library (Development package) Closes: 778899 Changes: ocaml-mad (0.4.4-2) unstable; urgency=medium

Accepted ocaml-flac 0.1.1-4 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libflac-ocaml - OCaml interface to the flac library -- runtime files libflac-ocaml-dev - OCaml interface to the flac library -- development files Closes: 778899 Changes: ocaml-flac (0.1.1-4) unstable; ur

Accepted ocaml-cry 0.2.2-2 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libcry-ocaml-dev - MP3/Ogg Vorbis broadcast OCaml module Closes: 765242 Changes: ocaml-cry (0.2.2-2) unstable; urgency=medium . * Team upload. * Add build-dependency on dh-autoreconf to fix FTBFS on arm64. Thanks to

Accepted mknbi 1.4.4-12 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 03 Aug 2016 14:40:44 +0200 Source: mknbi Binary: mknbi Architecture: source Version: 1.4.4-12 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Ralf Treinen

Accepted why3 0.87.1-2 (source) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc

Accepted tuareg-mode 1:2.0.10-1 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: tuareg-mode - emacs-mode for OCaml programs Closes: 522058 788456 Changes: tuareg-mode (1:2.0.10-1) unstable; urgency=medium . * new upstream release. * emacsen-startup: autoload tuareg-run-ocaml. Thanks to Sa

Accepted ocaml 4.02.3-7 (source) into unstable

: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode execut

Accepted dose3 5.0-3 (source) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted dose3 5.0-2 (source) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted apron 0.9.10-8 (source) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libapron - runtime libraries for APRON libapron-dev - abstract interpretation library libapron-ocaml - runtime libraries for APRON (OCaml interface) libapron-ocaml-dev - abstract interpreta

Accepted dose3 5.0-1 (source) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted dose3 5.0~rc2-1 (source) into experimental

: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Ch

Accepted why3 0.87.1-1 (source) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc

Accepted dose3 4.3-3 (source) into experimental

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted xcowsay 1.3-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 07 Jun 2016 20:26:39 +0200 Source: xcowsay Binary: xcowsay Architecture: source Version: 1.3-3 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Ralf Treinen

Accepted dose3 4.3-2 (source amd64 all) into experimental, experimental

Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Ch

Accepted bibtex2html 1.98-4 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: bibtex2html - filters BibTeX files and translates them to HTML Changes: bibtex2html (1.98-4) unstable; urgency=medium . * test bib2bib: compare files with "-a" to force comparison as text * d/control: drop Testsuite fi

Accepted why3 0.87.0-3 (source amd64 all) into unstable

: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc

Accepted why3 0.87.0-2 (source amd64 all) into unstable, unstable

: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc

Accepted ifrit 4.1.2-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 09 Apr 2016 21:30:57 +0200 Source: ifrit Binary: ifrit Architecture: source amd64 Version: 4.1.2-3 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Ralf Treinen

Accepted dose3 4.2-2 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted mona 1.4-17-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: mona - theorem prover based on automata Closes: 806139 Changes: mona (1.4-17-1) unstable; urgency=medium . * New upstream version. This version fixes the default alloc used (closes: #806139). * Standards-v

Accepted why3 0.87.0-1 (source amd64 all) into unstable, unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-d

Accepted hevea-doc 2.28-1 (source all) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: hevea-doc - HeVeA documentation Changes: hevea-doc (2.28-1) unstable; urgency=medium . * New upstream release. * Standards-Version 3.9.7 (no change) Checksums-Sha1: 81cbd0592c0573e52c18060eb029fc9c9cd3a48c 1997 hevea-do

Accepted hevea 2.28-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 14 Mar 2016 20:36:55 +0100 Source: hevea Binary: hevea Architecture: source all Version: 2.28-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By

Accepted dose3 4.2-1 (source amd64) into experimental

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted alt-ergo 1.01-1 (source amd64) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (1.01-1) unstable; urgency=medium . * new upstream version. Refreshed patches. * debian/watch: version 4. Add option pgpsigurlmangle.

Accepted coq-doc 8.4pl4-2 (source all) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: coq-doc- documentation for Coq coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Closes: 813063 Changes: coq-doc (8.4pl4-2) unstable; urgency=medium

Accepted dose3 4.1-4 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted dose3 4.1-1 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted dose3 4.1~beta1-1 (source amd64) into experimental

: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Ch

Accepted dose3 4.0.2-3 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted dose3 4.0.2-2 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted misery 0.2-1.1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 10 Oct 2015 18:53:27 +0200 Source: misery Binary: misery Architecture: source amd64 Version: 0.2-1.1 Distribution: unstable Urgency: medium Maintainer: Wookey <woo...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted dose3 4.0-1 (source) into unstable

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can

Accepted mlgmp 20021123-18 (source amd64) into unstable

...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: libgmp-ocaml - OCaml bindings for the GNU multiprecision arithmetic library libgmp-ocaml-dev - OCaml bindings for the GNU multiprecision arithmetic library Closes: 677755 Changes: mlgmp (20021123-18) unstable; urgency=low

Accepted ledit 2.03-3 (source all amd64) into unstable

...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: ledit - line editor for interactive programs libledit-ocaml-dev - OCaml line editor library Closes: 792968 Changes: ledit (2.03-3) unstable; urgency=medium . * Misspelled shlibs in d/control. Thanks to Chris Lamb! (closes

Accepted htdig 1:3.2.0b6-14 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 10 Aug 2015 17:23:47 +0200 Source: htdig Binary: htdig htdig-doc Architecture: source all amd64 Version: 1:3.2.0b6-14 Distribution: unstable Urgency: medium Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf

Accepted mathpartir 1.2.0-5 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 10 Aug 2015 11:12:25 +0200 Source: mathpartir Binary: mathpartir Architecture: source all Version: 1.2.0-5 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei

Accepted sgmltools-lite 3.0.3.0.cvs.20010909-18 (source all) into unstable

Changed-By: Ralf Treinen trei...@debian.org Description: sgmltools-lite - convert DocBook SGML source into HTML using DSSSL Closes: 777011 793720 Changes: sgmltools-lite (3.0.3.0.cvs.20010909-18) unstable; urgency=medium . * QA upload * debian/rules: - use option -n in gzip invocations

Accepted nitpic 0.1-16 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 10 Aug 2015 15:33:36 +0200 Source: nitpic Binary: nitpic Architecture: source amd64 Version: 0.1-16 Distribution: unstable Urgency: medium Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf Treinen trei

Accepted yap 6.2.2-6 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 14 Jul 2015 21:56:25 +0200 Source: yap Binary: yap Architecture: source amd64 Version: 6.2.2-6 Distribution: sid Urgency: medium Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted yap 6.2.2-5 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 09 Jul 2015 22:49:36 +0200 Source: yap Binary: yap Architecture: source amd64 Version: 6.2.2-5 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted dose3 3.3-4 (source amd64 all) into unstable

Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted aspcud 1:1.9.1-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 17 Jun 2015 20:27:04 +0200 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 1:1.9.1-2 Distribution: unstable Urgency: low Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted bibtex2html 1.98-2 (source all) into unstable

-By: Ralf Treinen trei...@debian.org Description: bibtex2html - filters BibTeX files and translates them to HTML Changes: bibtex2html (1.98-2) unstable; urgency=low . * Fix URLs in Vcs-* fields * Standards-Version 3.9.6 (no change) * add DEP8-style package tests: - bib2bib

Accepted alt-ergo 0.99.1+dfsg1-4 (source amd64) into unstable

Changed-By: Ralf Treinen trei...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low . * debian/patches/series: add missing newline * debian/control: XS-Testsuite = Testsuite * debian/control

Accepted hevea-doc 2.23-1 (source all) into unstable

-By: Ralf Treinen trei...@debian.org Description: hevea-doc - HeVeA documentation Changes: hevea-doc (2.23-1) unstable; urgency=medium . * New upstream version * Standards-Version 3.9.6 (no change) * d/control: Canonise Vcs-fields Checksums-Sha1: 935bdb5b7a32f4e760799e1b42bd98e4e5cfd872

Accepted ocamlweb 1.39-1 (source all) into unstable

-By: Ralf Treinen trei...@debian.org Description: ocamlweb - Literate programming tool for Objective Caml Changes: ocamlweb (1.39-1) unstable; urgency=low . * New upstream release. * d/control: - Standards-Version 3.9.6 (no change) - fix URIs in Vcs fields. - simplify recommended

Accepted aspcud 1:1.9.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 27 May 2015 07:44:32 +0200 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 1:1.9.1-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted alt-ergo 0.99.1+dfsg1-3 (source amd64) into unstable

Changed-By: Ralf Treinen trei...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification Closes: 786846 Changes: alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium . * debian/control: fix domain name in Vcs fields * explicitly set the build date

Accepted hevea 2.23-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 20 May 2015 21:05:13 +0200 Source: hevea Binary: hevea Architecture: source all Version: 2.23-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf

Accepted tuareg-mode 1:2.0.9-2 (source all) into unstable

Changed-By: Ralf Treinen trei...@debian.org Description: tuareg-mode - emacs-mode for ocaml programs Changes: tuareg-mode (1:2.0.9-2) unstable; urgency=low . * debian/control: fix url in Vcs fields. Checksums-Sha1: 9a888e633cda76960b41d4631517f12aab0353bd 2059 tuareg-mode_2.0.9-2.dsc

Accepted alt-ergo 0.99.1+dfsg1-2 (source amd64) into unstable

Changed-By: Ralf Treinen trei...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.99.1+dfsg1-2) unstable; urgency=low . * upload to unstable. Checksums-Sha1: c52fa96c15e18ded0dd498bb2bbccb73d7e5825b 2225 alt-ergo_0.99.1+dfsg1-2

Accepted tuareg-mode 1:2.0.9-1 (source all) into experimental

Changed-By: Ralf Treinen trei...@debian.org Description: tuareg-mode - emacs-mode for ocaml programs Closes: 780805 Changes: tuareg-mode (1:2.0.9-1) experimental; urgency=medium . * New upstream release. This release fixes a bad interaction with show-paren-mode (closes: #780805

Accepted yap 6.2.2-4 (source amd64) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 15 Mar 2015 10:52:48 +0100 Source: yap Binary: yap Architecture: source amd64 Version: 6.2.2-4 Distribution: experimental Urgency: medium Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted yap 6.2.2-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 25 Feb 2015 16:52:36 +0100 Source: yap Binary: yap Architecture: source amd64 Version: 6.2.2-3 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted alt-ergo 0.99.1+dfsg1-1 (source amd64) into experimental

...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.99.1+dfsg1-1) experimental; urgency=medium . * New upstream version. * debian/copyright: add Files-Excluded: non-free * debian/watch

Accepted dose3 3.3-1 (source amd64 all) into experimental

Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted dose3 3.3~beta1-2 (source amd64 all) into experimental

: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted dose3 3.3~beta1-1 (source amd64 all) into unstable

: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted libast 0.7-7 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 13 Oct 2014 20:49:15 +0200 Source: libast Binary: libast2 libast2-dev Architecture: source amd64 Version: 0.7-7 Distribution: unstable Urgency: medium Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf Treinen

Accepted mathpartir 1.2.0-4 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 11 Oct 2014 22:00:50 +0200 Source: mathpartir Binary: mathpartir Architecture: source all Version: 1.2.0-4 Distribution: unstable Urgency: low Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei

Accepted hevea 2.18-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 05 Oct 2014 20:53:22 +0200 Source: hevea Binary: hevea Architecture: source all Version: 2.18-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf

Accepted hevea-doc 2.18-1 (source all) into unstable

-By: Ralf Treinen trei...@debian.org Description: hevea-doc - HeVeA documentation Changes: hevea-doc (2.18-1) unstable; urgency=low . * New upstream version. Checksums-Sha1: fbd13dafa48739ace23529ee3ccb525755db1c05 1990 hevea-doc_2.18-1.dsc ea66900f988197d9fecd6f973cbf6351a946b3f0 497617 hevea

Accepted xplc 0.3.13-5 (source amd64) into unstable

Changed-By: Ralf Treinen trei...@debian.org Description: libxplc0.3.13 - Light weight component system libxplc0.3.13-dev - Light weight component system (Development libraries and headers) uuidcdef - Universally Unique Identifier (UUID) generator Closes: 759439 Changes: xplc (0.3.13-5) unstable

Accepted bhl 1.7.3-3 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 19 Sep 2014 19:15:32 +0200 Source: bhl Binary: bhl Architecture: source all Version: 1.7.3-3 Distribution: unstable Urgency: medium Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted snappea 3.0d3-23 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 19 Sep 2014 20:24:57 +0200 Source: snappea Binary: snappea snappea-dev Architecture: source amd64 Version: 3.0d3-23 Distribution: unstable Urgency: medium Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf

Accepted heroes 0.21-10 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 19 Sep 2014 20:42:39 +0200 Source: heroes Binary: heroes-common heroes-sdl Architecture: source amd64 Version: 0.21-10 Distribution: unstable Urgency: medium Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf

Accepted dose3 3.2.2-3 (source amd64 all) into unstable

Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted zshdb 0.05+git20101031-3 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 10 Sep 2014 22:25:53 +0200 Source: zshdb Binary: zshdb Architecture: source all Version: 0.05+git20101031-3 Distribution: unstable Urgency: medium Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf Treinen

Accepted pidgin-audacious 2.0.0-4 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 03 Sep 2014 21:55:39 +0200 Source: pidgin-audacious Binary: pidgin-audacious Architecture: source amd64 Version: 2.0.0-4 Distribution: unstable Urgency: low Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf

Accepted findimagedupes 2.18-6 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: findimagedupes - Finds visually similar or duplicate images Closes: 758247 Changes: findimagedupes (2.18-6) unstable; urgency=medium . * Team upload. * Applied patch new-inline to handle versions of Inline = 0.67

Accepted mona 1.4-15-1 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: mona - theorem prover based on automata Changes: mona (1.4-15-1) unstable; urgency=medium . * new upstream release * add debian/watch * dh compatibility level 9 * standards-version 3.9.5: - migrate debian/copyright

Accepted dose3 3.2.2-2 (source amd64 all)

Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen r...@seneca.home.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted tuareg-mode 1:2.0.7-1 (source all)

Changed-By: Ralf Treinen trei...@debian.org Description: tuareg-mode - emacs-mode for ocaml programs Closes: 207471 617407 754032 Changes: tuareg-mode (1:2.0.7-1) unstable; urgency=low . [ Sylvain Le Gall] * Remove Sylvain Le Gall from uploaders . [ Ralf Treinen ] * New upstream release

Accepted hevea 2.16-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 08 Jul 2014 20:59:21 +0200 Source: hevea Binary: hevea Architecture: source all Version: 2.16-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf

Accepted bibtex2html 1.98-1 (source all)

Changed-By: Ralf Treinen trei...@debian.org Description: bibtex2html - filters BibTeX files and translates them to HTML Changes: bibtex2html (1.98-1) unstable; urgency=medium . * New upstream version. * Refreshed patches: charset, path-expand-styles * Update patch charset: we also have to link

Accepted aspcud 1:1.9.0-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 21 Jun 2014 11:00:37 +0200 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 1:1.9.0-2 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei

Accepted hevea-doc 2.16-1 (source all)

-By: Ralf Treinen trei...@debian.org Description: hevea-doc - HeVeA documentation Changes: hevea-doc (2.16-1) unstable; urgency=medium . * New upstream version. Checksums-Sha1: c4dc9af9c6ee1e4080162b4fb26725abf51edb8a 1990 hevea-doc_2.16-1.dsc 003d759f2bbc5758dc0f55c61c15f631e7bf1abb 497593

Accepted hevea 2.16-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 19 Jun 2014 20:33:14 +0200 Source: hevea Binary: hevea Architecture: source all Version: 2.16-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf

Accepted dose3 3.2.2-1 (source amd64)

Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages

Accepted garmin-plugin 0.3.23-1 (source amd64)

...@lists.alioth.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: garmin-plugin - browser plugin for communication with the fitness websites Changes: garmin-plugin (0.3.23-1) unstable; urgency=low . * New upstream release * Standards-Version 3.9.5 (no change) Checksums-Sha1

Accepted dose3 3.2~rc3-1 (source amd64)

Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies

Accepted dose3 3.2~rc2-1 (source amd64)

Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies

Accepted why 2.34-1 (source amd64 all)

...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: libwhy-coq - Why library for Coq why- Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.34-1) unstable; urgency=low . * New upstream release. * Drop deprecated patches

Accepted dose3 3.2~rc1-1 (source amd64)

Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies

Accepted aspcud 1:1.9.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 05 Mar 2014 21:41:02 +0100 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 1:1.9.0-1 Distribution: experimental Urgency: low Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei

Accepted aspcud 1:1.8.0-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 26 Feb 2014 21:07:49 +0100 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 1:1.8.0-3 Distribution: unstable Urgency: low Maintainer: Ralf Treinen trei...@debian.org Changed-By: Ralf Treinen trei...@debian.org

Accepted why 2.33-2 (source amd64 all)

...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: libwhy-coq - Why library for Coq why- Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.33-2) unstable; urgency=low . * fixed typo in debian/tests/control (dependency

Accepted why 2.33-1 (source amd64 all)

...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: libwhy-coq - Why library for Coq why- Software verification tool why-examples - Examples of programs certified with Why Closes: 707585 730526 Changes: why (2.33-1) unstable; urgency=low . * New upstream release

Accepted mikmatch 1.0.6-4 (source amd64)

...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: libmikmatch-ocaml - camlp4 extension for pattern matching with regexps - runtime libmikmatch-ocaml-dev - camlp4 extension for pattern matching with regexps - development Closes: 738386 Changes: mikmatch (1.0.6-4

Accepted mlpost 0.8.1-6 (source amd64 all)

-ocaml-ma...@lists.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: libmlpost-ocaml-dev - OCaml interface to Metapost (library) libmlpost-ocaml-doc - Objective Caml interface to Metapost (doc) mlpost - OCaml interface to Metapost (command-line tool) Closes: 738389 Changes

Accepted audit 1:2.3.3-4 (source amd64 all)

Urgency: low Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: audispd-plugins - Plugins for the audit event dispatcher auditd - User space tools for security auditing libaudit-common - Dynamic library for security auditing - common

Accepted audit 1:2.3.3-3 (source amd64 all)

Urgency: low Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: audispd-plugins - Plugins for the audit event dispatcher auditd - User space tools for security auditing libaudit-common - Dynamic library for security auditing - common

Accepted audit 1:2.3.3-2 (source amd64 all)

Urgency: low Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Ralf Treinen trei...@debian.org Description: audispd-plugins - Plugins for the audit event dispatcher auditd - User space tools for security auditing libaudit-common - Dynamic library for security auditing - common

<    1   2   3   4   5   6   7   8   9   10   >