Accepted xstrp4 1.8.1-1 (source all) into unstable

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-1) unstable; urgency=medium . * Team upload * New upstream release * Switch debian/copyright to format 1.0 * Bump

Accepted babeld 1.6.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 02 May 2015 12:00:22 +0200 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.6.0-1 Distribution: unstable Urgency: medium Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted cryptokit 1.10-1 (source amd64) into unstable

-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.10-1) unstable; urgency=medium

Accepted ppx-tools 0.99.2-2 (source amd64) into experimental

...@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 (0.99.2-2) experimental; urgency=medium . * Add support for bytecode architectures Checksums-Sha1

Accepted ppx-tools 0.99.2-3 (source amd64) into experimental

...@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 (0.99.2-3) experimental; urgency=medium . * Fix FTBFS on ppc64el Checksums-Sha1: 57bfca0d6ba8a65505f05fd3025b6eadd0e8ee94 2025 ppx

Accepted ppx-tools 0.99.2-1 (source amd64) into experimental, experimental

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libppx-tools-ocaml-dev - tools for authors of OCaml syntactic tools Closes: 779574 Changes: ppx-tools (0.99.2-1) experimental; urgency=low . * Initial upload (Closes: #779574). Checksums-Sha1

Accepted camlp5 6.12-1 (source amd64) into experimental

-By: Stéphane Glondu glo...@debian.org Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Changes: camlp5 (6.12-1) experimental; urgency=medium . * New upstream release * Compile with OCaml 4.02.1 Checksums-Sha1: ddf4c2ab1107e775393244536cd1c3fc206f0a72 2005

Accepted nproc 0.5.1-2 (source amd64) into unstable

Changed-By: Stéphane Glondu glo...@debian.org Description: libnproc-ocaml-dev - process pool implementation for OCaml Changes: nproc (0.5.1-2) unstable; urgency=medium . * debian/patches: - import bugfixes from upstream master branch Checksums-Sha1: 682a63f6fe7b4e7a20bcadcf8c608e697dcd67d3

Accepted findlib 1.5.5-1 (source amd64) into experimental

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 for OCaml libraries

Accepted ocaml 4.02.1-3 (source amd64 all) into experimental

Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode

Accepted nproc 0.5.1-1 (source amd64) into unstable, unstable

Changed-By: Stéphane Glondu glo...@debian.org Description: libnproc-ocaml-dev - process pool implementation for OCaml Closes: 777609 Changes: nproc (0.5.1-1) unstable; urgency=low . * Initial upload (Closes: #777609). Checksums-Sha1: d28eb1e836b0da6990473db436b3c2530e3c1371 1979 nproc_0.5.1-1.dsc

Accepted ocaml 4.02.1-2 (source amd64 all) into experimental

Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode

Accepted ocaml 4.01.0-5 (source amd64 all) into unstable

Version: 4.01.0-5 Distribution: unstable Urgency: medium 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.02.1-1 (source amd64 all) into experimental

Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode

Accepted nss-passwords 0.2-1 (source amd64) into unstable

Changed-By: Stéphane Glondu glo...@debian.org Description: nss-passwords - read passwords from a Mozilla keyring Changes: nss-passwords (0.2-1) unstable; urgency=medium . * New upstream release - add support for JSON-based password store (Firefox 32) * Update Vcs-* Checksums-Sha1

Accepted ocamlnet 3.7.3-4 (source amd64 all) into unstable

-mod-netcgi-apache libocamlnet-ocaml-doc Architecture: source amd64 all Version: 3.7.3-4 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-apache - OCaml

Accepted ocaml-config-file 1.2-1 (source amd64) into unstable

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libconfig-file-ocaml-dev - OCaml library for managing configuration files (dev files) Changes: ocaml-config-file (1.2-1) unstable; urgency=medium . * New upstream release * Bump Standards-Version to 3.9.5 Checksums

Accepted ocaml-ssl 0.4.7-1 (source amd64) into unstable

...@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.7-1) unstable; urgency=medium . * New upstream release * Put debian/copyright in format 1.0

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

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: coq-doc- documentation for Coq coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Changes: coq-doc (8.4pl4-1) unstable; urgency=medium . * New upstream release

Accepted ocaml-re 1.2.2-1 (source amd64) into unstable

Changed-By: Stéphane Glondu glo...@debian.org Description: libre-ocaml-dev - regular expression library for OCaml Changes: ocaml-re (1.2.2-1) unstable; urgency=medium . * Team upload * New upstream release * Update Vcs-* Checksums-Sha1: 0108b9f911ab05dee81b2048cfea51dc1fcc9310 2033 ocaml

Accepted ocaml-csv 1.3.3-1 (source amd64) into unstable

...@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.3-1) unstable; urgency=medium . * New upstream release Checksums-Sha1

