Accepted lwt 1.1.0+darcs20090806-2 (source all amd64)

Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: liblwt-glib-ocaml - cooperative GLib bindings for OCaml (runtime) liblwt-glib-ocaml-dev - cooperative GLib bindings for OCaml liblwt

Bug#543377: ITP: babeld -- a loop-free distance-vector routing protocol

Package: wnpp Severity: wishlist Owner: Stephane Glondu st...@glondu.net * Package name: babeld Version : 0.96 Upstream Author : Juliusz Chroboczek j...@pps.jussieu.fr * URL : http://www.pps.jussieu.fr/~jch/software/babel/ * License : MIT/X Programming Lang

Bug#543378: ITP: ahcpd -- the Ad-Hoc Configuration Protocol

Package: wnpp Severity: wishlist Owner: Stephane Glondu st...@glondu.net * Package name: ahcpd Version : 0.50 Upstream Author : Juliusz Chroboczek j...@pps.jussieu.fr * URL : http://www.pps.jussieu.fr/~jch/software/ahcp/ * License : MIT/X Programming Lang: C

Accepted grisbi 0.6.0~cvs20090823-1 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 23 Aug 2009 23:39:38 +0200 Source: grisbi Binary: grisbi grisbi-common Architecture: source amd64 all Version: 0.6.0~cvs20090823-1 Distribution: experimental Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed

