Accepted cppo 0.9.3-2 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: cppo - cpp for OCaml Changes: cppo (0.9.3-2) experimental; urgency=low . * Team upload * Compile with OCaml = 4 Checksums-Sha1: 1ab26eb27b272b350f598f5e32cc2c33f5ae09e2 1945 cppo_0.9.3-2.dsc 847c8a7b6e79d94ae25ccd5941d48f9f5d2083a3 4491

Accepted ocaml-batteries 2.1-1 (source amd64 all)

: 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 development platform

Accepted camlzip 1.05-2 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libzip-ocaml - OCaml compression libraries (runtime libraries) libzip-ocaml-dev - OCaml compression libraries (development files) Changes: camlzip (1.05-2) experimental; urgency=low . * Compile with OCaml = 4 Checksums

Accepted cryptgps 0.2.1-8 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libcryptgps-ocaml-dev - OCaml implementation of symmetric cryptographic algorithms: Blowf Changes: cryptgps (0.2.1-8) experimental; urgency=low . [ Stefano Zacchiroli ] * remove myself from Uploaders . [ Stéphane Glondu

Accepted cryptokit 1.7-2 (source amd64)

-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml - development Changes: cryptokit (1.7-2) experimental; urgency=low

Accepted ocaml-ssl 0.4.6-2 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libssl-ocaml - OCaml bindings for OpenSSL (runtime) libssl-ocaml-dev - OCaml bindings for OpenSSL Changes: ocaml-ssl (0.4.6-2) experimental; urgency=low . * Compile with OCaml = 4 Checksums-Sha1

Accepted ocamlnet 3.6.6-2 (source amd64 all)

-mod-netcgi-apache libocamlnet-ocaml-doc Architecture: source amd64 all Version: 3.6.6-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libapache2-mod-netcgi-apache - OCaml

Accepted ocaml 4.00.1-2 (source amd64 all)

Version: 4.00.1-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted camlp5 6.10-1 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Changes: camlp5 (6.10-1) experimental; urgency=low . * New upstream release * Compile with OCaml = 4 * Update Vcs-* * Bump Standards-Version to 3.9.4 Checksums-Sha1

Accepted ocaml-bitstring 2.0.4-1 (source amd64)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libbitstring-ocaml - Erlang-style bitstrings for OCaml (runtime) libbitstring-ocaml-dev - Erlang-style bitstrings for OCaml (development files) Changes: ocaml-bitstring (2.0.4-1) experimental; urgency=low

Accepted menhir 20130116.dfsg-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20130116.dfsg-1) experimental; urgency=low . * Team upload * New upstream release * Switch source package

Accepted ocamlify 0.0.2-1 (source all)

-By: Stéphane Glondu glo...@debian.org Description: ocamlify - include files in OCaml code Changes: ocamlify (0.0.2-1) experimental; urgency=low . [ Stéphane Glondu ] * Team upload * Compile with OCaml = 4 * Update Vcs-* . [ Sylvain Le Gall ] * New upstream version. Checksums

Accepted ocaml-res 4.0.3-1 (source amd64)

Changed-By: Stéphane Glondu glo...@debian.org Description: libres-ocaml-dev - OCaml library for automatically resizing contiguous data structur Changes: ocaml-res (4.0.3-1) experimental; urgency=low . * Team upload * New upstream release * Compile with OCaml = 4 Checksums-Sha1

Accepted postgresql-ocaml 2.0.4-1 (source amd64)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libpostgresql-ocaml - OCaml bindings to PostgreSQL's libpq (runtime) libpostgresql-ocaml-dev - OCaml bindings to PostgreSQL's libpq Changes: postgresql-ocaml (2.0.4-1) experimental; urgency=low

Accepted ocamlsdl 0.9.1-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libsdl-ocaml - OCaml bindings for SDL - runtime files libsdl-ocaml-dev - OCaml bindings for SDL - development files Changes: ocamlsdl (0.9.1-1) experimental; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall

Accepted postgresql-ocaml 2.0.4-2 (source amd64)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libpostgresql-ocaml - OCaml bindings to PostgreSQL's libpq (runtime) libpostgresql-ocaml-dev - OCaml bindings to PostgreSQL's libpq Changes: postgresql-ocaml (2.0.4-2) experimental; urgency=low

Accepted ocaml-res 4.0.3-2 (source amd64)

