Accepted planets 0.1.13-19 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: planets- Gravitation simulation of planetary bodies Closes: 898173 Changes: planets (0.1.13-19) unstable; urgency=medium . * Make package arch=any (closes: #898173) * Standards-Version 4.1.4 (no change) * d/copyright: use htt

Accepted gringo 5.2.2-6 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: gringo - grounding tools for (disjunctive) logic programs Closes: 896791 Changes: gringo (5.2.2-6) unstable; urgency=medium . * Team upload * Added build-dependency python3-distutils in order to fix FTBFS. Thanks

Accepted dose3 5.0.1-10 (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 why3 0.88.3-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 ppx-deriving-yojson 3.1-1 (source amd64) into unstable, unstable

aml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libppx-deriving-yojson-ocaml-dev - OCaml syntax extension for JSON serialization Closes: 864335 Changes: ppx-deriving-yojson (3.1-1) unstable; urgency=low . * Initial upload (closes: #864335) Ch

Accepted bibtex2html 1.99-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: bibtex2html - filters BibTeX files and translates them to HTML Changes: bibtex2html (1.99-1) unstable; urgency=medium . * New upstream version. - refreshed patches charset and test-byte * Advance build-dependency on ocam

Accepted ocamlweb 1.40-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: ocamlweb - Literate programming tool for Objective Caml Changes: ocamlweb (1.40-1) unstable; urgency=medium . * New upstream version. - refreshed patch reproducible. - updated names of files in ocamlweb.doc-base * Stand

Accepted ocaml-visitors 20180306-1 (source) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Changes: ocaml-visito

Accepted ppx-deriving 4.2.1-1 (source) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libppx-deriving-ocaml - type-driven code generation for OCaml (runtime files) libppx-deriving-ocaml-dev - type-driven code generation for OCaml (dev files) Changes: ppx-deriving (4.2.1-1) unsta

Accepted lablgl 1:1.05-3 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: liblablgl-ocaml - Runtime libraries for lablgl liblablgl-ocaml-dev - OpenGL interface for Objective Caml Closes: 892990 Changes: lablgl (1:1.05-3) unstable; urgency=medium . * Switch to the default Tcl/Tk vers

Accepted mccs 1:1.1-7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 07 Mar 2018 20:54:08 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-7 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted ppx-derivers 1.2-1 (source amd64) into unstable, unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libppx-derivers-ocaml-dev - interoperability of ppx-deriving and ppx-type-conv Closes: 878803 Changes: ppx-derivers (1.2-1) unstable; urgency=medium . * Initial package (closes: #878803) Ch

Accepted planets 0.1.13-18 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: planets- Gravitation simulation of planetary bodies Changes: planets (0.1.13-18) unstable; urgency=medium . * Depends: use ${ocaml:Depends}, drop static dependency entries * debian/rules: use dh --with ocaml * Build-

Accepted why3 0.88.3-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 menhir 20171222-1 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Changes: menhir (20171222-1) unstable; urgency=medium

Accepted alt-ergo 1.30+dfsg1-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Closes: 882162 883755 Changes: alt-ergo (1.30+dfsg1-1) unstable; urgency=medium . * Repack source to exclude the non-free/ directory (closes: #883755). *

Accepted menhir 20171206-1 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Changes: menhir (20171206-1) unstable; urgency=medium

Accepted why3 0.88.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 menhir 20171013-1 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Changes: menhir (20171013-1) unstable; urgency=medium

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

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: tuareg-mode - emacs-mode for OCaml programs Changes: tuareg-mode (1:2.1.0-1) unstable; urgency=medium . * New upstream version - refresh patch ocaml-path - drop patch opam, issue is resolved by upstream * debian/gb

Accepted ocplib-simplex 0.4-1 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: ocplib-simplex-ocaml-dev - simplex library for solving linear inequalities Changes: ocplib-simplex (0.4-1) unstable; urgency=medium . * New upstream version. - dropped patch install-target which has bee

Accepted enscribe 0.1.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 14 Nov 2017 21:05:08 +0100 Source: enscribe Binary: enscribe Architecture: source Version: 0.1.0-3 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Ralf Treinen

Accepted bin-prot 113.33.03-3 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libbin-prot-ocaml - type-safe binary serialization for OCaml values (runtime) libbin-prot-ocaml-dev - type-safe binary serialization for OCaml values (dev files) Changes: bin-prot (113.33.03-3) unsta

Accepted mldonkey 3.1.6-1 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: mldonkey-gui - Graphical frontend for mldonkey based on GTK+ mldonkey-server - Door to the 'donkey' network Closes: 876735 880775 Changes: mldonkey (3.1.6-1) unstable; urgency=medium . * Team upload. *

Accepted lablgtkmathview 0.7.8-7 (source) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: liblablgtkmathview-ocaml - OCaml bindings for libgtkmathview (runtime) liblablgtkmathview-ocaml-dev - OCaml bindings for libgtkmathview, a GTK widget to render MathML Changes: lablgtkmat

Accepted ocaml-visitors 20170725-2 (source) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Closes: 880063 Cha

Accepted mathpartir 1.2.0-7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 24 Oct 2017 21:12:59 +0200 Source: mathpartir Binary: mathpartir Architecture: source Version: 1.2.0-7 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen

Accepted why 2.39-2 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Closes: 875569 Changes: why (2.39-2) unstable; urgency=medium . * update Architecture list (closes: #875569) - changes due to ocaml 4.05: -ar

Accepted cudf 0.8-3 (source) into experimental

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: cudf-tools - command line tools for package upgrade problem descriptions libcudf-dev - C library to access descriptions of package upgrade problems libcudf-ocaml-dev - OCaml library to access description

Accepted cudf 0.8-2 (source) into experimental

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: cudf-tools - command line tools for package upgrade problem descriptions libcudf-dev - C library to access descriptions of package upgrade problems libcudf-ocaml-dev - OCaml library to access description

Accepted planets 0.1.13-17 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: planets- Gravitation simulation of planetary bodies Changes: planets (0.1.13-17) unstable; urgency=medium . * debhelper compat level 10 * Standards-version 4.1.0: - remove debian/menu since there is an upstream

Accepted ocamlify 0.0.2-5 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: ocamlify - include files in OCaml code Changes: ocamlify (0.0.2-5) unstable; urgency=medium . * debhelper compat level 10 - d/rules: fix order of arguments in invocation of dh * d/copyright: machine-readable format 1.0

Accepted aspcud 1:1.9.4-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 24 Sep 2017 12:39:48 +0200 Source: aspcud Binary: aspcud Architecture: source Version: 1:1.9.4-1 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted headache 1.03-27 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: headache - Tool to manage license notes of source files Changes: headache (1.03-27) unstable; urgency=medium . * Standards-Version 4.1.0 - debian/copyright: use https in url of copyright format * Drop obsolete version constra

Accepted bibtex2html 1.98-6 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: bibtex2html - filters BibTeX files and translates them to HTML Changes: bibtex2html (1.98-6) unstable; urgency=medium . * Standards-Version 4.1.0 (no change) * Drop obsolete version constraint on build-dependency dh-ocaml Ch

Accepted hevea 2.30-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 20 Sep 2017 21:12:51 +0200 Source: hevea Binary: hevea Architecture: source Version: 2.30-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By

Accepted ocaml-tools 20120103-5 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: ocaml-tools - tools for OCaml developers Changes: ocaml-tools (20120103-5) unstable; urgency=medium . * DH compat level 10 * Drop obsolete version constraint on build-dependency dh-ocaml * Standards-version 4.1.0: -

Accepted ocamlweb 1.39-6 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: ocamlweb - Literate programming tool for Objective Caml Changes: ocamlweb (1.39-6) unstable; urgency=medium . * Standards-Version 4.1.0 (no change) * Drop obsolete version constraint on build-dependency dh-ocaml Ch

Accepted ocamlwc 0.3-14 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 19 Sep 2017 21:32:42 +0200 Source: ocamlwc Binary: ocamlwc Architecture: source Version: 0.3-14 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By

Accepted hlins 0.39-23 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 19 Sep 2017 21:22:09 +0200 Source: hlins Binary: hlins Architecture: source Version: 0.39-23 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 10 Sep 2017 20:06:13 +0200 Source: aspcud Binary: aspcud Architecture: source Version: 1:1.9.1-3 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted why 2.39-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Closes: 872281 Changes: why (2.39-1) unstable; urgency=medium . * New upstream version (closes: #872281) * Bumped build-dependency on

Accepted menhir 20170712-1 (source amd64 all) into unstable, unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Closes: 484497 Changes: menhir (20170712

Accepted ocaml-visitors 20170725-1 (source) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Closes: 869207 Cha

Accepted ocaml-visitors 20170404-1 (source amd64 all) into unstable, unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Closes: 86

Accepted dose3 5.0.1-9 (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 menhir 20170607.dfsg-3 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20170607.dfsg-3) unstable; urgency=medium . * as-installed tests: add dependency ocaml-findlib Ch

Accepted cairo-ocaml 1:1.2.0-6 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libcairo-ocaml - OCaml bindings for Cairo (runtime) libcairo-ocaml-dev - OCaml bindings for Cairo Closes: 865152 Changes: cairo-ocaml (1:1.2.0-6) unstable; urgency=medium . * Team upload. * Change Buil

Accepted menhir 20170607.dfsg-2 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20170607.dfsg-2) unstable; urgency=medium . * Standards-Version 4.0.0 - https form of the copyrigh

Accepted menhir 20170607.dfsg-1 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20170607.dfsg-1) unstable; urgency=medium . * New upstream: - refresh patch 0002-Pass-byte-plugin-t

Accepted why 2.38-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Closes: 858366 Changes: why (2.38-1) unstable; urgency=medium . * New upstream version (closes: #858366) - refreshed patches bprintf, edge

Accepted minisat+ 1.0-4 (source) into unstable

ain...@lists.alioth.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: minisat+ - solver for pseudo-Boolean constraints Changes: minisat+ (1.0-4) unstable; urgency=medium . * debian/tests/control: add Depends: @ for test "upstream". Checksums-Sha1: 468dafd387bb5fcc9f38d38

Accepted mccs 1:1.1-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 19 Feb 2017 11:58:39 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-6 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted mccs 1:1.1-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 05 Feb 2017 10:24:10 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-5 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted ocamlmakefile 6.37.0-3 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: ocamlmakefile - general makefile for the Objective Caml programming language Changes: ocamlmakefile (6.37.0-3) unstable; urgency=medium . [Remi Vanicat] * Removing myself (Rémi Vanicat) from uploaders . [

Accepted advi 1.10.2-3 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: advi - active DVI previewer and presenter advi-examples - example presentations for Active-DVI (advi) Closes: 583994 834137 Changes: advi (1.10.2-3) unstable; urgency=low . [Rémi Vanicat] * removing myself from uploaders

Accepted why3 0.87.3-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 dose3 5.0.1-8 (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 why3 0.87.3-1 (source) into experimental

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.2-3 (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 why 2.36-5 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Changes: why (2.36-5) unstable; urgency=medium . * debian/rules: set FRAMADIR Checksums-Sha1: 9b2c523027a6dd5bcbb0817531ca3a028275010d 2264 wh

Accepted why 2.36-4 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Changes: why (2.36-4) unstable; urgency=medium . * package tests: use /tmp when $ADT_ARTEFACTS is not set. * debian/rules: use $FRAMAVER v

Accepted packup 0.6-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 20 Dec 2016 09:19:02 +0100 Source: packup Binary: packup Architecture: source Version: 0.6-3 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted minisat+ 1.0-3 (source) into unstable

ain...@lists.alioth.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: minisat+ - solver for pseudo-Boolean constraints Changes: minisat+ (1.0-3) unstable; urgency=medium . * debian/copyright: machine-readable format 1.0 * Standards-version 3.9.8 (no change) * Debhelper compatibil

Accepted why 2.36-3 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Closes: 844777 Changes: why (2.36-3) unstable; urgency=medium . * drop build-dependency on liblablgtk2-ocaml-dev * stop using libapron

Accepted ledit 2.03-5 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: ledit - line editor for interactive programs libledit-ocaml-dev - OCaml line editor library Changes: ledit (2.03-5) unstable; urgency=medium . * Standards-Version 3.9.8 (no change) * Debhelper compatibil

Accepted hlins 0.39-22 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 16 Dec 2016 08:51:42 +0100 Source: hlins Binary: hlins Architecture: source Version: 0.39-22 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By

Accepted ocamlweb 1.39-5 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: ocamlweb - Literate programming tool for Objective Caml Changes: ocamlweb (1.39-5) unstable; urgency=medium . * Fix value of Vcs-Git Checksums-Sha1: 81cd9e5329a81726743f5e371a79b3bdeb769a3c 2145 ocamlwe

Accepted gmanedit 0.4.2-7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 13 Dec 2016 22:18:05 +0100 Source: gmanedit Binary: gmanedit Architecture: source Version: 0.4.2-7 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted mathpartir 1.2.0-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 13 Dec 2016 07:25:15 +0100 Source: mathpartir Binary: mathpartir Architecture: source Version: 1.2.0-6 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen

Accepted alt-ergo 1.30-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (1.30-1) unstable; urgency=medium . * new upstream version: - refreshed patch 0001-dont-activate-debug-flags - refreshed patch 0002-non-

Accepted mysql-ocaml 1.2.0-3 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libmysql-ocaml - OCaml bindings for MySql (runtime package) libmysql-ocaml-dev - OCaml bindings for MySql (development package) Closes: 845878 Changes: mysql-ocaml (1.2.0-3) unstable; urgency=medium . *

Accepted ocamlweb 1.39-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 10 Dec 2016 15:42:31 +0100 Source: ocamlweb Binary: ocamlweb Architecture: source Version: 1.39-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By

Accepted ocamlwc 0.3-13 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 10 Dec 2016 09:17:55 +0100 Source: ocamlwc Binary: ocamlwc Architecture: source Version: 0.3-13 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By

Accepted cmigrep 1.5-14 (source) into unstable

: Ralf Treinen <trei...@debian.org> Description: cmigrep- search in OCaml compiled interface files Changes: cmigrep (1.5-14) unstable; urgency=low . [ Mehdi Dogguy ] * Remove watch file . [Rémi Vanicat] * Remove myself from uploaders . [ Ralf Treinen ] * Update Vcs-

Accepted aribas 1.64-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 09 Dec 2016 19:06:43 +0100 Source: aribas Binary: aribas Architecture: source Version: 1.64-6 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted ocplib-simplex 0.3-1 (source amd64) into unstable, unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: ocplib-simplex-ocaml-dev - simplex library for solving linear inequalities Closes: 845587 Changes: ocplib-simplex (0.3-1) unstable; urgency=medium . * initial upload (closes: #845587) Ch

Accepted lbt 1.2.2-6 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: lbt- converts from LTL formulas to Büchi automata Changes: lbt (1.2.2-6) unstable; urgency=medium . * added debian/watch * debian/copyright: convert to machine-readable format 1.0 * install docs in /usr/sh

Accepted xdemineur 2.1.1-19 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 05 Dec 2016 19:31:09 +0100 Source: xdemineur Binary: xdemineur Architecture: source amd64 Version: 2.1.1-19 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen

Accepted mccs 1:1.1-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 01 Dec 2016 22:49:28 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-4 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <trei...@debian.org> Changed-By: Ralf Treinen <trei...@d

Accepted dose3 5.0.1-7 (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 wmii 3.10~20120413+hg2813-11 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 06 Nov 2016 17:53:14 +0100 Source: wmii Binary: wmii Architecture: source Version: 3.10~20120413+hg2813-11 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Ralf T

Accepted autoproject 0.20-9 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 05 Nov 2016 19:39:46 +0100 Source: autoproject Binary: autoproject Architecture: source Version: 0.20-9 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Ralf Treinen

Accepted bibtex2html 1.98-5 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: bibtex2html - filters BibTeX files and translates them to HTML Changes: bibtex2html (1.98-5) unstable; urgency=medium . * debhelper compatibility level 10: - bump build-dependency on debhelper - bump value in debian/comp

Accepted dose3 5.0.1-6 (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.1-5 (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 - Checks whether

Accepted dose3 5.0.1-4 (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.1-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 camlbz2 0.6.0-7 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libbz2-ocaml - OCaml bindings for the bzip2 compression library libbz2-ocaml-dev - OCaml bindings for the bzip2 compression library Changes: camlbz2 (0.6.0-7) unstable; urgency=low . [ Stéphane Glondu ] * Switch so

Accepted camlzip 1.06-2 (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-2) unstable; urgency=medium . * debhelper compatibility leve

Accepted headache 1.03-26 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: headache - Tool to manage license notes of source files Changes: headache (1.03-26) unstable; urgency=medium . * Standards-Version 3.9.8 (no change) * Debhelper compat-level 10 * Update Vcs-{Git,Browser} Ch

Accepted extlib 1.7.0-3 (source) into unstable

-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libextlib-ocaml - extended standard library for OCaml (plugins) libextlib-ocaml-dev - extended standard library for OCaml Changes: extlib (1.7.0-3) unstable; urgency=medium . [ Johannes Schauer ] * Team up

Accepted ocamldsort 0.16.0-3 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: ocamldsort - dependency sorter for OCaml source files Changes: ocamldsort (0.16.0-3) unstable; urgency=low . * debian/control: updated homepage * Standards-Version 3.9.8 (no change) * debhelper compat level 10 * update Vcs-

Accepted spass 3.7-4 (source) into unstable

org> Changed-By: Ralf Treinen <trei...@debian.org> Description: spass - automated theorem prover for first-order logic with equality Closes: 812755 Changes: spass (3.7-4) unstable; urgency=medium . * Set maintainer to debian-science with me as uploader (closes: #812755) * Add Vcs-

Accepted dose3 5.0.1-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 why 2.36-2 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Changes: why (2.36-2) unstable; urgency=medium . * dh invocation: use --no-parallel to fix FTBFS issues * jessie manpage: fix synopsis Ch

Accepted why 2.36-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why- Software verification tool for C and Java Closes: 440469 807051 815684 Changes: why (2.36-1) unstable; urgency=medium . * New upstream release. This version compiles with coq 8.5

Accepted hevea-doc 2.29-2 (source all) into unstable, unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: hevea-doc - HeVeA documentation Changes: hevea-doc (2.29-2) unstable; urgency=medium . * upload to unstable with binary package Checksums-Sha1: d6aac3c4c1442ba2f9e015f6a0265b6a7e3c6aa8 1950 hevea-do

Accepted hevea-doc 2.29-1 (source) into unstable

hanged-By: Ralf Treinen <trei...@debian.org> Description: hevea-doc - HeVeA documentation Changes: hevea-doc (2.29-1) unstable; urgency=medium . [Rémi Vanicat] * removed Rémi Vanicat from uploaders. . [Ralf Treinen] * new upstream release * Standards-Version 3.9.8 (no change)

Accepted hevea 2.29-1 (source) into unstable

: Ralf Treinen <trei...@debian.org> Description: hevea - translates from LaTeX to HTML, info, or text Changes: hevea (2.29-1) unstable; urgency=medium . [Rémi Vanicat] * removed Rémi Vanicat from uploaders. . [Ralf Treinen] * new upstream release * d/control: dropped

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