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

Re: ubuntudiff.debian.net status

On 2018-02-12 22:41, Mehdi Dogguy wrote: If DSA is not able to restore my .debian.net domains, I can explain to interested DDs how to restore them. FYI, someone tried but its request got rejected by the system because the domains are already used by me. So, it will require enabling my account

Re: ubuntudiff.debian.net status

Hi, On 2018-02-12 16:58, Frédéric Bonnard wrote: Hi all, since a few days, ubuntudiff is not reachable (name does not resolve). I see Mehdi administrate this domain ( https://wiki.debian.org/DebianNetDomains ). Mehdi, anyone, do you know what's going on ? Thanks for pointing this out. I think

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

Re: ISO download difficult

On 03/12/2017 23:05, Theodore Ts'o wrote: > Personally, I think prioritizing users who just want to a working > PC/Laptop over the FSF is the right choice, since I belong to the > pragmatic wing of the Open Source movement, but I suspect I'm in the > minority in the Debian community. I really

Re: salsa.debian.org (git.debian.org replacement) going into beta

On 26/12/2017 15:05, Ole Streicher wrote: > Mattia Rizzolo writes: >> On Tue, Dec 26, 2017 at 02:45:38PM +0100, Marc Haber wrote: >>> The time before the last time I asked about tracker, the answer was >>> that this was not yet possible due to old lintian doing automated >>>

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

Re: OCF.tw for Debian Trusted Organization

, ChangZhuo Chen wrote: On Mon, Mar 06, 2017 at 06:47:35PM +0100, Mehdi Dogguy wrote: I have gone through your page and here are my first remarks: - The bylaws are not in english and are not stored in a file (I see you use a pad to share it). You may want to publish it on a webpage or a flat

Re: OCF.tw for Debian Trusted Organization

Hello, Sorry for not getting back to you sooner. On 22/02/2017 04:30, Ying-Chun Liu (PaulLiu) wrote: > Dear Mehdi, > > I'd like to propose OCF.tw to be a Trusted Organization. > And OCF.tw also have the interests to be in. But I don't know how to start. > We've both read >

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

Re: Bits from the DPL -- June 2016

Hi, On 27/06/2016 21:26, Iustin Pop wrote: > On 2016-06-27 18:10:00, Mehdi Dogguy wrote: >> - - Approved purchase of PGP hardware tokens for DAMs. (Up to 200€) > > Could you please tell which hardware was this? Just curious for my own > use—still have to migrate to such

Re: Bits from the DPL -- June 2016

Hi, On 27/06/2016 20:52, Jonathan Wiltshire wrote: > On Mon, Jun 27, 2016 at 06:10:00PM +0200, Mehdi Dogguy wrote: >> Newmaint delegation revoked >> === >> >> The Newmaint team is responsible of checking new Debian Maintainers >&g

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

Re: Archive changes

On 2016-03-16 22:20, Johannes Schauer wrote: Hi, Quoting Bill Allombert (2016-03-16 10:30:58) On Tue, Mar 15, 2016 at 11:15:16PM +0100, Joerg Jaspert wrote: > Additionally I turned off generating gzip compressed versions of those > files, xz is there. Does all services that read Packages

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

  1   2   3   4   5   6   7   >