Accepted optcomp 1.6-1 (source amd64) into unstable

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: liboptcomp-camlp4-dev - syntax extension for optional compilation with cpp-like directive optcomp- syntax extension for optional compilation with cpp-like directive Changes: optcomp (1.6-1) unstable; urgency=medium

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

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org 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 Changes: ocaml-atd (1.1.2-1) unstable; urgency=medium . * Team

Accepted pgocaml 2.1-1 (source amd64) into unstable

...@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.1-1) unstable; urgency=medium . * Team upload

Accepted mathcomp 1.5-3 (source all) into unstable

Changed-By: Stéphane Glondu glo...@debian.org Description: libmathcomp-coq - Mathematical Components library for Coq (theories) Changes: mathcomp (1.5-3) unstable; urgency=medium . * Team upload * Recompile with coq 8.4pl4 Checksums-Sha1: d5dbef8ed40ec6db81767675b5c3684e9850544e 2016

Accepted why 2.34-2 (source amd64 all) into unstable

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libwhy-coq - Why library for Coq why- Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.34-2) unstable; urgency=medium . * Team upload * Recompile with coq 8.4pl4

Accepted coq-float 1:8.4-4 (source all) into unstable

Changed-By: Stéphane Glondu glo...@debian.org Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-4) unstable; urgency=medium . * Recompile with coq 8.4pl4 Checksums-Sha1: a282e92372b59ca2256f621d16645dcfcd6bd96e 2003 coq-float_8.4-4.dsc

Accepted aac-tactics 0.4-3 (source amd64 all) 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 - Coq tactics

Accepted ssreflect 1.5-2 (source amd64 all) 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 scale reflection

