Accepted ben 0.6.11.2 (source amd64) into unstable

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: ben- toolbox for Debian maintainers libben-ocaml - OCaml libraries for Debian maintainers (runtime package) libben-ocaml-dev - OCaml libraries for Debian maintainers (development package) Changes: ben (0.6.11.2) unstable

Accepted galax 1.1-12 (source amd64 all) into unstable

debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@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 typing

Accepted menhir 20130911.dfsg-1 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20130911.dfsg-1) unstable; urgency=low . * New upstream release. * Add ocaml-findlib to Build-Depends. * Use

Accepted mldonkey 3.1.5-1 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: mldonkey-gui - Graphical frontend for mldonkey based on GTK+ mldonkey-server - Door to the 'donkey' network Closes: 647719 708870 Changes: mldonkey (3.1.5-1) unstable; urgency=low . [ Mehdi Dogguy ] * New upstream release

Accepted menhir 20130911.dfsg-2 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20130911.dfsg-2) unstable; urgency=medium . * Fix FTBFS on bytecode architectures. - Add 0002-Use-CURDIR-instead

Accepted xmlm 1.2.0-1 (source amd64)

Changed-By: Mehdi Dogguy me...@debian.org Description: libxmlm-ocaml-dev - OCaml xml manipulation module Changes: xmlm (1.2.0-1) unstable; urgency=medium . [ Johannes Schauer ] * Team upload. * Imported Upstream version 1.2.0 * Change debian/rules to accommodate for build system change

Accepted cmdliner 0.9.4-1 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libcmdliner-ocaml-dev - declarative definition of command line interfaces Changes: cmdliner (0.9.4-1) unstable; urgency=medium . * New upstream release. * Use a new build system in order to aboid unnecessary new build

Accepted alt-ergo 0.95.2-2 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries Closes: 743072 Changes: alt-ergo (0.95.2-2) sid; urgency=medium

Accepted ocamlgraph 1.8.5-1 (source all amd64)

Urgency: medium Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libocamlgraph-ocaml-dev - graph library for OCaml libocamlgraph-ocaml-doc - documentation for the OCamlgraph library libocamlgraph-viewer-ocaml-dev - graph

Accepted menhir 20140422.dfsg-1 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20140422.dfsg-1) unstable; urgency=medium . * New upstream relese. Checksums-Sha1

Accepted alt-ergo 0.95.2-3 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries Changes: alt-ergo (0.95.2-3) sid; urgency=medium . * Remove

Accepted frama-c 20140301+neon+dfsg-1 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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: 746091 Changes: frama-c (20140301+neon+dfsg-1) unstable; urgency=medium

Accepted ben 0.6.8 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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: 743724 746046 Changes: ben

Accepted frama-c 20140301+neon+dfsg-2 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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) Changes: frama-c (20140301+neon+dfsg-2) unstable; urgency=medium . * The new

Accepted frama-c 20140301+neon+dfsg-3 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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) Changes: frama-c (20140301+neon+dfsg-3) unstable; urgency=medium . * Add a call

