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

Maintainers Changed-By: Mehdi Dogguy Description: opam - package manager for OCaml opam-doc - package manager for OCaml (documentation) opam-installer - Utility handling (un)installation of Opam .install files Closes: 918345 Changes: opam (2.0.3-1) unstable; urgency=medium . * New

Accepted opam 2.0.1-1 (source amd64 all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 02 Dec 2018 14:37:00 +0100 Source: opam Binary: opam opam-doc opam-installer Architecture: source amd64 all Version: 2.0.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy

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

Changed-By: Mehdi Dogguy Description: libocamlgraph-ocaml-dev - graph library for OCaml libocamlgraph-ocaml-doc - documentation for the OCamlgraph library Changes: ocamlgraph (1.8.8-1) unstable; urgency=medium . * New upstream release * Update Vcs-* fields to target Salsa instead

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

-By: Mehdi Dogguy 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~rc10-1) unstable; urgency=medium . * New (bugfix) upstream release * Refresh

Accepted infinipath-psm 3.3+20.604758e7-6 (source amd64) into unstable

: Debian HPC Team Changed-By: Mehdi Dogguy Description: libpsm-infinipath1 - PSM Messaging library for Intel Truescale adapters libpsm-infinipath1-dbg - Debugging symbols for libpsm-infinipath1 libpsm-infinipath1-dev - Development files for libpsm-infinipath1 Closes: 897774 Changes: infinipath

Accepted develock-el 0.47-3 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 29 Nov 2018 23:36:42 +0100 Source: develock-el Binary: develock-el Architecture: source all Version: 0.47-3 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy Changed-By: Mehdi Dogguy Description: develock-el

Accepted cppo 1.6.4-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 16 Oct 2018 08:52:55 +0200 Source: cppo Binary: cppo Architecture: source amd64 Version: 1.6.4-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy Description: cppo

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 22 Sep 2018 11:45:08 +0200 Source: opam Binary: opam opam-docs opam-installer Architecture: source amd64 all Version: 2.0.0-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi

Accepted cppo 1.6.4-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Sep 2018 07:26:53 +0200 Source: cppo Binary: cppo Architecture: source amd64 Version: 1.6.4-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy Description: cppo

Accepted ibutils 1.5.7+0.2.gbd7e502-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 23 Aug 2018 23:45:15 +0200 Source: ibutils Binary: ibutils libibdm1 libibdm-dev Architecture: source amd64 Version: 1.5.7+0.2.gbd7e502-2 Distribution: unstable Urgency: medium Maintainer: Debian HPC Team Changed-By: Mehdi

Accepted libfabric 1.6.1-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 10 Jun 2018 11:12:48 +0200 Source: libfabric Binary: libfabric-bin libfabric1 libfabric-dev Architecture: source amd64 Version: 1.6.1-3 Distribution: unstable Urgency: medium Maintainer: Debian HPC Team Changed-By: Mehdi

Accepted libfabric 1.6.1-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 09 Jun 2018 11:01:42 +0200 Source: libfabric Binary: libfabric-bin libfabric1 libfabric-dev Architecture: source amd64 Version: 1.6.1-2 Distribution: unstable Urgency: medium Maintainer: Debian HPC Team Changed-By: Mehdi

Accepted ocaml-re 1.7.3-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Jun 2018 22:24:09 +0200 Source: ocaml-re Binary: libre-ocaml-dev Architecture: source amd64 Version: 1.7.3-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy Description

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Jun 2018 20:09:58 +0200 Source: opam Binary: opam opam-docs Architecture: source amd64 all Version: 1.2.2-7 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy Description

Accepted ben 0.8.2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Jun 2018 14:08:45 +0200 Source: ben Binary: libben-ocaml-dev libben-ocaml ben Architecture: source Version: 0.8.2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy

Accepted ben 0.8.1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Jun 2018 13:30:20 +0200 Source: ben Binary: libben-ocaml-dev libben-ocaml ben Architecture: source Version: 0.8.1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Jun 2018 10:37:42 +0200 Source: ocaml-re Binary: libre-ocaml-dev Architecture: source amd64 Version: 1.7.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy Description

Accepted dose3 5.0.1-11 (source) into unstable