Changed-By: Stéphane Glondu glo...@debian.org Description: libres-ocaml-dev - OCaml library for automatically resizing contiguous data structur Changes: ocaml-res (4.0.3-2) experimental; urgency=low . * Team upload * Build-Depend on experimental ocaml-findlib so that ocamlopt works

Accepted pgocaml 1.7.1-1 (source amd64)

...@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 (1.7.1-1) unstable; urgency=low . [ Stéphane Glondu

Accepted pgocaml 1.7.1-2 (source amd64)

...@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 (1.7.1-2) unstable; urgency=low . * Team upload

Accepted ocaml-batteries 2.0-1 (source amd64 all)

: 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 development platform

Accepted xmlm 1.1.1-1 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: libxmlm-ocaml-dev - OCaml xml manipulation module Changes: xmlm (1.1.1-1) unstable; urgency=low . * Team upload * New upstream release * Update Vcs-* Checksums-Sha1: 5fb3514ff21c27ea918f924e86baa90add89558a 2049 xmlm_1.1.1-1.dsc

Accepted biniou 1.0.8-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libbiniou-ocaml - flexible binary data format in OCaml - plugins libbiniou-ocaml-dev - flexible binary data format in OCaml - development files Changes: biniou (1.0.8-1) unstable; urgency=low . * Team upload * New

Accepted findlib 1.4-1 (source amd64)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libfindlib-ocaml - library for managing OCaml libraries (runtime) libfindlib-ocaml-dev - library for managing OCaml libraries (development files) ocaml-findlib - management tool

Accepted pxp 1.2.4-1 (source amd64)

-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.4-1) unstable; urgency=low . * Team upload * New upstream release * Update Vcs-* Checksums-Sha1: a063408fbdb8fbeaa0b5104a3803dab6555898d7

Accepted hevea 2.06-3 (source all)

-By: Stéphane Glondu glo...@debian.org Description: hevea - translates from LaTeX to HTML, info, or text Changes: hevea (2.06-3) experimental; urgency=low . * Compile with OCaml = 4 * Bump debhelper compat level to 9 * Update Vcs-* Checksums-Sha1: c3907f6e7d115115bfed06f70b2bb26bc364f00c

Accepted pcre-ocaml 7.0.2-3 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libpcre-ocaml - OCaml bindings for PCRE (runtime) libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular Expression) Changes: pcre-ocaml (7.0.2-3) experimental; urgency=low . * Compile with OCaml = 4

Accepted camlmix 1.3.1-2 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: camlmix- preprocessor which converts text with embedded OCaml Changes: camlmix (1.3.1-2) experimental; urgency=low . [ Stéphane Glondu ] * Team upload * Compile with OCaml = 4 . [ Hendrik Tews ] * silent lintian canonical vcs

Accepted ocaml-csv 1.3.0-3 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: csvtool- handy command line tool for handling CSV files libcsv-ocaml-dev - library to read and write CSV files in OCaml Changes: ocaml-csv (1.3.0-3) unstable; urgency=low . * Fix compilation on non-native architectures

Accepted ocamlnet 3.6.5-1 (source amd64 all)

-mod-netcgi-apache libocamlnet-ocaml-doc Architecture: source amd64 all Version: 3.6.5-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libapache2-mod-netcgi-apache - OCaml