Accepted ben 0.6.9 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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: 746507 Changes: ben (0.6.9

Accepted ocaml-re 1.2.1-2 (source amd64)

Changed-By: Mehdi Dogguy me...@debian.org Description: libre-ocaml-dev - regular expression library for OCaml Closes: 746555 Changes: ocaml-re (1.2.1-2) unstable; urgency=medium . * Add a missing Provides field for libre-ocaml-dev filled in with ${ocaml:Provides} (Closes: #746555

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

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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: 761132 Changes: parmap (1.0~rc4-1) unstable

Accepted slurm-llnl 14.03.8-2 (source amd64 all) into unstable

-plugins-dev sview slurmdbd libslurm-perl libslurmdb-perl slurm-wlm-torque libpam-slurm slurm-llnl slurm-llnl-slurmdbd Architecture: source amd64 all Version: 14.03.8-2 Distribution: unstable Urgency: medium Maintainer: Gennaro Oliva oliv...@na.icar.cnr.it Changed-By: Mehdi Dogguy me...@debian.org

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

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libparmap-ocaml - small OCaml library allowing to exploit multicore architectures libparmap-ocaml-dev - small OCaml library allowing to exploit multicore architectures Changes: parmap (1.0~rc4-2) unstable; urgency=medium

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

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libparmap-ocaml - small OCaml library allowing to exploit multicore architectures libparmap-ocaml-dev - small OCaml library allowing to exploit multicore architectures Changes: parmap (1.0~rc4-3) unstable; urgency=medium

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

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libparmap-ocaml - small OCaml library allowing to exploit multicore architectures libparmap-ocaml-dev - small OCaml library allowing to exploit multicore architectures Changes: parmap (1.0~rc4-4) unstable; urgency=medium

Accepted opam 1.2.0~rc4-1 (source amd64 all) into unstable

Changed-By: Mehdi Dogguy me...@debian.org Description: opam - package manager for OCaml opam-docs - package manager for OCaml (documentation) Changes: opam (1.2.0~rc4-1) unstable; urgency=medium . * Import new uptream release. * Do not call make autogen anymore * Refresh patch

Accepted slurm-llnl 14.03.9-3 (source amd64 all) into unstable

-plugins-dev sview slurmdbd libslurm-perl libslurmdb-perl slurm-wlm-torque libpam-slurm slurm-llnl slurm-llnl-slurmdbd Architecture: source amd64 all Version: 14.03.9-3 Distribution: unstable Urgency: medium Maintainer: Gennaro Oliva oliv...@na.icar.cnr.it Changed-By: Mehdi Dogguy me...@debian.org

Accepted ben 0.7.0 (source amd64) into unstable

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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: 730619 747879 747887 750327

Accepted opam 1.2.0-1 (source amd64 all) into unstable

Changed-By: Mehdi Dogguy me...@debian.org Description: opam - package manager for OCaml opam-docs - package manager for OCaml (documentation) Changes: opam (1.2.0-1) unstable; urgency=medium . * New upstream release. * Make opam recommend aspcud (Addresses: #766985). Checksums-Sha1

Accepted develock-el 0.39-2 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 01 Dec 2014 20:59:57 +0100 Source: develock-el Binary: develock-el Architecture: source all Version: 0.39-2 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy me...@debian.org Changed-By: Mehdi Dogguy me

Re: Hosting offers for Debian development

could clarify that for their fellow developers. [1]: or if it exists, I'd be happy to read it. Regards, -- Mehdi Dogguy -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: https

Re: Hosting offers for Debian development

of guidelines that developers should keep in mind while creating their project, if they plan to be hosted on a DSA-managed machine eventually. It also doesn't have to be exhaustive, but at least give an idea of what is reasonable to expect and what are the general restrictions. Regards, -- Mehdi Dogguy

Re: Hosting offers for Debian development

On Sat, Feb 21, 2015 at 06:52:20PM +0800, Paul Wise p...@debian.org wrote: On Wed, 2015-02-18 at 19:33 +0100, Mehdi Dogguy wrote: If someone is working on some new project/service for Debian and wants to be hosted on a DSA-managed machine, what are the criteria that should be met

Re: Bits from the dpkg project: 1.17.x series, general news

Le 2015-04-19 10:25, Cyril Brulebois a écrit : Guillem Jover guil...@debian.org (2015-04-18): General News * Raphaël Hertzog has stepped down as maintainer. It seems a little sad there's not even a thanks or two, so here it is: Thanks so much for all the hard (and not only

Accepted slurm-llnl 14.11.8-4 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Gennaro Oliva oliv...@na.icar.cnr.it Changed-By: Mehdi Dogguy me...@debian.org Description: libpam-slurm - PAM module to authenticate using the SLURM resource manager libpmi0- SLURM PMI library implementation libpmi0-dbg - debugging symbols

Re: Bits from the Wanna Build team

Hi Steve, Steve Langasek vor...@debian.org writes: On Fri, Aug 21, 2015 at 01:12:12PM +0200, Mehdi Dogguy wrote: Auto-building arch:all packages === [snip] This is all great news! If I'm not mistaken, the last feature that needs to be implemented in wanna

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

Changed-By: Mehdi Dogguy me...@debian.org Description: opam - package manager for OCaml opam-docs - package manager for OCaml (documentation) Changes: opam (1.2.2-2) unstable; urgency=medium . * Run testsuite only on native architectures: Testsuite uses ocamlopt unconditionally

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

-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libgettext-ocaml - OCaml internationalization shared library libgettext-ocaml-dev - OCaml internationalization library Changes: ocaml-gettext (0.3.5-1) unstable; urgency=low . [ Stéphane Glondu ] * New upstream

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

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libzarith-ocaml - arithmetic and logical operations over arbitrary-precision intege libzarith-ocaml-dev - arithmetic and logical operations over arbitrary-precision intege libzarith-ocaml-doc

Accepted jsonm 0.9.1-1 (source amd64 all) into unstable, unstable

debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libjsonm-ocaml - Non-blocking streaming JSON codec for OCaml (plugins) libjsonm-ocaml-dev - Non-blocking streaming JSON codec for OCaml libjsonm-ocaml-doc - Non-blocking streaming JSON codec for OCaml

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

Changed-By: Mehdi Dogguy me...@debian.org Description: opam - package manager for OCaml opam-docs - package manager for OCaml (documentation) Closes: 766487 766985 Changes: opam (1.2.2-1) unstable; urgency=medium . * New upstream release. - New Build-Dependency: libjsonm-ocaml-dev

Accepted postgresql-ocaml 2.0.5-2 (source amd64) into unstable

debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@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-2) unstable; urgency=medium . * Fix

Accepted pcre-ocaml 7.0.4-2 (source amd64) into unstable

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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-2) unstable; urgency=medium . * Team upload. * Fix homepage

Accepted cmigrep 1.5-12 (source all) into unstable

-By: Mehdi Dogguy me...@debian.org Description: cmigrep- search in OCaml compiled interface files Changes: cmigrep (1.5-12) unstable; urgency=medium . * Remove broken Homepage Checksums-Sha1: c51c761c402380448a8c4348a77ded1410b1cb17 2105 cmigrep_1.5-12.dsc

Accepted ben 0.7.1 (source amd64) into unstable

...@lists.debian.org Changed-By: Mehdi Dogguy me...@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: 747875 747883 792054 795314

Accepted uutf 0.9.4-1 (source amd64 all) into unstable, unstable

debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libuutf-ocaml - Non-blocking streaming Unicode codec for OCaml (plugins) libuutf-ocaml-dev - Non-blocking streaming Unicode codec for OCaml (development files libuutf-ocaml-doc - Non-blocking streaming Unicode

Accepted ocamlweb 1.39-2 (source all) into unstable

-By: Mehdi Dogguy me...@debian.org Description: ocamlweb - Literate programming tool for Objective Caml Closes: 776643 Changes: ocamlweb (1.39-2) unstable; urgency=medium . * Team upload. * Make the build reproducible (Closes: #776643). Thanks to Chris Lamb for the patch. Checksums-Sha1

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

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libmysql-ocaml - OCaml bindings for MySql (runtime package) libmysql-ocaml-dev - OCaml bindings for MySql (development package) Closes: 778680 Changes: mysql-ocaml (1.2.0-2) unstable; urgency=medium . * Team upload

Accepted menhir 20141215.dfsg-1~exp1 (source amd64) into experimental

-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20141215.dfsg-1~exp1) experimental; urgency=medium . * New upstream release - Requires OCaml = 4.02

Accepted ocaml-extunix 0.1.1-1 (source amd64) into unstable

-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libextunix-ocaml - Extended functions for OCaml Unix module (runtime package) libextunix-ocaml-dev - Extended functions for OCaml Unix module (development package) Changes: ocaml-extunix (0.1.1-1) unstable; urgency

Accepted xstrp4 1.8.1-3 (source all) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libxstrp4-camlp4-dev - camlp4 extension that expands brace expansions in OCaml string Changes: xstrp4 (1.8.1-3) unstable; urgency=medium . * Team upload. * Fix package dependencies by not using dh-ocaml. Ch

Accepted ocaml 4.02.3-4 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode

Accepted cmigrep 1.5-13 (source all) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: cmigrep- search in OCaml compiled interface files Changes: cmigrep (1.5-13) unstable; urgency=medium . * Recompile with OCaml 4.02.3 - Add 0004-Adapt-to-Types-types-of-OCaml-4.02.3.patch Ch

Accepted ocaml-reins 0.1a-6 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libreins-ocaml-dev - data structure library for OCaml Changes: ocaml-reins (0.1a-6) unstable; urgency=medium . * Team upload. * Fix FTBFS with OCaml 4.02.3 Checksums-Sha1: 82c8c26890ce1ba44643074b5f9bd53f85012cd

Accepted otags 4.01.1-2 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: otags - tags file generator for OCaml Changes: otags (4.01.1-2) unstable; urgency=medium . * Set OCaml 4.02 as required version * Use camlp4 (>= 4.02) instead of camlp4-extra Checksums-Sha1: 6a6a643bf777a2396e915b8d64ce15

Accepted planets 0.1.13-16 (source all) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: planets- Gravitation simulation of planetary bodies Changes: planets (0.1.13-16) unstable; urgency=medium . * Team upload. * Fix installability on bytecode architectures. Checksums-Sha1: d347980532f3d6878a37382c1f88abfdd

Accepted galax 1.1-13 (source all amd64) into unstable

<debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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

Accepted ocaml-lastfm 0.3.0-4 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: liblastfm-ocaml-dev - OCaml interface to audioscrobbler and lastfm radios Changes: ocaml-lastfm (0.3.0-4) unstable; urgency=medium . * Team upload. * Port to ocamlnet 4.0.4 Ch

Accepted xmlrpc-light 0.6.1-4 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libxmlrpc-light-ocaml-dev - XmlRpc-Light is an XmlRpc library written in OCaml Changes: xmlrpc-light (0.6.1-4) unstable; urgency=medium . * Port to ocamlnet 4.0.4 - Bump minimum version requirement on ocaml

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

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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-4) unstable; urgency=medium . [ Ralf Treinen ] * improve

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

<debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libtyxml-ocaml - typed XML in OCaml (plugins) libtyxml-ocaml-dev - typed XML in OCaml (development files) libtyxml-ocaml-doc - typed XML in OCaml (documentation) Changes: tyxml (3.5.0

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

OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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 JavaScr

Accepted ben 0.7.2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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: 797100 80

Accepted ocsigenserver 2.6-1 (source amd64 all) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libocsigenserver-ocaml - web server of the Ocsigen project (runtime libraries) libocsigenserver-ocaml-dev - web server of the Ocsigen project (d

Accepted dochelp 0.1.3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 18 Oct 2015 16:15:00 +0200 Source: dochelp Binary: dochelp Architecture: source amd64 Version: 0.1.3 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy <me...@debian.org> Changed-By: Mehdi Dogguy <me...@d

Accepted coinst 1.9.1-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: coinst - computes the co-installability kernel of a deb or RPM repository coinst-viewer - viewer for co-installability kernels generated by coinst Changes: coinst (1.9.1-2) unstable; urgency=medium . * Fix FTBFS with

Accepted ben 0.7.3 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ben- toolbox for Debian maintainers libben-ocaml - OCaml libraries for Debian maintainers (runtime package) libben-ocaml-dev - OCaml libraries for Debian maintainers (development package) Changes: ben (0.7

Accepted ocamldap 2.1.8-10 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libldap-ocaml-dev - LDAP bindings for OCaml Changes: ocamldap (2.1.8-10) unstable; urgency=medium . * Fix FTBFS with OCaml 4.02.3 Checksums-Sha1: 82fd109b18b07724b297f4fb7de210bdc5d4cdaa 2117 ocamldap_

Accepted ocamlodbc 2.15-6 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml Closes: 796033 Changes: ocamlodbc (2.15-6) unstable; urgency=low . [ Stefano Zacchiroli ] * remove myself from Uploaders . [ Sylvain Le Gall ] * Re

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

<debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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

Accepted headache 1.03-25 (source all) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: headache - Tool to manage license notes of source files Changes: headache (1.03-25) unstable; urgency=medium . * Recompile with OCaml 4.02.3 Checksums-Sha1: 79f23a700a2ac1d39fbf00456c8f152ec9c795ca 2123 headache

Accepted polygen 1.0.6.ds2-14 (source all) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: polygen- generator of random sentences from grammar definitions polygen-data - grammar definitions for PolyGen Closes: 776573 776576 Changes: polygen (1.0.6.ds2-14) unstable; urgency=medium . * Team upload. *

Accepted bibtex2html 1.98-3 (source all) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: bibtex2html - filters BibTeX files and translates them to HTML Changes: bibtex2html (1.98-3) unstable; urgency=medium . [ Rémi Vanicat ] * Remove myself from Uploaders . [ Mehdi Dogguy ] * Team upload. * Recompil

Accepted ocamlify 0.0.2-3 (source all) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: ocamlify - include files in OCaml code Changes: ocamlify (0.0.2-3) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from Uploaders. . [ Mehdi Dogguy ] * Rebuild with OCaml 4.02.3 Ch

Accepted ocaml-doc 4.02-1 (source all) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: ocaml-doc - Documentation for Objective Caml Changes: ocaml-doc (4.02-1) unstable; urgency=medium . * Import new upstream release. * No need to include ocamlbuild-user-guide.pdf anymore since it is included in OCaml's manua

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

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ledit - line editor for interactive programs libledit-ocaml-dev - OCaml line editor library Changes: ledit (2.03-4) unstable; urgency=medium . * Rebuild with OCaml 4.02.3 Ch

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

: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libbatteries-ocaml-dev - Batteries included: OCaml development platform - development file libbatteries-ocaml-doc - Batteries included - OCaml developm

Accepted frama-c 20150201+sodium+dfsg-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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: 792612 797473 Changes: frama-c (20150201+sodium+dfsg-1) unsta

Accepted frama-c 20150201+sodium+dfsg-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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: 797695 Changes: frama-c (20150201+sodium+dfsg-2) unstable; ur

Accepted ocamlgraph 1.8.6-1 (source amd64 all) into unstable

Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libocamlgraph-ocaml-dev - graph library for OCaml libocamlgraph-ocaml-doc - documentation for the OCamlgraph library libocamlgraph-view

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

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: opam - package manager for OCaml opam-docs - package manager for OCaml (documentation) Closes: 797451 Changes: opam (1.2.2-3) unstable; urgency=medium . * Port to Dose3 4.0.1 (Closes: #797451) - Add 0001-Port-to

Bug#809705: general: let people use non-free software but opt-out of non-open software

On 2016-01-03 07:35, Christian PERRIER wrote: Quoting Philippe Cerfon (philc...@gmail.com): Package: general Severity: wishlist Tags: security Hi. I think Debian has the following two problems (or rather its security conscious users) with respect to software that gets into the system: No

Accepted infiniband-diags 1.6.6-1 (source amd64) into unstable

Developement and Discussion <pkg-ofed-de...@lists.alioth.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: infiniband-diags - InfiniBand diagnostic programs libibnetdisc-dev - InfiniBand diagnostics library headers libibnetdisc5 - InfiniBand diagnostics library Changes:

Accepted dose3 4.0.2-4 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

Accepted ocaml-doc 4.02-2 (source all) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: ocaml-doc - Documentation for OCaml Closes: 803887 Changes: ocaml-doc (4.02-2) unstable; urgency=medium . * Delete a generated file (Closes: #803887). * Fix package description to mention only OCaml and not refer to &qu

Accepted perftest 3.0+0.16.gb2f2e82-1 (source amd64) into unstable

-de...@lists.alioth.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: perftest - Infiniband verbs performance tests Changes: perftest (3.0+0.16.gb2f2e82-1) unstable; urgency=medium . * Team upload. * New upstream release 3.0-0.16.gb2f2e82 * Add patch to

Re: Bug#807019: tracking bin-num - broken unison due to binnmu upload

Hi, On 29/12/2015 11:13, Alexander Wirt wrote: > On Tue, 29 Dec 2015, Alexandre Rossi wrote: > >> Hi, >> The change done in unison 2.48 to overcome this looks pretty big... I'm not sure I'll be able/willing to provide a unison2.40.102 any more. Moreover, this package was created

Accepted dose3 4.1-3 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

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

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: nss-passwords - read passwords from a Mozilla keyring Closes: 802865 Changes: nss-passwords (0.2-2) unstable; urgency=medium . * Team upload. . [ Stéphane Glondu ] * Fix compilation with OCaml 4.02.2 (Closes: #802865

Accepted otags 4.01.1-3 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: otags - tags file generator for OCaml Closes: 802166 Changes: otags (4.01.1-3) unstable; urgency=medium . * Add patch to port to OCaml 4.02.3, patch from Hendrik Tews (Closes: #802166). Ch

Re: Bug#807019: tracking bin-num - broken unison due to binnmu upload

On 2016-01-04 17:24, Stéphane Glondu wrote: Le 22/12/2015 00:38, Mehdi Dogguy a écrit : The change done in unison 2.48 to overcome this looks pretty big... I'm not sure I'll be able/willing to provide a unison2.40.102 any more. Moreover, this package was created to provide compatibility

Accepted mstflint 4.1.0+1.46.gb1cdaf7-1 (source amd64) into unstable

fed-de...@lists.alioth.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: mstflint - Mellanox firmware burning application Changes: mstflint (4.1.0+1.46.gb1cdaf7-1) unstable; urgency=medium . * Team upload. * New upstream release 4.1.0-1.46.gb1cdaf7: - Prev

Accepted dose3 4.1-2 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether

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

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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+2) unstable; urgency=medium . * Team upload. * Remove un

Re: Bug#807019: tracking bin-num - broken unison due to binnmu upload

Hi, On 07/12/2015 16:23, Stéphane Glondu wrote: > > The change done in unison 2.48 to overcome this looks pretty big... I'm > not sure I'll be able/willing to provide a unison2.40.102 any more. > Moreover, this package was created to provide compatibility with > previous Debian releases, but

Accepted cduce 0.6.0-2 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: cduce - programming language adapted to the manipulation of XML data Closes: 802268 Changes: cduce (0.6.0-2) unstable; urgency=medium . [ Stéphane Glondu ] * More flexibility with packaging of ocaml-source . [ Mehdi Doggu

Accepted cduce 0.6.0-4 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: cduce - programming language adapted to the manipulation of XML data Changes: cduce (0.6.0-4) unstable; urgency=medium . * Use less aggressive inlining to make cduce build on armel, armhf and powerpc. * Put ocaml-best-co

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

: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libbatteries-ocaml-dev - Batteries included: OCaml development platform - development file libbatteries-ocaml-doc - Batteries included - OCaml developm

Accepted cduce 0.6.0-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 23 Dec 2015 10:41:45 +0100 Source: cduce Binary: cduce Architecture: source Version: 0.6.0-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By:

Accepted cduce 0.6.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 22 Dec 2015 09:48:27 +0100 Source: cduce Binary: cduce Architecture: source Version: 0.6.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By:

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

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: opam - package manager for OCaml opam-docs - package manager for OCaml (documentation) Closes: 805270 Changes: opam (1.2.2-4) unstable; urgency=medium . * Fix integration with fish shell (Closes: #805270) Ch

Re: Death to git://! Long live git://!

On 2016-01-08 16:43, Paul Tagliamonte wrote: Hey devel, We still have `git://` all over the place, for instance, on Vcs-Git on control files. That makes me sad. Boo insecure transports. `git://` is plaintext, and plaintext transports are bad. I'd like to suggest we move all Vcs-Git entries to

Accepted menhir 20151112.dfsg-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20151112.dfsg-1) unstable; urgency=medium . * New upstream release. - Refresh patches - A

<    1   2   3   4   5   6   7   >