-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.
.
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
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
-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
-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
-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
-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
.
*
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
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
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
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
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
-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
-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
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
-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
-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
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
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
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
-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
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
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
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
-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
-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
-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
-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
-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
-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
-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
-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
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
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
.
*
-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
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
>
, 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
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
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
-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
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
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
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
<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
-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
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
-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
.
*
-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
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
-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
-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
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
-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
-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
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
-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
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
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
-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
-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
.
*
-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
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
<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
-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
-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
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
<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
-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
-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
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
-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
-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
-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
-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
-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
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
.
: 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
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
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
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
-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
-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
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
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
: 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
-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
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
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
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
>>>
: 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
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
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
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
-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
-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
-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
: 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
-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
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
-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
501 - 600 of 603 matches
Mail list logo