Accepted fieldslib 108.00.02-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libfields-camlp4-dev - OCaml syntax extension that enables folding over record fields Closes: 713345 Changes: fieldslib (108.00.02-1) unstable; urgency=low . * New upstream release (Closes: #713345) - bump type-conv

Accepted bin-prot 2.0.9-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libbin-prot-camlp4-dev - type-safe binary serialization for OCaml values Closes: 713357 Changes: bin-prot (2.0.9-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Stéphane Glondu

Accepted ocaml-data-notation 0.0.9-1 (source amd64)

...@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 Closes: 713342 Changes: ocaml-data-notation (0.0.9-1) unstable; urgency=low . * Team upload * New upstream

Accepted sexplib310 7.0.5-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libsexplib-camlp4-dev - automated conversions between OCaml-values and S-expressions Closes: 713343 Changes: sexplib310 (7.0.5-1) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * New upstream release (Closes

Accepted babeld 1.4.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 19 Jun 2013 21:25:52 +0200 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.4.2-1 Distribution: unstable Urgency: low Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted babeld 1.4.2-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 20 Jun 2013 07:25:56 +0200 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.4.2-2 Distribution: unstable Urgency: low Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted type-conv 3.0.5-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libtype-conv-camlp4-dev - support library for OCaml preprocessor type conversions Changes: type-conv (3.0.5-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Stéphane Glondu

Accepted type-conv 109.28.00-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libtype-conv-camlp4-dev - support library for OCaml preprocessor type conversions Changes: type-conv (109.28.00-1) experimental; urgency=low . * New upstream release - update debian/watch to use Jane Street

Accepted mldonkey 3.1.3-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: mldonkey-gui - Graphical frontend for mldonkey based on GTK+ mldonkey-server - Door to the 'donkey' network Closes: 712075 Changes: mldonkey (3.1.3-1) unstable; urgency=low . [ Mehdi Dogguy ] * Set filter-pristine-tar

Accepted ocamlnet 3.5.1-2 (source amd64 all)

-mod-ocamlnet libocamlnet-ocaml-doc Architecture: source amd64 all Version: 3.5.1-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libapache2-mod-ocamlnet - OCaml application-level

Accepted ahcpd 0.53-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 26 May 2013 21:11:53 +0200 Source: ahcpd Binary: ahcpd Architecture: source amd64 Version: 0.53-2 Distribution: unstable Urgency: low Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo...@debian.org

Accepted babeld 1.4.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 26 May 2013 21:03:16 +0200 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.4.1-1 Distribution: unstable Urgency: low Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted camlimages 1:4.0.1-7 (source amd64 all)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libcamlimages-ocaml - OCaml image processing library (Runtime library) libcamlimages-ocaml-dev - OCaml image processing library (Development package) libcamlimages-ocaml-doc - OCaml

Accepted camlimages 1:4.0.1-8 (source amd64 all)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libcamlimages-ocaml - OCaml image processing library (Runtime library) libcamlimages-ocaml-dev - OCaml image processing library (Development package) libcamlimages-ocaml-doc - OCaml

Accepted oasis 0.2.0-7 (source amd64 all)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: liboasis-ocaml - Architecture for building OCaml libraries and applications liboasis-ocaml-dev - Architecture for building OCaml libraries and applications liboasis-ocaml-doc - Architecture

Accepted meta-unison 2.40+2 (source all)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: unison-all - file synchronization tool (all console versions) unison-all-gtk - file synchronization tool (all GTK+ versions) Changes: meta-unison (2.40+2) unstable; urgency=low . * Drop unison2.27.57 * Bump Standards-Version

Accepted unison 2.40.102-2 (source amd64)

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 Changes: unison (2.40.102-2) unstable; urgency=low . * Bump Standards-Version to 3.9.4

Accepted unison2.32.52 2.32.52-7 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: unison2.32.52 - file-synchronization tool for Unix and Windows unison2.32.52-gtk - file-synchronization tool for Unix and Windows with GTK+ interfac Changes: unison2.32.52 (2.32.52-7) unstable; urgency=low

Accepted ocsigenserver 2.2.0-1 (source amd64 all)

Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libocsigenserver-ocaml - web server of the Ocsigen project (runtime libraries) libocsigenserver-ocaml-dev - web server of the Ocsigen project (dev libraries

Accepted js-of-ocaml 1.3.2-2 (source amd64 all)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: js-of-ocaml - OCaml bytecode to JavaScript compiler (compiler) libjs-of-ocaml - OCaml bytecode to JavaScript compiler (runtime) libjs-of-ocaml-dev - OCaml bytecode to JavaScript compiler

Accepted eliom 3.0.3-1 (source amd64 all)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: eliom - web framework for ocsigenserver (tools) libeliom-ocaml - web framework for ocsigenserver (runtime libraries) libeliom-ocaml-dev - web framework for ocsigenserver (dev libraries

Accepted obus 1.1.4-2 (source armel)

-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 (development files

Accepted ocaml-usb 1.3.0-2 (source armel)

...@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-2) unstable; urgency=low . * Fix FTBFS on armel Checksums-Sha1

Accepted nurpawiki 1.2.3-7 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: nurpawiki - Wiki with integrated to-do list and scheduler Changes: nurpawiki (1.2.3-7) unstable; urgency=low . * Upload to unstable Checksums-Sha1: f8a8cdf7c71301e536bb97026e9ea610d96a7dad 2128 nurpawiki_1.2.3-7.dsc

Accepted pcre-ocaml 7.0.2-2 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libpcre-ocaml - OCaml bindings for PCRE (runtime) libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular Expression) Changes: pcre-ocaml (7.0.2-2) unstable; urgency=low . * Remove META from -dev

Accepted ocaml-text 0.6-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libtext-ocaml - runtime libraries of OCaml-Text libtext-ocaml-dev - library for dealing with sequences of Unicode characters Changes: ocaml-text (0.6-1) unstable; urgency=low . * New upstream release * Use format

Accepted aac-tactics 0.3.pl1-1 (source amd64 all)

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 - Coq tactics

Accepted ssreflect 1.4-2 (source amd64 all)

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 scale reflection

Accepted lwt 2.4.3-1 (source amd64 all)

Distribution: unstable Urgency: low 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 bindings for OCaml liblwt

Accepted tyxml 2.2.0-2 (source amd64 all)

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 (2.2.0-2) unstable

Accepted obus 1.1.4-1 (source amd64)

-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 (development files

Accepted ocaml-usb 1.3.0-1 (source amd64)

...@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-1) unstable; urgency=low . * New upstream release * Use format version 1.0 in debian

Accepted camlp5 6.08-1 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Changes: camlp5 (6.08-1) unstable; urgency=low . [ Stéphane Glondu ] * New upstream release - apply upstream's patch-6.08-1 . [ Sylvain Le Gall ] * Remove Sylvain

Accepted calendar 2.03.2-1 (source all amd64)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libcalendar-ocaml - OCaml library providing operations over dates and times libcalendar-ocaml-dev - OCaml library providing operations over dates and times libcalendar-ocaml-doc - OCaml

Accepted cryptokit 1.7-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml - development Changes: cryptokit (1.7-1) unstable; urgency=low

Accepted ocaml-sqlite3 2.0.4-1 (source amd64)

-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs Changes: ocaml-sqlite3 (2.0.4-1) unstable; urgency=low . * New upstream release

Accepted react 0.9.4-1 (source amd64)

...@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 (0.9.4-1) unstable; urgency=low . * New upstream release * Bump Standards

Accepted coq 8.4pl2dfsg-1 (source amd64 all)

debian-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-order logic (gtk

Accepted pcre-ocaml 7.0.2-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libpcre-ocaml - OCaml bindings for PCRE (runtime) libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular Expression) Changes: pcre-ocaml (7.0.2-1) unstable; urgency=low . * New upstream release * Do

Accepted postgresql-ocaml 2.0.2-1 (source amd64)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libpostgresql-ocaml - OCaml bindings to PostgreSQL's libpq (runtime) libpostgresql-ocaml-dev - OCaml bindings to PostgreSQL's libpq Changes: postgresql-ocaml (2.0.2-1) unstable; urgency=low . * New

Accepted coq-float 1:8.4-1 (source all)

-By: Stéphane Glondu glo...@debian.org Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-1) unstable; urgency=low . * New upstream release * Use format version 1.0 in debian/copyright * Bump Standards-Version to 3.9.4 * Bump debhelper

Accepted unison 2.40.102-1 (source amd64)

...@lists.debian.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: 691683 Changes: unison (2.40.102-1) experimental; urgency=low . * New upstream

Accepted nurpawiki 1.2.3-6 (source amd64)

Changed-By: Stéphane Glondu glo...@debian.org Description: nurpawiki - Wiki with integrated to-do list and scheduler Changes: nurpawiki (1.2.3-6) experimental; urgency=low . * Port to Ocsigen 2 / Eliom 3 - use ocsigenserver instead of ocsigen * Update README.Debian * Update debian

Accepted coq 8.4pl1dfsg-1 (source amd64 all)

Maintainers debian-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-order logic

Accepted eliom 3.0.2-1 (source amd64 all)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: eliom - web framework for ocsigenserver (tools) libeliom-ocaml - web framework for ocsigenserver (runtime libraries) libeliom-ocaml-dev - web framework for ocsigenserver (dev libraries

Accepted eliom 3.0.0-2 (source amd64 all)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: eliom - web framework for ocsigenserver (tools) libeliom-ocaml - web framework for ocsigenserver (runtime libraries) libeliom-ocaml-dev - web framework for ocsigenserver (dev libraries

Accepted eliom 3.0.1-1 (source amd64 all)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: eliom - web framework for ocsigenserver (tools) libeliom-ocaml - web framework for ocsigenserver (runtime libraries) libeliom-ocaml-dev - web framework for ocsigenserver (dev libraries

Accepted ocsigenserver 2.2-2 (source amd64 all)

Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libocsigenserver-ocaml - web server of the Ocsigen project (runtime libraries) libocsigenserver-ocaml-dev - web server of the Ocsigen project (dev libraries

Accepted eliom 3.0.0-1 (source amd64 all)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libeliom-ocaml - web framework for ocsigenserver (runtime libraries) libeliom-ocaml-dev - web framework for ocsigenserver (dev libraries) libeliom-ocaml-doc - web framework for ocsigenserver

Accepted lwt 2.4.2-1 (source amd64 all)

Distribution: experimental Urgency: low 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 bindings for OCaml

Accepted js-of-ocaml 1.3.1-1 (source amd64 all)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: js-of-ocaml - OCaml bytecode to JavaScript compiler (compiler) libjs-of-ocaml - OCaml bytecode to JavaScript compiler (runtime) libjs-of-ocaml-dev - OCaml bytecode to JavaScript

Accepted tyxml 2.2.0-1 (source amd64 all)

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 (2.2.0-1

Accepted js-of-ocaml 1.3.2-1 (source amd64 all)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: js-of-ocaml - OCaml bytecode to JavaScript compiler (compiler) libjs-of-ocaml - OCaml bytecode to JavaScript compiler (runtime) libjs-of-ocaml-dev - OCaml bytecode to JavaScript

Accepted ocsigenserver 2.2-1 (source amd64 all)

Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libocsigenserver-ocaml - web server of the Ocsigen project (runtime libraries) libocsigenserver-ocaml-dev - web server of the Ocsigen project (dev libraries

Accepted findlib 1.3.3-1 (source amd64)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libfindlib-ocaml - library for managing OCaml libraries (runtime) libfindlib-ocaml-dev - library for managing OCaml libraries (development files) ocaml-findlib - management tool

Accepted js-of-ocaml 1.2-2 (source amd64 all)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: js-of-ocaml - OCaml bytecode to JavaScript compiler (compiler) libjs-of-ocaml - OCaml bytecode to JavaScript compiler (runtime) libjs-of-ocaml-dev - OCaml bytecode to JavaScript compiler

Accepted ocaml 4.00.1-1 (source amd64 all)

Version: 4.00.1-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted coq 8.4dfsg-2 (source amd64 all)

Maintainers debian-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-order logic (gtk

Accepted aac-tactics 0.3-2 (source amd64 all)

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 - Coq tactics

Accepted aac-tactics 0.3-1 (source amd64 all)

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 - Coq tactics

Accepted ssreflect 1.4-1 (source amd64 all)

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 scale reflection

Accepted coq 8.4dfsg-1 (source amd64 all)

Maintainers debian-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-order logic (gtk

Accepted ocaml 4.00.0-1 (source all amd64)

Version: 4.00.0-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted ocaml 4.00.0~rc1-1 (source all amd64)

Version: 4.00.0~rc1-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted ben 0.6.1 (source amd64)

...@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: 679547 Changes: ben

Accepted mumudvb 1.7.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Jun 2012 10:16:27 +0200 Source: mumudvb Binary: mumudvb Architecture: source amd64 Version: 1.7.1-1 Distribution: unstable Urgency: low Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted ocaml 3.12.1-4 (source all amd64)

Version: 3.12.1-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml - extras

Accepted ocaml 4.00.0~beta2-2 (source all amd64)

Version: 4.00.0~beta2-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer

Accepted findlib 1.3.2-1 (source amd64)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libfindlib-ocaml - library for managing OCaml libraries (runtime) libfindlib-ocaml-dev - library for managing OCaml libraries (development files) ocaml-findlib - management tool

Accepted ocamlsdl 0.9.0-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libsdl-ocaml - OCaml bindings for SDL - runtime files libsdl-ocaml-dev - OCaml bindings for SDL - development files Closes: 667447 Changes: ocamlsdl (0.9.0-1) unstable; urgency=low . * New upstream release (Closes: #667447

Accepted ocaml 4.00.0~beta2-1 (source all amd64)

Version: 4.00.0~beta2-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer

<    3   4   5   6   7   8   9   10   11   12   >