Accepted fieldslib 113.33.03-1 (source amd64) into experimental, experimental

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libfieldslib-ocaml - OCaml syntax extension that enables folding over record fields (r libfieldslib-ocaml-dev - OCaml syntax extension that enables folding over record fields (d Changes

Accepted bin-prot 113.33.03-1 (source amd64) into experimental, experimental

<debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libbin-prot-ocaml - type-safe binary serialization for OCaml values (runtime) libbin-prot-ocaml-dev - type-safe binary serialization for OCaml values (dev files) Changes: bin-prot

Accepted ocaml-ctypes 0.7.0-1 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.7.0-1) unsta

Accepted lwt 2.5.2-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 ppx-core 113.33.03-1 (source amd64) into unstable, unstable

aml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libppx-core-ocaml - standard library for ppx rewriters (runtime files) libppx-core-ocaml-dev - standard library for ppx rewriters (dev files) Closes: 832596 Changes: ppx-core (113.33.03-1) unstable;

Accepted ppx-tools 5.0+4.02.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.02.0-1) unstable; urgency=medium . * New upstream release - remove patches (merged upstream) * Update Vcs

Accepted js-build-tools 113.33.04-1 (source amd64) into unstable, 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 Closes: 832174 Changes: js-build-tools (113.33.04-1) unstable; urgency=low . * Initial release (Closes: #83217

Accepted ocaml-ctypes 0.6.2-7 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.6.2-7) unsta

Accepted ocaml-ctypes 0.6.2-6 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.6.2-6) unsta

Accepted ocaml-ctypes 0.6.2-5 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.6.2-5) unsta

Accepted ocaml-ctypes 0.6.2-4 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.6.2-4) unsta

Accepted ocaml-ctypes 0.6.2-3 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.6.2-3) unsta

Accepted ocaml-ctypes 0.6.2-2 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.6.2-2) unsta

Accepted ocaml-ctypes 0.6.2-1 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.6.2-1) unsta

Accepted findlib 1.6.2-1 (source amd64) into unstable

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

Accepted camlp5 6.16-1 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Changes: camlp5 (6.16-1) unstable; urgency=medium . * New upstream release * Bump debhelper compat to 9 * Bump Standards-Version to 3.9.8 * Update Vcs

Accepted yojson 1.3.2-1 (source amd64) into unstable

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

Accepted cppo 1.3.2-1 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: cppo - cpp for OCaml Changes: cppo (1.3.2-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards-Version to 3.9.8 * Fix Vcs-Git Checksums-Sha1: e40ba6191a388acad6efd9b403af1944f3a86824 1935

Accepted ocurl 0.7.6-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libcurl-ocaml - OCaml curl bindings (Runtime Library) libcurl-ocaml-dev - OCaml libcurl bindings (Development package) Changes: ocurl (0.7.6-2) unstable; urgency=medium . * Team upload * Fix installation

Accepted ocurl 0.7.6-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libcurl-ocaml - OCaml curl bindings (Runtime Library) libcurl-ocaml-dev - OCaml libcurl bindings (Development package) Closes: 815577 Changes: ocurl (0.7.6-1) unstable; urgency=medium . * Team upload *

Accepted ocaml 4.02.3-6 (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: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OC

Accepted ocaml-ctypes 0.4.1-2 (source amd64) into unstable

aml-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) Changes: ocaml-ctypes (0.4.1-2) unsta

Accepted nurpawiki 1.2.3-9 (source amd64) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: nurpawiki - Wiki with integrated to-do list and scheduler Closes: 812711 Changes: nurpawiki (1.2.3-9) unstable; urgency=medium . * Port to Eliom 4.2 (Closes: #812711) * Bump debhelper compat to 9 * Bump Standards-Vers

Accepted babeld 1.7.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 07 Feb 2016 16:10:50 +0100 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.7.0-1 Distribution: unstable Urgency: medium Maintainer: Stéphane Glondu <glo...@debian.org> Changed-By: Stéphane Glond

Accepted atdgen 1.7.2-1 (source amd64) into unstable

-ma...@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.7.2-1) unstable; ur

Accepted yojson 1.3.0-1 (source amd64) into unstable

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

Accepted eliom 4.2-2 (source amd64 all) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: eliom - web framework for ocsigenserver (tools) libeliom-ocaml-dev - web framework for ocsigenserver (dev libraries) libeliom-ocaml-doc - web framework for ocsigenserver (documentation) Cha

Accepted cppo 1.3.1-1 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: cppo - cpp for OCaml Changes: cppo (1.3.1-1) unstable; urgency=medium . * Team upload * New upstream release * Update Vcs-* Checksums-Sha1: f7bb7c27f7e0d09cc2a8c53cd58c7a79239b0e6a 1939 cppo

Accepted easy-format 1.2.0-1 (source amd64) into unstable

<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.2.0-1) unsta

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

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

