Accepted ocaml-fileutils 0.5.3-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 31 Jul 2019 17:11:06 +0200 Source: ocaml-fileutils Architecture: source Version: 0.5.3-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-fileutils

Accepted alt-ergo 2.0.0-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 31 Jul 2019 11:08:36 +0200 Source: alt-ergo Architecture: source Version: 2.0.0-4 Distribution: unstable Urgency: high Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: alt-ergo (2.0.0-4) unstable

Accepted ben 0.8.3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 30 Jul 2019 17:04:37 +0200 Source: ben Architecture: source Version: 0.8.3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Closes: 841720 870319 907959 Changes: ben

Accepted ocaml 4.08.0-3 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 30 Jul 2019 13:27:15 +0200 Source: ocaml Architecture: source Version: 4.08.0-3 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml (4.08.0-3

Accepted ledit 2.04-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2019 14:04:37 +0200 Source: ledit Architecture: source Version: 2.04-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ledit (2.04-3) unstable; urgency

Accepted cryptgps 0.2.1-10 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2019 13:11:29 +0200 Source: cryptgps Architecture: source Version: 0.2.1-10 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: cryptgps (0.2.1-10

Accepted ulex0.8 0.8-11 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2019 09:23:59 +0200 Source: ulex0.8 Architecture: source Version: 0.8-11 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ulex0.8 (0.8-11) unstable

Accepted ledit 2.04-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2019 08:48:00 +0200 Source: ledit Architecture: source Version: 2.04-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ledit (2.04-2) unstable; urgency

Accepted camlp5 7.07-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 25 Jul 2019 16:58:01 +0200 Source: camlp5 Architecture: source Version: 7.07-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: camlp5 (7.07-1) unstable

Accepted ocaml-inifiles 1.2-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 25 Jul 2019 11:51:49 +0200 Source: ocaml-inifiles Architecture: source Version: 1.2-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-inifiles (1.2-4

Accepted nss-passwords 0.3-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 25 Jul 2019 11:17:03 +0200 Source: nss-passwords Architecture: source Version: 0.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: nss-passwords (0.3-1

Accepted camlbz2 0.6.0-9 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Jul 2019 12:54:01 +0200 Source: camlbz2 Architecture: source Version: 0.6.0-9 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: camlbz2 (0.6.0-9) unstable

Accepted belenios 1.9+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Jul 2019 11:11:21 +0200 Source: belenios Architecture: source Version: 1.9+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: belenios (1.9+dfsg-1

Accepted ocaml 4.08.0-2 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Jul 2019 10:53:51 +0200 Source: ocaml Architecture: source Version: 4.08.0-2 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml (4.08.0-2

Accepted cmdliner 1.0.4-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 23 Jul 2019 15:30:31 +0200 Source: cmdliner Architecture: source Version: 1.0.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: cmdliner (1.0.4-1) unstable

Accepted ocaml 4.08.0-1 (source amd64 all) into experimental, experimental

amd64 all Version: 4.08.0-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode executables ocaml-base

Accepted ocaml-result 1.4-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 23 Jul 2019 10:26:11 +0200 Source: ocaml-result Architecture: source Version: 1.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-result (1.4-1

Accepted camlidl 1.05-16 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 18 Jul 2019 14:17:16 +0200 Source: camlidl Architecture: source Version: 1.05-16 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: camlidl (1.05-16) unstable

Accepted calendar 2.04-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 17 Jul 2019 17:24:45 +0200 Source: calendar Architecture: source Version: 2.04-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Closes: 932302 Changes: calendar (2.04

Accepted camlbz2 0.6.0-8 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 17 Jul 2019 13:11:27 +0200 Source: camlbz2 Architecture: source Version: 0.6.0-8 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: camlbz2 (0.6.0-8) unstable

Accepted calendar 2.04-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 16 Jul 2019 10:26:37 +0200 Source: calendar Architecture: source Version: 2.04-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: calendar (2.04-2) unstable

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 16 Jul 2019 09:56:00 +0200 Source: cairo-ocaml Architecture: source Version: 1:1.2.0-7 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: cairo-ocaml (1:1.2.0-7

Accepted ahcpd 0.53-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 15 Jul 2019 15:14:13 +0200 Source: ahcpd Architecture: source Version: 0.53-3 Distribution: unstable Urgency: medium Maintainer: Stéphane Glondu Changed-By: Stéphane Glondu Closes: 763180 Changes: ahcpd (0.53-3) unstable

Accepted lablgtk2 2.18.5+dfsg-3 (source amd64 all) into unstable

Changed-By: Stéphane Glondu Description: liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings to GtkGL liblablgtk2-gl-ocaml-dev - OCaml bindings to GtkGL liblablgtk2-gnome-ocaml - runtime libraries for OCaml bindings to GNOME liblablgtk2-gnome-ocaml-dev - OCaml bindings to GNOME

Accepted belenios 1.8+dfsg-1 (source amd64) into unstable

-By: Stéphane Glondu Description: belenios-tool - verifiable voting system (command-line tool) Changes: belenios (1.8+dfsg-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 16b7e096f6a45e46923d1c029ebd05ff9874c6ee 1882 belenios_1.8+dfsg-1.dsc

Accepted ocaml 4.05.0-11 (source amd64 all) into unstable

: source amd64 all Version: 4.05.0-11 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode executables ocaml-base-nox

Accepted dune 1.6.2-2 (source amd64 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 18 Jan 2019 17:50:45 +0100 Source: dune Binary: dune libdune-ocaml-dev jbuilder Architecture: source amd64 all Version: 1.6.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane

Accepted belenios 1.7.1+dfsg-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 10 Jan 2019 11:32:35 +0100 Source: belenios Binary: belenios-tool Architecture: source amd64 Version: 1.7.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu

Accepted ocaml-atd 2.0.0-3 (source amd64) into unstable

Maintainers Changed-By: Stéphane Glondu Description: libatd-ocaml - syntax for cross-language data types in OCaml - plugins libatd-ocaml-dev - syntax for cross-language data types in OCaml - development files libatdgen-ocaml - OCaml code generator for biniou and JSON - plugins libatdgen

Accepted dune 1.6.2-1 (source amd64 all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 08 Dec 2018 15:27:49 +0100 Source: dune Binary: dune libdune-ocaml-dev jbuilder Architecture: source amd64 all Version: 1.6.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane

Accepted ocaml-atd 2.0.0-2 (source i386) into unstable

Maintainers Changed-By: Stéphane Glondu Description: libatd-ocaml - syntax for cross-language data types in OCaml - plugins libatd-ocaml-dev - syntax for cross-language data types in OCaml - development files libatdgen-ocaml - OCaml code generator for biniou and JSON - plugins libatdgen-ocaml

Accepted frama-c 20171101+sulfur+dfsg-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 12 Nov 2018 11:44:42 +0100 Source: frama-c Binary: frama-c-base Architecture: source amd64 Version: 20171101+sulfur+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane

Accepted jsonm 1.0.1-2 (source amd64 all) into unstable

Changed-By: Stéphane Glondu Description: libjsonm-ocaml - Non-blocking streaming JSON codec for OCaml (plugins) libjsonm-ocaml-dev - Non-blocking streaming JSON codec for OCaml libjsonm-ocaml-doc - Non-blocking streaming JSON codec for OCaml (documentation) Closes: 911406 Changes: jsonm

Accepted lablgtk2 2.18.5+dfsg-2 (source amd64 all) into unstable

: source amd64 all Version: 2.18.5+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Description: liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings to GtkGL liblablgtk2-gl-ocaml-dev - OCaml bindings to GtkGL liblablgtk2

Accepted ocaml-atd 2.0.0-1 (source amd64) into unstable

Maintainers Changed-By: Stéphane Glondu Description: libatd-ocaml - syntax for cross-language data types in OCaml - plugins libatd-ocaml-dev - syntax for cross-language data types in OCaml - development files libatdgen-ocaml - OCaml code generator for biniou and JSON - plugins libatdgen

Accepted belenios 1.6+dfsg-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 13 Jun 2018 15:36:06 +0200 Source: belenios Binary: belenios-tool Architecture: source amd64 Version: 1.6+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu

Accepted unison 2.48.4-1 (source amd64) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: unison - file-synchronization tool for Unix and Windows unison-gtk - file-synchronization tool for Unix and Windows with GTK+ interfac Closes: 878462 Changes: unison (2.48.4-1) unstable; urgency=medium . * New upst

Accepted lwt 2.7.1-4 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liblwt-glib-ocaml - cooperative GLib bindings for OCaml (runtime) liblwt-glib-ocaml-dev - cooperative GLib bindin

Accepted lwt 2.7.1-3 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liblwt-glib-ocaml - cooperative GLib bindings for OCaml (runtime) liblwt-glib-ocaml-dev - cooperative GLib bindin

Accepted jbuilder 1.0~beta14-1 (source amd64) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: jbuilder - composable build system for OCaml projects Changes: jbuilder (1.0~beta14-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: d44ac989d8d6145c1157976f51361f016d1675f0 2023 jbuilder_1.0~

Accepted lwt 2.7.1-2 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liblwt-glib-ocaml - cooperative GLib bindings for OCaml (runtime) liblwt-glib-ocaml-dev - cooperative GLib bindin

Accepted lwt 2.7.1-1 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liblwt-glib-ocaml - cooperative GLib bindings for OCaml (runtime) liblwt-glib-ocaml-dev - cooperative GLib bindin

Accepted ssreflect 1.6.1-3 (source all amd64) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev - small scal

Accepted xstrp4 1.8.1-4 (source all) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libxstrp4-camlp4-dev - camlp4 extension that expands brace expansions in OCaml string Changes: xstrp4 (1.8.1-4) unstable; urgency=medium . * Team upload * Recompile with OCaml 4.05.0 Ch

Accepted aac-tactics 8.6.1-2 (source all amd64) into unstable

OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories) libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin) libaac-tactics-ocaml-dev -

Accepted coq 8.6-5 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-orde

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

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: ledit - line editor for interactive programs libledit-ocaml-dev - OCaml line editor library Changes: ledit (2.03-6) unstable; urgency=medium . * Recompile with OCaml 4.05.0 Ch

Accepted ocaml-zarith 1.5-1 (source amd64 all) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libzarith-ocaml - arithmetic and logical operations over arbitrary-precision intege libzarith-ocaml-dev - arithmetic and logical operations over arbitrary-precision intege lib

Accepted ppx-tools 5.0+4.05.0-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libppx-tools-ocaml-dev - tools for authors of OCaml syntactic tools Changes: ppx-tools (5.0+4.05.0-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: ec47c5bcd195578929ec24995e31fdc6d5420

Accepted tophide 1.0.4-1 (source all) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libtophide-ocaml-dev - hide values that start with '_' in OCaml toplevel Changes: tophide (1.0.4-1) unstable; urgency=medium . * Team upload * New upstream release - needs ocaml >= 4.04 * Update Vcs-*

Accepted labltk 8.06.2+dfsg-1 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: labltk - OCaml bindings to Tcl/Tk (executables) liblabltk-ocaml - OCaml bindings to Tcl/Tk (runtime libraries) liblabltk-ocaml-dev - OCaml bindings to Tcl/Tk (dev. libraries) Changes: la

Accepted jbuilder 1.0~beta11-1 (source amd64) into unstable, unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: jbuilder - composable build system for OCaml projects Closes: 870130 Changes: jbuilder (1.0~beta11-1) unstable; urgency=medium . * Initial release (Closes: #870130) Checksums-Sha1: 138a1f7ae768087f19f673dfc4a500b24

Accepted xstr 0.2.1-22 (source amd64) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libxstr-ocaml-dev - OCaml library for frequent string operations Closes: 869320 Changes: xstr (0.2.1-22) unstable; urgency=medium . [ Stéphane Glondu ] * Team upload * Switch debian/copyright to format 1.0

Accepted mlpcap 0.9-17 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libmlpcap-ocaml - binding of libpcap for OCaml (runtime package) libmlpcap-ocaml-dev - binding of libpcap for OCaml Closes: 869323 Changes: mlpcap (0.9-17) unstable; urgency=medium . [ Stéphane Glondu

Accepted camltemplate 1.0.2-2 (source amd64) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libcamltemplate-ocaml - configurable library for generating text from templates in OCaml libcamltemplate-ocaml-dev - configurable library for generating text from templates in OCaml Cl

Accepted pycaml 0.82-15 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libpycaml-ocaml - OCaml bindings to embed Python interpreter (runtime) libpycaml-ocaml-dev - OCaml bindings to embed Python interpreter (development files) Closes: 869325 Changes: pycaml (0.82-15) unstable;

Accepted gmetadom 0.2.6-7 (source amd64) into unstable

: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libgdome2-cpp-smart-dev - C++ bindings for GDome2 DOM implementation libgdome2-cpp-smart0v5 - C++ bindings for GDome2 DOM implementation libgdome2-ocaml - OC

Accepted ocaml-melt 1.4.0-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libmelt-ocaml-dev - LaTeX with OCaml (libraries) ocaml-melt - LaTeX with OCaml (tools) Changes: ocaml-melt (1.4.0-2) unstable; urgency=medium . * Add ocamlbuild to Build-Depends * Switch debian/copyrig

Accepted utop 1.19.3-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libutop-ocaml - improved OCaml toplevel (runtime library) libutop-ocaml-dev - improved OCaml toplevel (development tools) utop - improved OCaml toplevel Changes: utop (1.19.3-2) unstable; ur

Accepted pxp 1.2.9-1 (source amd64) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libpxp-ocaml-dev - OCaml library that implements an XML-1.0 validating parser Changes: pxp (1.2.9-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards-Version to 4.0.0 Ch

Accepted frama-c 20161101+silicon+dfsg-6 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Closes: 843020 Changes: frama-c (20161101+si

Accepted ocaml-usb 1.3.0-4 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libusb-ocaml - OCaml bindings to libusb-1.0 (runtime) libusb-ocaml-dev - OCaml bindings to libusb-1.0 Changes: ocaml-usb (1.3.0-4) unstable; urgency=medium . * Add ocamlbuild to Build-Depends

Accepted ocaml-sqlexpr 0.5.5-3 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libsqlexpr-ocaml - type-safe, convenient SQLite database access (runtime) libsqlexpr-ocaml-dev - type-safe, convenient SQLite database access (development) Changes: ocaml-sqlexpr (0.5.5-3) unsta

Accepted belenios 1.4+dfsg-2 (source amd64) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: belenios-tool - verifiable voting system (command-line tool) Changes: belenios (1.4+dfsg-2) unstable; urgency=medium . * Add ocamlbuild to Build-Depends Checksums-Sha1: 92e832f9cf6e62d29e7df0cdac102086d62ce396 2272

Accepted obus 1.1.5-6 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libobus-ocaml - pure OCaml implementation of D-Bus (runtime) libobus-ocaml-bin - pure OCaml implementation of D-Bus (command-line tools) libobus-ocaml-dev - pure OCaml implementation of D-Bus

Accepted lambda-term 1.10.1-2 (source amd64) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liblambda-term-ocaml - terminal manipulation library for OCaml (runtime) liblambda-term-ocaml-dev - terminal manipulation library for OCaml (development tools) Changes: lambda-term (1.10.1

Accepted ocamlagrep 1.0-12 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libagrep-ocaml - Wu-Manber algorithm for string searching with errors libagrep-ocaml-dev - Wu-Manber algorithm for string searching with errors Closes: 869319 Changes: ocamlagrep (1.0-12) unstable;

Accepted cothreads 0.10-4 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libcothreads-ocaml-dev - concurrent programming library for OCaml Closes: 869317 Changes: cothreads (0.10-4) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Switch source package format to 3.0 (quil

Accepted ocaml-inotify 1.0-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libinotify-ocaml - OCaml bindings for the inotify API libinotify-ocaml-dev - OCaml bindings for the inotify API Closes: 869316 Changes: ocaml-inotify (1.0-2) unstable; urgency=low . [ Sté

Accepted spamoracle 1.4-15 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: spamoracle - statistical analysis spam filter based on Bayes' formula Closes: 599320 869315 Changes: spamoracle (1.4-15) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Update Vcs-* * Bump debhelper

Accepted ben 0.7.7 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: ben- toolbox for Debian maintainers libben-ocaml - OCaml libraries for Debian maintainers (runtime package) libben-ocaml-dev - OCaml libraries for Debian maintainers (development package) Changes:

Accepted zed 1.4-3 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libzed-ocaml - abstract engine for text edition in OCaml (runtime) libzed-ocaml-dev - abstract engine for text edition in OCaml (development tools) Changes: zed (1.4-3) unstable; urgency=medium . * Team upl

Accepted mlpost 0.8.1-8 (source amd64 all) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@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) Chan

Accepted mlpost 0.8.1-7 (source amd64 all) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@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) Chan

Accepted lwt 2.5.2-2 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liblwt-glib-ocaml - cooperative GLib bindings for OCaml (runtime) liblwt-glib-ocaml-dev - cooperative GLib bindin

Accepted reactivedata 0.1-3 (source amd64) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libreactivedata-ocaml - FRP with incremental changes in data structures (runtime) libreactivedata-ocaml-dev - FRP with incremental changes in data structures Changes: reactivedata (0.1

Accepted react 1.2.0-3 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libreact-ocaml - functional reactive programming in OCaml (plugins) libreact-ocaml-dev - functional reactive programming in OCaml Changes: react (1.2.0-3) unstable; urgency=medium . * Add ocamlbuild to B

Accepted parmap 1.0~rc8-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libparmap-ocaml - small OCaml library allowing to exploit multicore architectures libparmap-ocaml-dev - small OCaml library allowing to exploit multicore architectures Changes: parmap (1.0~rc8-1) unsta

Accepted pgocaml 2.2-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libpgocaml-ocaml - OCaml type-safe bindings for PostgreSQL (runtime) libpgocaml-ocaml-dev - OCaml type-safe bindings for PostgreSQL (development) Changes: pgocaml (2.2-2) unstable; urgency=medium . *

Accepted js-build-tools 113.33.04-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libjs-build-tools-ocaml-dev - collection of tools to help building Jane Street Packages Changes: js-build-tools (113.33.04-2) unstable; urgency=medium . * Add ocamlbuild to Build-Depends Ch

Accepted caml2html 1.4.3-2 (source amd64) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: caml2html - HTML and LaTeX colored syntax from OCaml source files - executabl libcaml2html-ocaml - HTML and LaTeX colored syntax from OCaml source files - plugins libcaml2html-ocam

Accepted opam 1.2.2-6 (source amd64 all) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: opam - package manager for OCaml opam-docs - package manager for OCaml (documentation) Changes: opam (1.2.2-6) unstable; urgency=medium . * Team upload * Add ocamlbuild to Build-Depends * Update Vcs-* Ch

Accepted oasis 0.4.10-2 (source amd64 all) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liboasis-ocaml - Build-system generation for OCaml projects -- runtime liboasis-ocaml-dev - Build-system generation for OCaml projects -- development files liboasis-ocaml-doc -

Accepted ben 0.7.6 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: ben- toolbox for Debian maintainers libben-ocaml - OCaml libraries for Debian maintainers (runtime package) libben-ocaml-dev - OCaml libraries for Debian maintainers (development package) Changes:

Accepted tyxml 3.5.0-2 (source amd64 all) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libtyxml-ocaml - typed XML in OCaml (plugins) libtyxml-ocaml-dev - typed XML in OCaml (development files) libtyxml-ocaml-doc - typed XML in OCaml (documentation) Changes: tyxml (3.5.0

Accepted ppx-deriving 4.1-1 (source amd64) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@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.1

Accepted oasis 0.4.10-1 (source amd64 all) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liboasis-ocaml - Build-system generation for OCaml projects -- runtime liboasis-ocaml-dev - Build-system generation for OCaml projects -- development files liboasis-ocaml-doc -

Accepted ben 0.7.5 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: ben- toolbox for Debian maintainers libben-ocaml - OCaml libraries for Debian maintainers (runtime package) libben-ocaml-dev - OCaml libraries for Debian maintainers (development package) Closes: 866341 86

Accepted ocamlnet 4.1.2-2 (source amd64 all) into unstable

-mod-netcgi-apache libocamlnet-ocaml-doc Architecture: source amd64 all Version: 4.1.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libapache2-mod-netcgi-ap

Accepted ocaml-extunix 0.1.5-2 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libextunix-ocaml - Extended functions for OCaml Unix module (runtime package) libextunix-ocaml-dev - Extended functions for OCaml Unix module (development package) Closes: 868721 Changes: ocaml-ex

Accepted ocaml-expect 0.0.5-2 (source amd64) into unstable

aml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libexpect-ocaml - Expect-like framework for OCaml libexpect-ocaml-dev - Expect-like framework for OCaml - development files Changes: ocaml-expect (0.0.5-2) unstable; urgency=medium . * Team upl

Accepted laby 0.6.4-2 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: laby - Learn how to program with ants and spider webs Changes: laby (0.6.4-2) unstable; urgency=medium . * Team upload * Add ocamlbuild to Build-Depends * Bump debhelper compat to 10 * Update Vcs-* Ch

Accepted ara 1.0.33 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 20 Jul 2017 13:37:11 +0200 Source: ara Binary: ara xara-gtk Architecture: source amd64 Version: 1.0.33 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Stéphane

Accepted ocaml-batteries 2.6.0-1 (source amd64 all) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libbatteries-ocaml-dev - Batteries included: OCaml development platform - development file libbatteries-ocaml-doc - Batteries included - OCaml developm

Accepted ocaml-gettext 0.3.7-1 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libgettext-ocaml - OCaml internationalization shared library libgettext-ocaml-dev - OCaml internationalization library Changes: ocaml-gettext (0.3.7-1) unstable; urgency=medium . * Team upl

Accepted ocaml-batteries 2.5.3-1 (source amd64 all) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libbatteries-ocaml-dev - Batteries included: OCaml development platform - development file libbatteries-ocaml-doc - Batteries included - OCaml developm

Accepted pa-bench 113.00.00-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libpa-bench-camlp4-dev - OCaml syntax extension for writing inline benchmarks Changes: pa-bench (113.00.00-2) unstable; urgency=medium . * Team upload * Add ocamlbuild to Build-Depends * Update Vcs-* Ch

Accepted ocamlmod 0.0.8-2 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: ocamlmod - generate OCaml modules from source files Changes: ocamlmod (0.0.8-2) unstable; urgency=medium . * Team upload * Add ocamlbuild to Build-Depends Checksums-Sha1: 940865c614ccfcc3377b18f254104f84cf626a95 2025 ocam

Accepted ocaml-data-notation 0.0.11-2 (source amd64) into unstable

aml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libodn-ocaml - Store data using OCaml notation libodn-ocaml-dev - Store data using OCaml notation Changes: ocaml-data-notation (0.0.11-2) unstable; urgency=low . [ Stéphane Glondu ] * Team upl

Accepted cudf 0.7-3 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@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

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