Accepted coq 8.4pl4dfsg-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 nurpawiki 1.2.3-8 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: nurpawiki - Wiki with integrated to-do list and scheduler Closes: 755312 Changes: nurpawiki (1.2.3-8) unstable; urgency=medium . * Port to Eliom 4 (Closes: #755312) * Update Vcs-* * Bump Standards-Version to 3.9.5 Checksums-Sha1

Accepted eliom 4.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 babeld 1.5.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 06 Jul 2014 22:45:10 +0200 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.5.1-1 Distribution: unstable Urgency: medium Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted eliom 4.0.0-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.4.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 ocaml-ipaddr 2.5.0-1 (source amd64)

-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libipaddr-ocaml - library for manipulation of IP (and MAC) address representations libipaddr-ocaml-dev - library for manipulation of IP (and MAC) address representations Changes: ocaml-ipaddr (2.5.0-1) unstable

Accepted ocaml-ipaddr 1.0.0-1 (source amd64)

-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libipaddr-ocaml - library for manipulation of IP (and MAC) address representations libipaddr-ocaml-dev - library for manipulation of IP (and MAC) address representations Closes: 752051 Changes: ocaml-ipaddr (1.0.0

Accepted js-of-ocaml 2.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 js-of-ocaml 2.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 compiler

Accepted oasis 0.4.4-2 (source amd64 all)

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 - Architecture

Accepted ocaml-deriving-ocsigen 0.6.2-1 (source amd64)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libderiving-ocsigen-ocaml - deriving functions from type declarations in OCaml (runtime) libderiving-ocsigen-ocaml-dev - deriving functions from type declarations in OCaml (devt files

Accepted babeld 1.5.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 13 Jun 2014 13:14:34 +0200 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.5.0-1 Distribution: unstable Urgency: medium Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted oasis 0.4.4-1 (source amd64 all)

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 - Architecture

Accepted ocsigenserver 2.3.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 tyxml 3.0.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 (3.0.0-1) unstable

Accepted ocaml-ctypes 0.2.3-1 (source amd64)

-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libctypes-ocaml - library for binding to C libraries using pure OCaml (runtime) libctypes-ocaml-dev - library for binding to C libraries using pure OCaml (dev) Closes: 742613 Changes: ocaml-ctypes (0.2.3-1

Accepted ocaml-doc 4.01-2 (source all)

-By: Stéphane Glondu glo...@debian.org Description: ocaml-doc - Documentation for Objective Caml Closes: 737617 Changes: ocaml-doc (4.01-2) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Update Vcs-* . [ Ralf Treinen ] * dh_installdocs: Do not install *.in files (closes

Accepted ocaml 4.01.0-4 (source amd64 all)

Version: 4.01.0-4 Distribution: unstable Urgency: medium 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 grisbi 1.0.0-2 (source amd64 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 20 Apr 2014 09:20:24 +0200 Source: grisbi Binary: grisbi grisbi-common Architecture: source amd64 all Version: 1.0.0-2 Distribution: unstable Urgency: medium Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane

Accepted grisbi 1.0.0-1 (source amd64 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 08 Apr 2014 00:52:21 +0200 Source: grisbi Binary: grisbi grisbi-common Architecture: source amd64 all Version: 1.0.0-1 Distribution: unstable Urgency: low Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane

Accepted findlib 1.4.1-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 ocaml-expect 0.0.5-1 (source amd64)

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

Accepted ounit 2.0.0-1 (source amd64)

Changed-By: Stéphane Glondu glo...@debian.org Description: libounit-ocaml-dev - Unit testing framework for OCaml Changes: ounit (2.0.0-1) unstable; urgency=medium . [ Stéphane Glondu ] * Team upload * Remove myself from Uploaders . [ Sylvain Le Gall ] * New upstream release

Accepted cduce 0.6.0-1 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: cduce - programming language adapted to the manipulation of XML data Closes: 731818 Changes: cduce (0.6.0-1) unstable; urgency=medium . * New upstream release (Closes: #731818) * Update Vcs-* Checksums-Sha1

Accepted ssreflect 1.5-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 omake 0.9.8.5-3-9 (source amd64 all)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: omake - build system with automated dependency analysis omake-doc - documentation for OMake Closes: 599322 681663 715043 737592 Changes: omake (0.9.8.5-3-9) unstable; urgency=medium . * Team upload * Disable fatal

Accepted galax 1.1-11 (source amd64 all)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: galax - XQuery implementation with static typing - command line front-end galax-doc - XQuery implementation with static typing - documentation galax-extra - XQuery implementation with static

Accepted yojson 1.1.8-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libyojson-ocaml - JSON library for OCaml - runtime package libyojson-ocaml-dev - JSON library for OCaml - development package Changes: yojson (1.1.8-1) unstable; urgency=medium . * Team upload * New upstream

Accepted dh-ocaml 1.0.8 (source all)

-By: Stéphane Glondu glo...@debian.org Description: dh-ocaml - helper tools for maintaining OCaml-related Debian packages Changes: dh-ocaml (1.0.8) unstable; urgency=medium . [ Ralf Treinen ] * Packaging policy, chapter libpack: libxxx-ocaml-dev packages go into section ocaml

Accepted atdgen 1.3.1-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libatdgen-ocaml - OCaml code generator for biniou and JSON - plugins libatdgen-ocaml-dev - OCaml code generator for biniou and JSON - executable and dev fil Changes: atdgen (1.3.1-1) unstable; urgency=medium

Accepted otags 4.01.1-1 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: otags - tags file generator for OCaml Changes: otags (4.01.1-1) unstable; urgency=medium . * Team upload * Upload to unstable * New upstream release * Bump Standards-Version to 3.9.5 * Remove myself from Uploaders Checksums-Sha1

Accepted ocamlmod 0.0.7-1 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: ocamlmod - generate OCaml modules from source files Changes: ocamlmod (0.0.7-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards-Version to 3.9.5 Checksums-Sha1

Accepted ocaml-batteries 2.2-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 biniou 1.0.9-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.9-1) unstable; urgency=medium . * Team upload

Accepted ocaml-atd 1.1.1-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org 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 Changes: ocaml-atd (1.1.1-1) unstable; urgency=medium . * Team

Accepted optcomp 1.5-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: liboptcomp-camlp4-dev - syntax extension for optional compilation with cpp-like directive optcomp- syntax extension for optional compilation with cpp-like directive Closes: 736908 Changes: optcomp (1.5-1) unstable; urgency

Accepted ocaml-deriving-ocsigen 0.5-1 (source amd64)

OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libderiving-ocsigen-ocaml - deriving functions from type declarations in OCaml (runtime) libderiving-ocsigen-ocaml-dev - deriving functions from type declarations in OCaml (devt files

Accepted ocaml-atd 1.1.1-2 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org 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 Changes: ocaml-atd (1.1.1-2) unstable; urgency=medium . * Team

Accepted ocaml-reins 0.1a-5 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libreins-ocaml-dev - data structure library for OCaml Closes: 713499 Changes: ocaml-reins (0.1a-5) unstable; urgency=medium . * Team upload * debian/patches: + Fix test-suite with new oUnit (Closes: #713499) + Fix

Accepted easy-format 1.0.2-1 (source amd64)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libeasy-format-ocaml - easy(ier) pretty printing for OCaml - plugins libeasy-format-ocaml-dev - easy(ier) pretty printing for OCaml - development files Changes: easy-format (1.0.2-1) unstable; urgency

Accepted ocaml-sqlite3 2.0.5-1 (source amd64)

-ocaml-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.5-1) unstable; urgency=medium . * New upstream

Accepted pcre-ocaml 7.0.4-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.4-1) unstable; urgency=medium . * New upstream release

Accepted ben 0.6.7 (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: 728708 729090 732833 736159

Accepted postgresql-ocaml 2.0.5-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.5-1) unstable; urgency=medium

Accepted ocaml-csv 1.3.2-1 (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.2-1) unstable; urgency=medium . * New upstream release * Bump Standards

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

Changed-By: Stéphane Glondu glo...@debian.org Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-3) unstable; urgency=medium . * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update Vcs-* Checksums-Sha1

Accepted ssreflect 1.5~rc1-3 (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.4pl3dfsg-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 aac-tactics 0.4-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 ocaml-dbus 0.29-3 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libdbus-ocaml - OCaml bindings for the D-Bus API (runtime) libdbus-ocaml-dev - OCaml bindings for the D-Bus API (development files) Closes: 734844 Changes: ocaml-dbus (0.29-3) unstable; urgency=low . [ Stéphane Glondu

Accepted camlp5 6.11+dfsg-3 (source amd64)

-By: Stéphane Glondu glo...@debian.org Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Closes: 735341 Changes: camlp5 (6.11+dfsg-3) unstable; urgency=medium . * Repackage upstream tarball to remove non-free W3C icons (Closes: #735341) Checksums-Sha1

Accepted js-of-ocaml 1.4-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 apron 0.9.10-6 (source amd64 all)

debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libapron - runtime libraries for APRON libapron-dev - abstract interpretation library libapron-ocaml - runtime libraries for APRON (OCaml interface) libapron-ocaml-dev - abstract interpretation

Accepted lablgl 1:1.05-1 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: liblablgl-ocaml - Runtime libraries for lablgl liblablgl-ocaml-dev - OpenGL interface for Objective Caml Changes: lablgl (1:1.05-1) unstable; urgency=medium . * New upstream release Checksums-Sha1

Accepted coq-doc 8.4pl2-1 (source all)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: coq-doc- documentation for Coq coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Changes: coq-doc (8.4pl2-1) unstable; urgency=medium . * New upstream release

Accepted sks 1.1.4-2.1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 10 Dec 2013 07:18:02 +0100 Source: sks Binary: sks Architecture: source amd64 Version: 1.1.4-2.1 Distribution: unstable Urgency: high Maintainer: Christoph Martin christoph.mar...@uni-mainz.de Changed-By: Stéphane Glondu glo

Accepted lablgtk-extras 1.4-2 (source amd64 all)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: liblablgtk-extras-ocaml-dev - collection of modules for OCaml/LablGtk2 applications liblablgtk-extras-ocaml-doc - collection of modules for OCaml/LablGtk2 applications (documentat Changes

Accepted oasis 0.3.0-4 (source amd64 all)

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 - Architecture

Accepted frama-c 20130601+fluorine3+dfsg-2 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: frama-c- Framework for source code analysis of software written in C frama-c-base - Framework for C source code analysis (without gui) Closes: 731637 Changes: frama-c (20130601+fluorine3+dfsg-2) unstable; urgency

Accepted mysql-ocaml 1.1.2-3 (source amd64)

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libmysql-ocaml - OCaml bindings for MySql (runtime package) libmysql-ocaml-dev - OCaml bindings for MySql (development package) Changes: mysql-ocaml (1.1.2-3) unstable; urgency=low . * Team upload * Fix

Accepted facile 1.1-9 (source amd64)

Changed-By: Stéphane Glondu glo...@debian.org Description: libfacile-ocaml-dev - functional constraint library implemented in Objective Caml Closes: 731218 Changes: facile (1.1-9) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.01.0 (Closes: #731218

Accepted obus 1.1.5-3 (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 ocsigenserver 2.2.0-3 (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 planets 0.1.13-14 (source all)

-By: Stéphane Glondu glo...@debian.org Description: planets- Gravitation simulation of planetary bodies Closes: 731218 Changes: planets (0.1.13-14) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.01.0 (Closes: #731218) * Add tk-dev to Build

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

-By: Stéphane Glondu glo...@debian.org Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-2) unstable; urgency=low . * Recompile with OCaml 4.01.0 Checksums-Sha1: dd9e561092e361e23128eab5947cf91983b69ddc 1987 coq-float_8.4-2.dsc

Accepted ocaml-inifiles 1.2-3 (source amd64)

-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libinifiles-ocaml - read and write .ini files for OCaml (runtime) libinifiles-ocaml-dev - read and write .ini files for OCaml Changes: ocaml-inifiles (1.2-3) unstable; urgency=low . [ Stéphane Glondu

Accepted js-of-ocaml 1.3.2-4 (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 ocaml-expect 0.0.3-1 (source amd64)

...@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.3-1) unstable; urgency=low . * Team upload * Upload

Accepted ocaml-data-notation 0.0.11-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: 731404 Changes: ocaml-data-notation (0.0.11-1) unstable; urgency=low . * Team upload * Upload

Accepted ocamldap 2.1.8-9 (source amd64)

Changed-By: Stéphane Glondu glo...@debian.org Description: libldap-ocaml-dev - LDAP bindings for OCaml Closes: 731405 Changes: ocamldap (2.1.8-9) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Fix versioned build-deps to ensure smoother backports * Compile explicitly

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