Accepted ocaml-zarith 1.4.1-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 integ

Accepted eliom 4.2-1 (source amd64 all) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: eliom - web framework for ocsigenserver (tools) libeliom-ocaml-dev - web framework for ocsigenserver (dev libraries) libeliom-ocaml-doc - web framework for ocsigenserver (documentation) Cl

Accepted ocaml-ctypes 0.4.1-1 (source amd64) into unstable

aml-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: 792657 Changes: ocaml-cty

Accepted js-of-ocaml 2.5-2 (source amd64 all) into unstable

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 t

Accepted ocaml-ssl 0.5.1-2 (source amd64) into unstable

-ma...@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.5.1-2) unstable; urgency=medium . * Remove SSLv3 support * Fix license short na

Accepted obus 1.1.5-5 (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 reactivedata 0.1-2 (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-2 (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-2) unstable; urgency=medium . * Bump debhelper compa

Accepted reactivedata 0.1-1 (source amd64) into experimental, experimental

<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 Closes: 803257 Changes: react

Accepted react 1.2.0-1 (source amd64) into experimental

-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-1) experimental; urgency=medium . * New upst

Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable

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

Accepted ocaml 4.02.3-5 (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: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OC

Accepted xstrp4 1.8.1-2 (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-2) unstable; urgency=medium . * Team upload * Recompile with OCaml 4.02.3 Ch

Accepted mathcomp 1.5-4 (source all) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libmathcomp-coq - Mathematical Components library for Coq (theories) Changes: mathcomp (1.5-4) unstable; urgency=medium . * Team upload * Recompile with OCaml 4.02.3 Checksums-Sha1: 6c9dac411bd5e78baa7b0a8de554bb0c8

Accepted ocaml-usb 1.3.0-3 (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-3) unstable; urgency=medium . * Add camlp4 to Build-Depends Ch

Accepted obus 1.1.5-4 (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 ocamlnet 4.0.4-1 (source amd64 all) into unstable

-mod-netcgi-apache libocamlnet-ocaml-doc Architecture: source amd64 all Version: 4.0.4-1 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 freetennis 0.4.8-10 (source all amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: freetennis - Free Tennis - simulation game freetennis-common - Free Tennis - simulation game Changes: freetennis (0.4.8-10) unstable; urgency=medium . * Team upload * Build-depend on ocaml (

Accepted prooftree 0.12-2 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: prooftree - proof-tree visualization for Proof General Changes: prooftree (0.12-2) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.02 . [ Hendrik Tews ] * lintian canonical v

Accepted mldonkey 3.1.5-3 (source amd64) into unstable

-ma...@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 Changes: mldonkey (3.1.5-3) unstable; urgency=medium . * Team upload * Remove myself from Upload

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

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.4-5) unstable; urgency=medium . * Recompile with OCaml 4.02.3 Checksums-Sha1: 6f22f5b21d32ea574c0637ec37e21bd814c18a94 1986 coq-flo

Accepted lwt 2.5.0+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 ocaml-ssl 0.5.1-1 (source amd64) into unstable

-ma...@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.5.1-1) unstable; urgency=medium . * New upstream release Ch

Accepted aac-tactics 0.4-5 (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 ssreflect 1.5-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 labltk 8.06.0+dfsg-3 (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) Closes: 80

Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable

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

Accepted lablgtk-extras 1.5-1 (source amd64 all) into unstable

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 (docume

Accepted camlimages 1:4.2.0-1 (source amd64 all) into unstable

: Debian 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) libcamlimag

Accepted tophide 1.0.3-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.3-1) unstable; urgency=medium . * Team upload * New upstream release * Compile with OCaml >= 4.02 * Fix Vcs-* U

Accepted lablgtk2 2.18.3+dfsg-1 (source amd64 all) into unstable

liblablgtksourceview2-ocaml-dev liblablgtk2-ocaml-doc Architecture: source amd64 all Version: 2.18.3+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: liblablg

Accepted ppx-tools 0.99.2-4 (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 (0.99.2-4) unstable; urgency=medium . * Upload to unstable Checksums-Sha1: d5a74cb368871dd437fbf6609edf6364a9bb8

Accepted ocamlweb 1.39-3 (source all) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: ocamlweb - Literate programming tool for Objective Caml Changes: ocamlweb (1.39-3) unstable; urgency=medium . * Team upload * Recompile with OCaml 4.02.3 Checksums-Sha1: 106c06db10e8bd40b2e62804ffc4e5c3ad5883a5 2105 ocamlwe

Accepted ocamlwc 0.3-12 (source all) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: ocamlwc- count the lines of code and comments in OCaml sources Changes: ocamlwc (0.3-12) unstable; urgency=medium . * Recompile with OCaml 4.02.3 Checksums-Sha1: 5a65b422f2ec29b4c8a37f51b4b511b29cdaf161 2039 ocamlw

Accepted ocaml-tools 20120103-4 (source all) into unstable

org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: ocaml-tools - tools for OCaml developers Changes: ocaml-tools (20120103-4) unstable; urgency=medium . * Team upload * Recompile with OCaml 4.02.3 Checksums-Sha1: b96819af221679f19e867528871b980285deb3d1 2026 ocaml-to

Accepted hlins 0.39-21 (source all) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: hlins - Insert URLs into html documents Changes: hlins (0.39-21) unstable; urgency=medium . * Team upload * Recompile with ocaml 4.02.3 Checksums-Sha1: 156e3b0e0e0a3a7f1bbeef6e1d28999105991a99 1912 hlins

Accepted hevea 2.23-2 (source all) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: hevea - translates from LaTeX to HTML, info, or text Changes: hevea (2.23-2) unstable; urgency=medium . * Recompile with OCaml 4.02.3 Checksums-Sha1: 92e7ffea218c641ffad9633b5952ba3babcf44e6 2077 heve

Accepted lablgl 1:1.05-2 (source amd64) into unstable

-ma...@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-2) unstable; urgency=medium . * Add liblabltk-ocaml-dev to Build-Depen

Accepted planets 0.1.13-15 (source all) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: planets- Gravitation simulation of planetary bodies Changes: planets (0.1.13-15) unstable; urgency=low . * Team upload * Fix bug number in previous changelog entry * Add liblabltk-ocaml-dev to Build-Depends Ch

Accepted labltk 8.06.0+dfsg-2 (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 camlp5 6.14-1 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Changes: camlp5 (6.14-1) unstable; urgency=medium . * New upstream release * Upload to unstable Checksums-Sha1: f89489789f8991818af2bf746c6871e6aefccd61 2005

Accepted findlib 1.5.5-2 (source amd64) into unstable

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

Accepted camlp4 4.02.1+3-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: camlp4 - Pre Processor Pretty Printer for OCaml libcamlp4-ocaml-dev - Pre Processor Pretty Printer for OCaml (libraries) Changes: camlp4 (4.02.1+3-2) unstable; urgency=medium . * Upload to unstable Ch

Accepted ocaml 4.02.3-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: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OC

Accepted ocaml-estring 20130822-5 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libestring-ocaml - Estring: OCaml development platform (runtime) libestring-ocaml-dev - Estring: OCaml development platform (development) Closes: 798549 Changes: ocaml-estring (20130822-5) unsta

Accepted yojson 1.2.3-1 (source amd64) into unstable

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

Accepted ocaml-deriving-ocsigen 0.7-1 (source amd64) into unstable

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

Accepted ocaml-deriving-ocsigen 0.7-2 (source amd64) into unstable

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

Accepted cppo 1.1.2-2 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: cppo - cpp for OCaml Changes: cppo (1.1.2-2) unstable; urgency=medium . * Team upload * Fix compilation on bytecode architectures Checksums-Sha1: 606c32f1c2be935abb4290a8bbede633cf25fe57 1933 cppo

Accepted oasis 0.4.5-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 cppo 1.1.2-1 (source amd64) into unstable

hanged-By: Stéphane Glondu <glo...@debian.org> Description: cppo - cpp for OCaml Changes: cppo (1.1.2-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards-Version to 3.9.6 Checksums-Sha1: 86e4f6f883484a12051a8d8caab8354981cc8057 1933 cppo

Accepted ocaml 4.02.3-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 unison 2.48.3-1 (source amd64) into unstable

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: 504503 705318 777238 Changes: unison (2.48.3-1) unstable; urgency=medium . * New

Accepted meta-unison 2.48+1 (source all) into unstable

...@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.48+1) unstable; urgency=medium . * Bump unison version to = 2.48 * Drop

Accepted findlib 1.5.5-0+2 (source amd64) into unstable

: Debian 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 unison2.40.102 2.40.102-3 (source amd64) into unstable, unstable

-ocaml-ma...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: unison2.40.102 - file-synchronization tool for Unix and Windows unison2.40.102-gtk - file-synchronization tool for Unix and Windows with GTK+ interfac Changes: unison2.40.102 (2.40.102-3) unstable; urgency=medium

Accepted findlib 1.5.5-0+1 (source amd64) into unstable

: Debian 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 4.02.3-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 dh-ocaml 1.0.10 (source all) into unstable

-By: Stéphane Glondu glo...@debian.org Description: dh-ocaml - helper tools for maintaining OCaml-related Debian packages Closes: 500036 779037 Changes: dh-ocaml (1.0.10) unstable; urgency=medium . [ Riley Baird ] * Added option to set alioth username in dom-git-new-repo . [ Stéphane

Accepted yojson 1.1.8-2 (source amd64) into unstable

...@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-2) unstable; urgency=medium . * Team upload * Fix Vcs-* URLs

Accepted aac-tactics 0.4-4 (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 - Coq tactics

Accepted cmdliner 0.9.7-1 (source amd64) into unstable

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libcmdliner-ocaml-dev - declarative definition of command line interfaces Changes: cmdliner (0.9.7-1) unstable; urgency=medium . * Team upload * New upstream release * Update debian/watch * Update Vcs-* * Bump Standards

Accepted babeld 1.6.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 20 Jun 2015 11:33:19 +0200 Source: babeld Binary: babeld Architecture: source amd64 Version: 1.6.1-1 Distribution: unstable Urgency: medium Maintainer: Stéphane Glondu glo...@debian.org Changed-By: Stéphane Glondu glo

Accepted labltk 8.06.0+dfsg-1 (source amd64) into experimental, experimental

-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) Closes: 779039 Changes

Accepted camlp4 4.02.1+3-1 (source amd64) into experimental, experimental

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml libcamlp4-ocaml-dev - Pre Processor Pretty Printer for OCaml (libraries) Changes: camlp4 (4.02.1+3-1) experimental; urgency=medium . * New upstream release Checksums

Accepted calendar 2.04-1 (source amd64 all) into unstable

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 (runtime) libcalendar-ocaml-dev - OCaml library providing operations over dates and times (dev file libcalendar

Accepted parmap 1.0~rc4-5 (source amd64) into unstable

...@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 Closes: 785304 Changes: parmap (1.0~rc4-5

Accepted ocaml-benchmark 1.3-1 (source amd64) into unstable

...@lists.debian.org Changed-By: Stéphane Glondu glo...@debian.org Description: libbenchmark-ocaml-dev - OCaml benchmarking library Changes: ocaml-benchmark (1.3-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards-Version to 3.9.6 (no changes) Checksums-Sha1

Accepted mysql-ocaml 1.2.0-1 (source amd64) into unstable

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

Accepted pxp 1.2.7-1 (source amd64) into unstable

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

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