Maintainer: Debian OCaml Maintainers Changed-By: Mehdi Dogguy Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-doc - Documentation

Accepted ben 0.8.0 (source) 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: 873711 876478 89

Accepted dochelp 0.1.7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 21 May 2018 18:17:52 +0200 Source: dochelp Binary: dochelp Architecture: source Version: 0.1.7 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy <me...@debian.org> Changed-By: Mehdi Dogguy <me...@d

Accepted tyxml 4.1.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 (4.1.0

Accepted xmlm 1.3.0-2 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libxmlm-ocaml-dev - OCaml xml manipulation module Changes: xmlm (1.3.0-2) unstable; urgency=medium . * Fix xmlm's version in META file * Bump minimal required version of Debhelper to 11 * Use a canonical URI in V

Accepted jsonm 1.0.1-1 (source) into unstable

ian-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 cod

Accepted uutf 1.0.1-2 (source amd64 all) into 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-blocki

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

-ma...@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~rc9-2) unsta

Accepted frama-c 20171101+sulfur+dfsg-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Changes: frama-c (20171101+sulfur+dfsg-1) unsta

Accepted cmdliner 1.0.2-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libcmdliner-ocaml-dev - declarative definition of command line interfaces Changes: cmdliner (1.0.2-1) unstable; urgency=medium . [ Hendrik Tews ] * New upstream version 1.0.2 * compat level 10, standards v

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

ian-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.6

Accepted ocaml-sha 1.11-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libsha-ocaml - SHA cryptographic hash functions for OCaml (runtime) libsha-ocaml-dev - SHA cryptographic hash functions for OCaml (development files) Changes: ocaml-sha (1.11-1) unstable; urgency=medium . *

Accepted ocaml-mm 0.3.1-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libmm-ocaml - OCaml multimedia library -- runtime files libmm-ocaml-dev - OCaml multimedia library -- developpement files Changes: ocaml-mm (0.3.1-1) unstable; urgency=medium . * Team upload * New upst

Accepted ledit 2.04-1 (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.04-1) unstable; urgency=medium . * New upstream release * Update Vcs-* fields * Remove

Accepted ocurl 0.8.1-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libcurl-ocaml - OCaml curl bindings (Runtime Library) libcurl-ocaml-dev - OCaml libcurl bindings (Development package) Changes: ocurl (0.8.1-1) unstable; urgency=medium . * New upstream release - Requ