Accepted ocsigen 1.2.0-3 (source all amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen Closes: 536865 Changes: ocsigen (1.2.0-3) unstable; urgency=low

Accepted ocsigen 1.2.0-3+lwt.0 (source all amd64)

-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen Changes: ocsigen (1.2.0-3+lwt.0) experimental; urgency=low

Accepted lwt 1.1.0+darcs20090806-1 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: liblwt-ocaml-dev - Cooperative light-weight thread library for OCaml Changes: lwt (1.1.0+darcs20090806-1) experimental; urgency=low . * New upstream snapshot - this version comes with an important API incompatibility

Accepted mlpost 0.7.1-2 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: mlpost - Objective Caml interface to Metapost Changes: mlpost (0.7.1-2) unstable; urgency=low . * Add a patch to fix FTBFS on bytecode architectures Checksums-Sha1: c43cf86e451a26aaf2a32b39408c3f5132621688 1405 mlpost_0.7.1-2.dsc

Accepted mlpost 0.7.1-1 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: mlpost - Objective Caml interface to Metapost Changes: mlpost (0.7.1-1) unstable; urgency=low . * New upstream release: - update debian/copyright - debian/control: + new dependencies: libcairo-ocaml-dev, libbitstring-ocaml-dev

Accepted react 0.9.0-1 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libreact-ocaml - functional reactive programming in OCaml (plugins) libreact-ocaml-dev - functional reactive programming in OCaml Closes: 532639 Changes: react (0.9.0-1) unstable; urgency=low . * Initial release (Closes

Accepted grisbi 0.5.9-4 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Aug 2009 22:02:40 +0200 Source: grisbi Binary: grisbi grisbi-common Architecture: source amd64 all Version: 0.5.9-4 Distribution: unstable Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed-By: Stephane Glondu

Accepted pkglab 1.4.2-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 24 Jul 2009 17:01:43 +0200 Source: pkglab Binary: pkglab edos-distcheck Architecture: source amd64 Version: 1.4.2-4 Distribution: unstable Urgency: low Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane Glondu

Accepted advi 1.6.0-14 (source all amd64)

Changed-By: Stephane Glondu st...@glondu.net Description: advi - an active DVI previewer and presenter advi-examples - example presentations for Active-DVI (advi) Closes: 515364 534020 Changes: advi (1.6.0-14) unstable; urgency=low . [ Ralf Treinen ] * Added Homepage field to debian

Accepted nurpawiki 1.2.2-4 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: nurpawiki - Wiki with integrated to-do list and scheduler Changes: nurpawiki (1.2.2-4) unstable; urgency=low . * Patch upstream to build and install native plugin * Add dependency to quilt and README.source * Update Standards-Version

Accepted ocaml-bitstring 2.0.0-4 (source amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libbitstring-ocaml - Erlang-style bitstrings for OCaml libbitstring-ocaml-dev - Erlang-style bitstrings for OCaml Changes: ocaml-bitstring (2.0.0-4) unstable; urgency=low . [ Stephane Glondu ] * Add patch

Accepted grisbi 0.5.9-2 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: RIPEMD160 Format: 1.8 Date: Wed, 08 Jul 2009 18:12:12 +0200 Source: grisbi Binary: grisbi grisbi-common Architecture: source amd64 all Version: 0.5.9-2 Distribution: unstable Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed-By: Stephane

Accepted grisbi 0.5.9-3 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: RIPEMD160 Format: 1.8 Date: Wed, 08 Jul 2009 20:32:18 +0200 Source: grisbi Binary: grisbi grisbi-common Architecture: source amd64 all Version: 0.5.9-3 Distribution: unstable Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed-By: Stephane

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 04 Jul 2009 17:01:39 +0200 Source: ocaml-reins Binary: libreins-ocaml-dev Architecture: source amd64 Version: 0.1a-2 Distribution: unstable Urgency: low Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane Glondu

Accepted coq-float 1:8.2-1.2-3 (source all)

Changed-By: Stephane Glondu st...@glondu.net Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-3) unstable; urgency=low . * Rebuild with Coq 8.2pl1 Checksums-Sha1: 64656957bbb9210c1f2da1a31d1ea712a8cada16 1327 coq-float_8.2-1.2-3.dsc

Accepted coq 8.2.pl1+dfsg-1 (source all amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net 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 interface

Accepted omake 0.9.8.5-3-6 (source all amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: omake - build system with automated dependency analysis omake-doc - documentation for OMake Changes: omake (0.9.8.5-3-6) unstable; urgency=low . * Properly strip only on native architectures * Move to section ocaml

Accepted ocsigen 1.2.0-2 (source all amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen Changes: ocsigen (1.2.0-2) unstable; urgency=low . * Fix

Accepted ledit 2.01-4 (source all amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: ledit - line editor for interactive programs libledit-ocaml-dev - OCaml line editor library Closes: 535394 Changes: ledit (2.01-4) unstable; urgency=low . [ Stephane Glondu ] * Add myself to Uploaders and DMUA * Fix

Accepted ocaml-res 3.2.0-1 (source amd64)

Changed-By: Stephane Glondu st...@glondu.net Description: libres-ocaml-dev - OCaml library for automatically resizing contiguous data structur Changes: ocaml-res (3.2.0-1) unstable; urgency=low . * New Upstream Version * Use quilt to handle patches; add README.source * Update

Accepted coq 8.2-1+dfsg-2 (source all amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net 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 interface

Accepted coq-float 1:8.2-1.2-2 (source all)

Changed-By: Stephane Glondu st...@glondu.net Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-2) unstable; urgency=low . * Recompile with OCaml 3.11.1 ABI * Update Standards-Version to 3.8.2 Checksums-Sha1

Accepted ocsigen 1.2.0-1 (source all amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen Changes: ocsigen (1.2.0-1) unstable; urgency=low . * New

Accepted ocaml-sqlite3 1.5.1-1 (source amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs Changes: ocaml-sqlite3 (1.5.1-1) unstable; urgency=low . * New upstream release

Accepted lablgtk2 2.12.0-3 (source amd64)

liblablgtksourceview-ocaml-dev Architecture: source amd64 Version: 2.12.0-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings

Accepted pcre-ocaml 6.0.0-1 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libpcre-ocaml - OCaml bindings for PCRE (Perl Compatible Regular Expression) libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular Expression) Changes: pcre-ocaml (6.0.0-1) unstable; urgency=low

Accepted pcre-ocaml 6.0.1-1 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libpcre-ocaml - OCaml bindings for PCRE (Perl Compatible Regular Expression) libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular Expression) Changes: pcre-ocaml (6.0.1-1) unstable; urgency=low

Accepted camlp5 5.12-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 28 Jun 2009 11:10:13 +0200 Source: camlp5 Binary: camlp5 Architecture: source amd64 Version: 5.12-1 Distribution: unstable Urgency: low Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane Glondu st...@glondu.net

Accepted mlpost 0.6-3 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: mlpost - Objective Caml interface to Metapost Changes: mlpost (0.6-3) unstable; urgency=low . * Add dependency to context (needed for mp-tool.mp) * Update Standards-Version to 3.8.2 * debian/rules: use ocaml.mk as a rules file Checksums

Accepted ocaml 3.11.1-1 (source all amd64)

Version: 3.11.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted ocaml 3.11.1-2 (source all amd64)

Version: 3.11.1-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted ocaml-text 0.2-2 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libtext-ocaml - runtime libraries of OCaml-Text libtext-ocaml-dev - library for dealing with sequences of Unicode characters Closes: 534112 Changes: ocaml-text (0.2-2) unstable; urgency=low . * Add dependency to libtext

Bug#532639: ITP: react -- functional reactive programming in OCaml

Package: wnpp Severity: wishlist Owner: Stephane Glondu st...@glondu.net * Package name: react Version : 0.9.0 Upstream Author : Daniel C. Bünzli daniel.buen...@erratique.ch * URL : http://erratique.ch/software/react * License : BSD Programming Lang: OCaml

Accepted pycaml 0.82-10 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: pycaml - OCaml bindings to embed Python interpreter and objects Closes: 482917 531806 Changes: pycaml (0.82-10) unstable; urgency=low . [ Stephane Glondu ] * Add myself to Uploaders and DM-Upload-Allowed * Use quilt instead of dpatch

Accepted ocaml-sqlite3 1.4.0-2 (source amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs Changes: ocaml-sqlite3 (1.4.0-2) unstable; urgency=low . [ Stefano Zacchiroli

Accepted ocaml-text 0.2-1 (source i386)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libtext-ocaml - runtime libraries of OCaml-Text libtext-ocaml-dev - library for dealing with sequences of Unicode characters Closes: 527906 Changes: ocaml-text (0.2-1) unstable; urgency=low . * Initial release (Closes

Accepted cryptokit 1.3-13 (source amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml - development Closes: 527816 Changes: cryptokit (1.3-13) unstable

Bug#527906: ITP: ocaml-text -- library for dealing with sequences of Unicode characters

Package: wnpp Severity: wishlist Owner: Stephane Glondu st...@glondu.net * Package name: ocaml-text Version : 0.2 Upstream Author : Jeremie Dimino jere...@dimino.org * URL : http://ocaml-text.forge.ocamlcore.org/ * License : BSD-C3 Programming Lang: C, OCaml

Accepted camlzip 1.04-4 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libzip-ocaml - OCaml compression libraries (runtime libraries) libzip-ocaml-dev - OCaml compression libraries (development files) Closes: 524017 Changes: camlzip (1.04-4) unstable; urgency=low . * Install zip.a along

Accepted omake 0.9.8.5-3-5 (source all amd64)

Changed-By: Stephane Glondu st...@glondu.net Description: omake - build system with automated dependency analysis omake-doc - documentation for OMake Closes: 505045 522008 Changes: omake (0.9.8.5-3-5) unstable; urgency=low . * Add DM-Upload-Allowed * Switch copyright to new format

Accepted camlzip 1.04-3 (source i386)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libzip-ocaml - OCaml compression libraries (runtime libraries) libzip-ocaml-dev - OCaml compression libraries (development files) Changes: camlzip (1.04-3) unstable; urgency=low . * Add myself to Uploaders and DMUA * Move

Accepted cryptokit 1.3-11 (source i386)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml - development Changes: cryptokit (1.3-11) unstable; urgency=low . * Add

Accepted nurpawiki 1.2.2-3 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: nurpawiki - Wiki with integrated to-do list and scheduler Changes: nurpawiki (1.2.2-3) unstable; urgency=low . * Add debian/gbp.conf to force use of pristine-tar * Update Standards-Version to 3.8.1 (no changes) Checksums-Sha1

Accepted mumudvb 1.5.4-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 22 Mar 2009 13:05:41 +0100 Source: mumudvb Binary: mumudvb Architecture: source amd64 Version: 1.5.4-1 Distribution: unstable Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed-By: Stephane Glondu st...@glondu.net

Accepted mlpost 0.6-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 08 Feb 2009 13:04:13 +0100 Source: mlpost Binary: mlpost Architecture: source amd64 Version: 0.6-1 Distribution: experimental Urgency: low Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane Glondu st

Accepted mlpost 0.6-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 22 Mar 2009 14:05:13 +0100 Source: mlpost Binary: mlpost Architecture: source amd64 Version: 0.6-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane

Accepted grisbi 0.5.9-1 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 15 Mar 2009 11:38:22 +0100 Source: grisbi Binary: grisbi grisbi-common Architecture: source i386 all Version: 0.5.9-1 Distribution: unstable Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed-By: Stephane Glondu

Accepted ocaml-res 3.1.1-2 (source amd64)

Changed-By: Stephane Glondu st...@glondu.net Description: libres-ocaml-dev - OCaml library for automatically resizing contiguous data structur Changes: ocaml-res (3.1.1-2) unstable; urgency=low . * Update upstream patch to make it work on bytecode archs Checksums-Sha1

Accepted ocaml-res 3.1.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 15 Mar 2009 13:36:42 +0100 Source: ocaml-res Binary: libres-ocaml-dev Architecture: source amd64 Version: 3.1.1-1 Distribution: unstable Urgency: low Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane Glondu st

Accepted coq-float 1:8.2-1.2-1 (source all)

-By: Stephane Glondu st...@glondu.net Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-1) unstable; urgency=low . [ Samuel Mimram ] * Switch packaging to git. * Enforce strict dependency on coq ABI. * Update standards version

Accepted ocsigen 1.1.0-2 (source all amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen Changes: ocsigen (1.1.0-2) unstable; urgency=low . [ Samuel

Accepted ocamlduce 3.11.0.0~rc1-2 (source amd64)

Changed-By: Stephane Glondu st...@glondu.net Description: ocamlduce - OCaml extended with XML types Changes: ocamlduce (3.11.0.0~rc1-2) unstable; urgency=low . * First upload to unstable * Use ocamlinit from dh-ocaml Checksums-Sha1: a0b62ba7600bc00a6324efa7b26a8dae3778d515 1368

Accepted ocamlduce 3.11.0.0~rc1-1 (source amd64)

Changed-By: Stephane Glondu st...@glondu.net Description: ocamlduce - OCaml extended with XML types Closes: 469460 Changes: ocamlduce (3.11.0.0~rc1-1) experimental; urgency=low . * Initial release (Closes: #469460) Checksums-Sha1: 726b76c03ee2b12f3886876d84a462627195260e 1350

Accepted ocaml-csv 1.1.7-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 03 Mar 2009 23:31:49 +0100 Source: ocaml-csv Binary: libcsv-ocaml-dev csvtool Architecture: source amd64 Version: 1.1.7-1 Distribution: unstable Urgency: low Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane

Accepted lwt 1.1.0-3 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: liblwt-ocaml-dev - Cooperative light-weight thread library for OCaml Changes: lwt (1.1.0-3) unstable; urgency=low . * Add dependency on dh-ocaml * Use ocaml.mk as rules file, instead of class * Bump version of libssl-ocaml-dev

Accepted ocamlpam 1.1-3 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libpam-ocaml - OCaml bindings for the PAM library libpam-ocaml-dev - OCaml bindings for the PAM library (development files) Changes: ocamlpam (1.1-3) unstable; urgency=low . * Add dh-ocaml as build-dependency * Use ocaml.mk

Accepted coq 8.2-1+dfsg-1 (source all amd64)

-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net 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 interface) libcoq

Accepted perl4caml 0.9.5-2 (source all amd64)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libperl4caml-ocaml - Use Perl code in OCaml programs, runtime library libperl4caml-ocaml-dev - Use Perl code in OCaml programs, development files libperl4caml-ocaml-doc - Use Perl code

Accepted perl4caml 0.9.5-1 (source all amd64)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libperl4caml-ocaml - Use Perl code in OCaml programs, runtime library libperl4caml-ocaml-dev - Use Perl code in OCaml programs, development files libperl4caml-ocaml-doc - Use Perl code

Accepted ocaml 3.11.0-4 (source all armel)

Version: 3.11.0-4 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted ocaml 3.11.0-3 (source all amd64)

Version: 3.11.0-3 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml

Accepted dh-ocaml 0.2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Feb 2009 15:31:22 +0100 Source: dh-ocaml Binary: dh-ocaml Architecture: source all Version: 0.2 Distribution: experimental Urgency: low Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane Glondu st

Accepted mumudvb 1.5.3-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Feb 2009 00:43:24 +0100 Source: mumudvb Binary: mumudvb Architecture: source i386 Version: 1.5.3-2 Distribution: unstable Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed-By: Stephane Glondu st...@glondu.net

Accepted coq 8.2~rc2+dfsg-2 (source all amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net 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 interface

Accepted coq 8.2~rc2+dfsg-3 (source all amd64)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net 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 interface

Accepted coq 8.2~rc2+dfsg-1 (source all i386)

-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net 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 interface

Bug#513972: ITP: mlpost -- Objective Caml interface to Metapost

Package: wnpp Severity: wishlist Owner: Stephane Glondu st...@glondu.net * Package name: mlpost Version : 0.5 Upstream Author : Jean-Christophe Filliâtre (and others) * URL : http://mlpost.lri.fr/ * License : LGPL + OCaml linking exception Programming Lang

Accepted lablgtk2 2.10.1-3 (source amd64)

liblablgtksourceview-ocaml-dev Architecture: source amd64 Version: 2.10.1-3 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings

Accepted hevea 1.10-6 (source all)

-By: Stephane Glondu st...@glondu.net Description: hevea - translates from LaTeX to HTML, info, or text Changes: hevea (1.10-6) experimental; urgency=low . * Rebuild with OCaml 3.11.0 * Add myself to Uploaders Checksums-Sha1: 2adbbbdee3b3f8d4edd966f56296c8014b8bff86 1465 hevea_1.10-6.dsc

Accepted omake 0.9.8.5-3-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 13 Jan 2009 18:19:05 +0100 Source: omake Binary: omake Architecture: source amd64 Version: 0.9.8.5-3-4 Distribution: unstable Urgency: high Maintainer: Stefano Zacchiroli z...@debian.org Changed-By: Stephane Glondu st

Accepted mumudvb 1.5.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 09 Dec 2008 22:09:47 +0100 Source: mumudvb Binary: mumudvb Architecture: source amd64 Version: 1.5.3-1 Distribution: experimental Urgency: low Maintainer: Stephane Glondu st...@glondu.net Changed-By: Stephane Glondu st

Accepted pcre-ocaml 5.15.1-1 (source amd64)

...@lists.debian.org Changed-By: Stephane Glondu st...@glondu.net Description: libpcre-ocaml - OCaml bindings for PCRE (Perl Compatible Regular Expression) libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular Expression) Changes: pcre-ocaml (5.15.1-1) experimental; urgency=low

Accepted camlp5 5.10-1 (source amd64)

-By: Stephane Glondu st...@glondu.net Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Closes: 507884 Changes: camlp5 (5.10-1) experimental; urgency=low . * New upstream release, compatible with OCaml 3.11.0 (Closes: #507884) * Switch packaging to git * Add

Accepted findlib 1.2.3-1 (source amd64)

Changed-By: Stephane Glondu st...@glondu.net Description: ocaml-findlib - Management tool for OCaml programming language libraries Changes: findlib (1.2.3-1) experimental; urgency=low . * New Upstream Version * Add README.source * Update Standards-Version to 3.8.0 * Add myself

Accepted nurpawiki 1.2.2-2 (source i386)

-By: Stephane Glondu st...@glondu.net Description: nurpawiki - Wiki with integrated to-do list and scheduler Changes: nurpawiki (1.2.2-2) experimental; urgency=low . * Fix generation of OCaml ABI dependency Checksums-Sha1: e5c723e020578942dd74fd75867eb9cc2d29a386 1355 nurpawiki_1.2.2-2.dsc

Bug#508468: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

Package: wnpp Severity: wishlist Owner: Stephane Glondu [EMAIL PROTECTED] * Package name: ssreflect Version : 1.1 Upstream Author : Georges Gonthier (Microsoft Research - Inria Joint Centre) * URL : http://www.msr-inria.inria.fr/Projects/math-components * License

Accepted ocaml 3.11.0-1 (source all amd64)

Version: 3.11.0-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED] Changed-By: Stephane Glondu [EMAIL PROTECTED] Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml - extras ocaml

Accepted nurpawiki 1.2.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 14 Nov 2008 13:40:40 +0100 Source: nurpawiki Binary: nurpawiki Architecture: source amd64 Version: 1.2.2-1 Distribution: experimental Urgency: low Maintainer: Stefano Zacchiroli [EMAIL PROTECTED] Changed-By: Stephane Glondu

Accepted ocaml 3.11.0~beta1-1 (source all amd64)

Version: 3.11.0~beta1-1 Distribution: experimental Urgency: low Maintainer: Stefano Zacchiroli [EMAIL PROTECTED] Changed-By: Stephane Glondu [EMAIL PROTECTED] Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml - extras ocaml

Accepted ocaml-ssl 0.4.2-4 (source i386)

-By: Stephane Glondu [EMAIL PROTECTED] Description: libssl-ocaml - OCaml bindings for OpenSSL libssl-ocaml-dev - OCaml bindings for OpenSSL Closes: 500591 Changes: ocaml-ssl (0.4.2-4) unstable; urgency=low . [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir

Bug#500726: ITP: nurpawiki -- Wiki with integrated to-do list and scheduler

Package: wnpp Severity: wishlist Owner: Stephane Glondu [EMAIL PROTECTED] * Package name: nurpawiki Version : 1.2.1 Upstream Author : Janne Hellsten [EMAIL PROTECTED] * URL : http://code.google.com/p/nurpawiki/ * License : GPL-2+ Programming Lang: OCaml

Accepted coq 8.2~beta4+dfsg-2 (source all i386)

-By: Stephane Glondu [EMAIL PROTECTED] Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-libs - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) Closes: 495165 Changes: coq (8.2~beta4

Accepted coq 8.2~beta4+dfsg-1 (source all i386)

-By: Stephane Glondu [EMAIL PROTECTED] Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-libs - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) Changes: coq (8.2~beta4+dfsg-1

Accepted ocsigen 1.1.0-1 (source all i386)

-By: Stephane Glondu [EMAIL PROTECTED] Description: ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen Changes: ocsigen (1.1.0-1) unstable; urgency=low . * New upstream release

Accepted camlpdf 0.3-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 23 Jul 2008 15:40:29 +0200 Source: camlpdf Binary: libcamlpdf-ocaml-dev Architecture: source amd64 Version: 0.3-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED] Changed-By: Stephane

Accepted lwt 1.1.0-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 11 Jul 2008 13:20:06 +0200 Source: lwt Binary: liblwt-ocaml-dev Architecture: source i386 Version: 1.1.0-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED] Changed-By: Stephane Glondu

Accepted ocsigen 1.1.0~rc1-1 (source all i386)

] Changed-By: Stephane Glondu [EMAIL PROTECTED] Description: ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen Closes: 485566 Changes: ocsigen (1.1.0~rc1-1) unstable; urgency=low . * New

Accepted libapache-authcookie-perl 3.10-1.1 (source all)

-By: Stephane Glondu [EMAIL PROTECTED] Description: libapache-authcookie-perl - Apache/mod_perl Authentication and Authorization via cookies Closes: 424493 Changes: libapache-authcookie-perl (3.10-1.1) unstable; urgency=low . * Non-maintainer upload. * Fix FTBFS if built twice in a row

Accepted lwt 1.1.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 27 Jun 2008 00:47:45 +0200 Source: lwt Binary: liblwt-ocaml-dev Architecture: source amd64 Version: 1.1.0-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED] Changed-By: Stephane Glondu

Accepted ocamlpam 1.1-2 (source i386)

-By: Stephane Glondu [EMAIL PROTECTED] Description: libpam-ocaml - OCaml bindings for the PAM library libpam-ocaml-dev - OCaml bindings for the PAM library Changes: ocamlpam (1.1-2) unstable; urgency=low . * Patch upstream Makefile (install target) to fix FTBFS on non- native architectures

Accepted ocamlpam 1.1-1 (source i386)

-By: Stephane Glondu [EMAIL PROTECTED] Description: libpam-ocaml - OCaml bindings for the PAM library libpam-ocaml-dev - OCaml bindings for the PAM library Closes: 476482 Changes: ocamlpam (1.1-1) unstable; urgency=low . * Initial release (Closes: #476482) Checksums-Sha1

Accepted net-acct 0.71-8 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 21 Jun 2008 12:14:12 +0200 Source: net-acct Binary: net-acct Architecture: source amd64 Version: 0.71-8 Distribution: unstable Urgency: low Maintainer: Stephane Glondu [EMAIL PROTECTED] Changed-By: Stephane Glondu [EMAIL

Accepted ocaml-sqlite3 1.2.0-1 (source i386)

] Changed-By: Stephane Glondu [EMAIL PROTECTED] Description: libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs Changes: ocaml-sqlite3 (1.2.0-1) unstable; urgency=low . * New upstream release. Checksums-Sha1

Bug#481616: ITP: mumudvb -- Multicast a DVB transponder over multiple IP addresses

Package: wnpp Severity: wishlist Owner: Stephane Glondu [EMAIL PROTECTED] * Package name: mumudvb Version : 1.2.5 Upstream Author : Brice Dubost [EMAIL PROTECTED] * URL : http://mumudvb.braice.net * License : GPL Programming Lang: C Description

Bug#476482: ITP: ocamlpam -- OCaml bindings for the PAM library

Package: wnpp Severity: wishlist Owner: Stephane Glondu [EMAIL PROTECTED] * Package name: ocamlpam Version : 1.0 Upstream Author : Sharvil Nanavati [EMAIL PROTECTED] * URL : http://sharvil.nanavati.net/projects/ocamlpam/ * License : MIT Programming Lang: C

Accepted ocsigen 1.0.0-1 (source all amd64)

PROTECTED] Changed-By: Stephane Glondu [EMAIL PROTECTED] Description: liblwt-ocaml-dev - Cooperative light-weight thread library for OCaml ocsigen- Web server and programming framework in OCaml ocsigen-dev - Development files for Ocsigen ocsigen-doc - Developer's documentation for Ocsigen

  1   2   >