Accepted ocaml-zarith 1.7-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 libzari

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

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libssl-ocaml - OCaml bindings for OpenSSL (runtime) libssl-ocaml-dev - OCaml bindings for OpenSSL Changes: ocaml-ssl (0.5.5-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Stand

Accepted ocamlmod 0.0.9-1 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: ocamlmod - generate OCaml modules from source files Changes: ocamlmod (0.0.9-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards-Version to 4.1.4 * Update Vcs-* fields * Update Ho

Accepted ounit 2.0.8-1 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libounit-ocaml-dev - Unit testing framework for OCaml Changes: ounit (2.0.8-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards-Version to 4.1.4, no changes required * Update

Accepted pgocaml 2.3-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libpgocaml-ocaml - OCaml type-safe bindings for PostgreSQL (runtime) libpgocaml-ocaml-dev - OCaml type-safe bindings for PostgreSQL (development) Changes: pgocaml (2.3-1) unstable; urgency=medium . *

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

-ma...@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~rc9-1) unsta

Accepted ocaml-fileutils 0.5.3-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libfileutils-ocaml-dev - File manipulation for OCaml Changes: ocaml-fileutils (0.5.3-1) unstable; urgency=medium . * Team upload * New homepage (update d/watch file accordingly) * New upstream relea

Accepted uuidm 0.9.6-1 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libuuidm-ocaml-dev - Universally unique identifiers for OCaml Changes: uuidm (0.9.6-1) unstable; urgency=medium . * Team upload * New upstream release * Bump Standards Version to 4.1.4, no changes required * Mov

Accepted xstrp4 1.8.2-1 (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.2-1) unstable; urgency=medium . * New upstream release * Bump Standards Version to 4.1.4, no changes required

Accepted uutf 1.0.1-1 (source amd64 all) into 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-blocki

Accepted xmlm 1.3.0-1 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libxmlm-ocaml-dev - OCaml xml manipulation module Changes: xmlm (1.3.0-1) unstable; urgency=medium . * New upstream release * Update Vcs-* fields since repository was migrated to Salsa * Fix a typo in package

Accepted ocamlnet 4.1.2-3 (source amd64 all) into unstable

-mod-netcgi-apache libocamlnet-ocaml-doc Architecture: source amd64 all Version: 4.1.2-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libapache2-mod-netcgi-ap

Accepted slurm-llnl 17.11.2-1 (source amd64 all) into unstable, unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: libpam-slurm - PAM module to authenticate using the SLURM resource manager libpmi0- SLURM PMI library implementation libpmi0-dev - SLURM PMI library implementation development files libpmi2-0 - SLURM PMI2 library implementation l

Accepted infinipath-psm 3.3+20.604758e7-5 (source amd64) into unstable

: Debian HPC Team <debian-...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libpsm-infinipath1 - PSM Messaging library for Intel Truescale adapters libpsm-infinipath1-dbg - Debugging symbols for libpsm-infinipath1 libpsm-infinipath1-dev - Development file

Accepted singularity-container 2.4.2-2 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: singularity-container - container platform focused on supporting "Mobility of Compute" Closes: 883466 Changes: singularity-container (2.4.2-2) unstable; urgency=medium . * Make package build reproducible again

Accepted singularity-container 2.4.2-1 (source amd64) into unstable

net> Changed-By: Mehdi Dogguy <me...@debian.org> Description: singularity-container - container platform focused on supporting "Mobility of Compute" Changes: singularity-container (2.4.2-1) unstable; urgency=medium . * New upstream release - Fixed an issue for support

Accepted mstflint 4.8.0-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Jan 2018 11:47:47 +0100 Source: mstflint Binary: mstflint Architecture: source amd64 Version: 4.8.0-2 Distribution: unstable Urgency: medium Maintainer: Debian HPC Team <debian-...@lists.debian.org> Changed-By: Mehdi

Accepted infinipath-psm 3.3+20.604758e7-4 (source amd64) into unstable

: Debian HPC Team <debian-...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libpsm-infinipath1 - PSM Messaging library for Intel Truescale adapters libpsm-infinipath1-dbg - Debugging symbols for libpsm-infinipath1 libpsm-infinipath1-dev - Development file

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

hanged-By: Mehdi Dogguy <me...@debian.org> Description: ocaml-doc - Documentation for OCaml Closes: 885865 Changes: ocaml-doc (4.05-1) unstable; urgency=medium . * Upload to Sid (Closes: #885865) Checksums-Sha1: 4a6c781899dff23765629c1e51c0bb8386460bdd 2044 ocaml-do

Accepted ibutils 1.5.7+0.2.gbd7e502-1 (source amd64) into unstable

ian-...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ibutils- InfiniBand network utilities libibdm-dev - Development files for the libibdm library libibdm1 - InfiniBand network diagnostic library Changes: ibutils (1.5.7+0.2.gbd7e502-1) unstable; urgency=medium .

Accepted mstflint 4.8.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 04 Jan 2018 18:32:50 +0100 Source: mstflint Binary: mstflint Architecture: source amd64 Version: 4.8.0-1 Distribution: unstable Urgency: medium Maintainer: Debian HPC Team <debian-...@lists.debian.org> Changed-By: Mehdi

Accepted libfabric 1.5.3-1 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: libfabric-dev - Development files for libfabric1 libfabric1 - libfabric communication library Changes: libfabric (1.5.3-1) unstable; urgency=medium . [ Roland Fehrenbacher ] * New upstream release. * Update Maintainer field

Accepted ibsim 0.7-2 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: ibsim-utils - InfiniBand fabric simulator utilities libumad2sim0 - InfiniBand fabric simulator Closes: 581112 881868 Changes: ibsim (0.7-2) unstable; urgency=medium . * Update Maintainer field with "Debian HPC Team" (Closes: #8

Accepted opensm 3.3.20-2 (source amd64 all) into unstable

HPC Team <debian-...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libopensm-dev - Header files for compiling against libopensm libopensm5a - InfiniBand subnet manager library libosmcomp3 - InfiniBand subnet manager - component library libosmvendor4

Accepted infiniband-diags 2.0.0-2 (source amd64) into unstable

: Debian HPC Team <debian-...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: infiniband-diags - InfiniBand diagnostic programs libibmad-dev - Development files for libibmad libibmad5 - Infiniband Management Datagram (MAD) library libibnetdisc-dev

Accepted singularity-container 2.4.1-1~exp1 (source amd64) into experimental

t;t...@neuro.debian.net> Changed-By: Mehdi Dogguy <me...@debian.org> Description: singularity-container - container platform focused on supporting "Mobility of Compute" Changes: singularity-container (2.4.1-1~exp1) experimental; urgency=medium . * New upstream release - Fixed co

Accepted frama-c 20170501+phosphorus+dfsg-2 (source amd64) into unstable

aml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Closes: 871912 874273 Changes: frama-c (2017050

Accepted frama-c 20170501+phosphorus+dfsg-1 (source amd64) into unstable

aml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Changes: frama-c (20170501+phosphorus+dfsg

Accepted dochelp 0.1.6 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 09 Aug 2017 18:33:47 -0400 Source: dochelp Binary: dochelp Architecture: source amd64 Version: 0.1.6 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy <me...@debian.org> Changed-By: Mehdi Dogguy <me...@d

Accepted ocaml-doc 4.05-1~exp1 (source all) into experimental

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ocaml-doc - Documentation for OCaml Changes: ocaml-doc (4.05-1~exp1) experimental; urgency=medium . * Import new upstream release. * Update Vcs-* fields * Bump DH compat to 9, no changes required Ch

Accepted dochelp 0.1.5 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 30 Mar 2017 03:59:43 +0200 Source: dochelp Binary: dochelp Architecture: source amd64 Version: 0.1.5 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy <me...@debian.org> Changed-By: Mehdi Dogguy <me...@d

Accepted frama-c 20161101+silicon+dfsg-5 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Closes: 851104 Changes: frama-c (20161101+si

Accepted frama-c 20161101+silicon+dfsg-4 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Changes: frama-c (20161101+silicon+dfsg-4) unsta

Accepted dochelp 0.1.4 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 01 Jan 2017 16:34:15 +0100 Source: dochelp Binary: dochelp Architecture: source amd64 Version: 0.1.4 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy <me...@debian.org> Changed-By: Mehdi Dogguy <me...@d

Accepted frama-c 20161101+silicon+dfsg-3 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Changes: frama-c (20161101+silicon+dfsg-3) unsta

Accepted ocaml 4.02.3-9 (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 ocaml-gettext 0.3.5-3 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libgettext-ocaml - OCaml internationalization shared library libgettext-ocaml-dev - OCaml internationalization library Closes: 848619 Changes: ocaml-gettext (0.3.5-3) unstable; urgency=medium . *

Accepted frama-c 20161101+silicon+dfsg-2 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Changes: frama-c (20161101+silicon+dfsg-2) unsta

Accepted frama-c 20161101+silicon+dfsg-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c- Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Changes: frama-c (20161101+silicon+dfsg-1) unsta

Accepted ocaml 4.02.3-8 (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 ocamldsort 0.16.0-5 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ocamldsort - dependency sorter for OCaml source files Changes: ocamldsort (0.16.0-5) unstable; urgency=medium . * Team upload * Second try: Set DEB_BUILD_OPTIONS=parallel=1 in debian/rules * Update Homepage fiel

Accepted ocamldsort 0.16.0-4 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ocamldsort - dependency sorter for OCaml source files Closes: 841758 Changes: ocamldsort (0.16.0-4) unstable; urgency=medium . * Team upload. * Disable parallel build [1] to avoid FTBFS (Closes: #841758). [1] Pa

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

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libssl-ocaml - OCaml bindings for OpenSSL (runtime) libssl-ocaml-dev - OCaml bindings for OpenSSL Closes: 828462 Changes: ocaml-ssl (0.5.2-2) unstable; urgency=medium . * Team upload. * Use access

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 01 Nov 2016 21:49:34 +0100 Source: develock-el Binary: develock-el Architecture: source all Version: 0.47-2 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy <me...@debian.org> Changed-By: Mehdi Dogg

Accepted develock-el 0.47-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 01 Nov 2016 18:54:08 +0100 Source: develock-el Binary: develock-el Architecture: source all Version: 0.47-1 Distribution: unstable Urgency: medium Maintainer: Mehdi Dogguy <me...@debian.org> Changed-By: Mehdi Dogg

Accepted laby 0.6.4-1 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: laby - Learn how to program with ants and spider webs Changes: laby (0.6.4-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: c1886dfce0ab3e2cbb0ea8d7cfbce810441648b3 2005 laby

Accepted opam 1.2.2-5 (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: 818081 Changes: opam (1.2.2-5) unstable; urgency=medium . * Stop using insecure and no-check-certificate flags (Clo

Accepted ben 0.7.4 (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: 810213 81

Accepted coinst 1.9.3-1 (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.3-1) unstable; urgency=medium . * New upst

Accepted coinst 1.9.2-1 (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 Closes: 736910 759474 759476 Changes: coinst (1.9.2-1) unstable; ur

Accepted camlp5 6.14-2 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: camlp5 - Pre Processor Pretty Printer for OCaml - classical version Closes: 802264 Changes: camlp5 (6.14-2) unstable; urgency=medium . * Team upload. * Fix bug on methods wrongly interpreted as vals (Closes: #802264) * Fix bug

Accepted frama-c 20151002+magnesium+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) Changes: frama-c (20151002+magnesium+dfsg-1) unstable; ur

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

Accepted ocamlgsl 1.19.1-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libocamlgsl-ocaml - GNU scientific library for OCaml libocamlgsl-ocaml-dev - GNU scientific library for OCaml Closes: 805818 Changes: ocamlgsl (1.19.1-1) unstable; urgency=low . * Team upload. .

Accepted apron 0.9.10-7 (source amd64 all) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libapron - runtime libraries for APRON libapron-dev - abstract interpretation library libapron-ocaml - runtime libraries for APRON (OCaml interface) libapron-ocaml-dev - abstract in

Accepted facile 1.1.1-1 (source amd64) into unstable

org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libfacile-ocaml-dev - functional constraint library implemented in Objective Caml Changes: facile (1.1.1-1) unstable; urgency=medium . * Team upload. * New upstream release - Refresh patches - Remove 0005-Fix

Accepted cmdliner 0.9.8-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libcmdliner-ocaml-dev - declarative definition of command line interfaces Changes: cmdliner (0.9.8-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 2f240d750b4e23aeff88a8d409157c426f58ca52 2006 cmdl

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

-ma...@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~rc7-1) unsta

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

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libssl-ocaml - OCaml bindings for OpenSSL (runtime) libssl-ocaml-dev - OCaml bindings for OpenSSL Changes: ocaml-ssl (0.5.2-1) unstable; urgency=medium . * New upstream release - Disables SSLv3 related fu

Accepted pgocaml 2.2-1 (source amd64) into unstable

-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libpgocaml-ocaml - OCaml type-safe bindings for PostgreSQL (runtime) libpgocaml-ocaml-dev - OCaml type-safe bindings for PostgreSQL (development) Changes: pgocaml (2.2-1) unstable; urgency=medium . *

Accepted ocaml-ipaddr 2.6.1-1 (source amd64) into unstable

aml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: libipaddr-ocaml - library for manipulation of IP (and MAC) address representations libipaddr-ocaml-dev - library for manipulation of IP (and MAC) address representations Changes: ocaml-ipaddr (2.6.1

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

ian-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.3

Accepted otags 4.02.2-1 (source amd64) into unstable

hanged-By: Mehdi Dogguy <me...@debian.org> Description: otags - tags file generator for OCaml Closes: 802166 Changes: otags (4.02.2-1) unstable; urgency=medium . * New uptream release (Closes: #802166) - Needs cppo at build-time. Checksums-Sha1: 3f83eb8a2a95bc3233ed676b13904ed1c

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

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

  1   2   3   4   5   >