Re: On frama-c's debian/watch

[Mehdi Dogguy]

Hi,

Early versions of FramaC were snapshots with dates and codenames. There were no 
version numbers back then (the date was the only reliable number we've got). At 
some, they dropped the dates and assigned version numbers to codenames and kept 
going with them.

One needs to check with them that this schema is stable and not subject to 
changes in the foreseable future to avoid epoch'ing twice though.

Regards,

Le 28 juillet 2022 09:21:15 GMT+02:00, "Stéphane Glondu"  a 
écrit :
>Le 22/07/2022 à 20:19, julien.pu...@gmail.com a écrit :
>> upstream had modified their site, so I complained:
>> 
>>   https://git.frama-c.com/pub/frama-c/-/issues/2622
>> 
>> and upstream pretty quickly provided a new page ; except that I don't
>> get how from upstream 25.0-Manganese we got a Debian version 20220511-
>> manganese-1.3 !
>> 
>> With d/watch being:
>> 
>> version=4
>> https://frama-c.com/html/direct-source-distributions.html .*/frama-c-
>> ([0-9]{2}\.[0-9]-[a-zA-Z]+)\.tar\.gz
>> 
>> then uscan -v lists the upstream versions in a reasonable order.
>> 
>> What can we do to improve things?
>
>I was also suprised when I looked at frama-c'v versioning.
>
>I don't know why date-based versions were chosen.
>
>If I were in charge, I would add an epoch et start using upstream
>version numbers.
>
>
>Cheers,
>
>-- 
>Stéphane

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

[Git][ocaml-team/opam][upstream] New upstream version 2.0.8

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch upstream at Debian OCaml Maintainers / opam


Commits:
54a011ae by Mehdi Dogguy at 2021-02-21T10:13:46+01:00
New upstream version 2.0.8
- - - - -


25 changed files:

- − .gitattributes
- − .github/pull_request_template.md
- − .github/scripts/changelog_checker
- + .github/scripts/hygiene.sh
- + .github/scripts/main.sh
- + .github/scripts/ocaml-cache.sh
- + .github/scripts/opam-bs-cache.sh
- + .github/scripts/preamble.sh
- − .github/workflows/changelog_check.yml
- + .github/workflows/ci.yml
- − .gitignore
- .travis-ci.sh
- .travis.yml
- CHANGES
- .github/issue_template.md → ISSUE_TEMPLATE.md
- Makefile
- Makefile.config.in
- README.md
- + aclocal.m4
- admin-scripts/compilers-to-packages.ml
- admin-scripts/couverture.ml
- + appveyor.patch
- appveyor.yml
- appveyor_build.cmd
- appveyor_test.sh


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/commit/54a011ae2877e493d20955294884bd033a821885

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/commit/54a011ae2877e493d20955294884bd033a821885
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag upstream/2.0.8

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/2.0.8 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/tree/upstream/2.0.8
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.0.8.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / opam


Commits:
bfcdce2d by Mehdi Dogguy at 2021-02-21T10:13:48+01:00
pristine-tar data for opam_2.0.8.orig.tar.gz

- - - - -


2 changed files:

- + opam_2.0.8.orig.tar.gz.delta
- + opam_2.0.8.orig.tar.gz.id


Changes:

=
opam_2.0.8.orig.tar.gz.delta
=
Binary files /dev/null and b/opam_2.0.8.orig.tar.gz.delta differ


=
opam_2.0.8.orig.tar.gz.id
=
@@ -0,0 +1 @@
+9156702bf2f5a9de8beb45f73d524cfaf0022127



View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/commit/bfcdce2d4c612d3a5a36851a98fb055bfa4cf585

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/commit/bfcdce2d4c612d3a5a36851a98fb055bfa4cf585
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag debian/2.0.8-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.0.8-1 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/tree/debian/2.0.8-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][master] 8 commits: New upstream version 2.1.0~beta2

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / opam


Commits:
1b34510f by nicoo at 2020-11-30T18:03:51+01:00
New upstream version 2.1.0~beta2
- - - - -
54a011ae by Mehdi Dogguy at 2021-02-21T10:13:46+01:00
New upstream version 2.0.8
- - - - -
74c46821 by Mehdi Dogguy at 2021-02-21T10:13:48+01:00
Update upstream source from tag upstream/2.0.8

Update to upstream version 2.0.8
with Debian dir 64f2eaaccf27ac5cbe16260538ee78e0426222cb
- - - - -
c42d3640 by Mehdi Dogguy at 2021-02-21T10:14:59+01:00
New (bugfix) upstream release

- - - - -
52f17894 by Mehdi Dogguy at 2021-02-28T19:27:50+01:00
Add patch 0004-Use-HOME-env-variable-instead-of.patch to use env variable HOME 
instead of relying on ~

- - - - -
c32313e3 by Mehdi Dogguy at 2021-02-28T19:28:45+01:00
Add patch 0005-Port-to-Dose3-6.0.1.patch so that opam builds with Dose3 6.0.1

- - - - -
990f2b0c by Mehdi Dogguy at 2021-02-28T19:29:54+01:00
Bump build dependency on libdose3-ocaml-dev to = 6.0.1~

- - - - -
9d01c304 by Mehdi Dogguy at 2021-02-28T20:00:48+01:00
Release opam 2.0.8-1 to unstable

- - - - -


16 changed files:

- − .gitattributes
- + .github/scripts/hygiene.sh
- + .github/scripts/main.sh
- + .github/scripts/ocaml-cache.sh
- + .github/scripts/opam-bs-cache.sh
- + .github/scripts/preamble.sh
- + .github/workflows/ci.yml
- − .gitignore
- .travis-ci.sh
- .travis.yml
- CHANGES
- README.md
- + aclocal.m4
- appveyor.patch
- appveyor.yml
- appveyor_build.cmd


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/compare/cc015acb60284f01fb566af584b0e477fb5389f7...9d01c304e9a8d5ef4f3b3161b9a3490f824a8ec1

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/compare/cc015acb60284f01fb566af584b0e477fb5389f7...9d01c304e9a8d5ef4f3b3161b9a3490f824a8ec1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag debian/2.0.7-3

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.0.7-3 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/tree/debian/2.0.7-3
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/omake] Pushed new tag debian/0.10.3-2

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/0.10.3-2 at Debian OCaml Maintainers / omake

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/omake/-/tree/debian/0.10.3-2
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-doc] Pushed new tag debian/4.11-2

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/4.11-2 at Debian OCaml Maintainers / 
ocaml-doc

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/tree/debian/4.11-2
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-doc] Pushed new tag upstream/4.11

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/4.11 at Debian OCaml Maintainers / 
ocaml-doc

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/tree/upstream/4.11
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-doc][upstream] New upstream version 4.11

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch upstream at Debian OCaml Maintainers / ocaml-doc


Commits:
4c1126bd by Mehdi Dogguy at 2021-01-24T11:59:26+01:00
New upstream version 4.11
- - - - -


9 changed files:

- − ocaml-4.05-refman.pdf
- − ocaml-4.05-refman.txt.gz
- + ocaml-4.11-refman.pdf
- + ocaml-4.11-refman.txt.gz
- ocaml.html/advexamples.html
- ocaml.html/afl-fuzz.html
- + ocaml.html/alerts.html
- + ocaml.html/attributes.html
- + ocaml.html/bigarray.html


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/commit/4c1126bdcae005904dae96c5c34af78019618526

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/commit/4c1126bdcae005904dae96c5c34af78019618526
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-doc] Pushed new tag debian/4.11-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/4.11-1 at Debian OCaml Maintainers / 
ocaml-doc

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/tree/debian/4.11-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-doc][master] 5 commits: New upstream version 4.11

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / ocaml-doc


Commits:
4c1126bd by Mehdi Dogguy at 2021-01-24T11:59:26+01:00
New upstream version 4.11
- - - - -
ea27ee61 by Mehdi Dogguy at 2021-01-24T11:59:39+01:00
Update upstream source from tag upstream/4.11

Update to upstream version 4.11
with Debian dir d971e2afd07ddb4ec0b50004de666e9c04d6
- - - - -
4d894ce0 by Mehdi Dogguy at 2021-01-24T12:04:15+01:00
New upstream release

- - - - -
460a87d0 by Mehdi Dogguy at 2021-01-24T12:06:50+01:00
Remove override_dh_installinfo, not needed anymore

- - - - -
1a063ea4 by Mehdi Dogguy at 2021-01-24T12:06:55+01:00
Release ocaml-doc 4.11-1 to unstable

- - - - -


11 changed files:

- debian/changelog
- debian/rules
- − ocaml-4.05-refman.pdf
- − ocaml-4.05-refman.txt.gz
- + ocaml-4.11-refman.pdf
- + ocaml-4.11-refman.txt.gz
- ocaml.html/advexamples.html
- ocaml.html/afl-fuzz.html
- + ocaml.html/alerts.html
- + ocaml.html/attributes.html
- + ocaml.html/bigarray.html


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/compare/a46b2a7f3b22fb45006ad13723ae72423decb322...1a063ea4f26a279afcaa241355c5894313522640

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/compare/a46b2a7f3b22fb45006ad13723ae72423decb322...1a063ea4f26a279afcaa241355c5894313522640
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-doc][pristine-tar] pristine-tar data for ocaml-doc_4.11.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / 
ocaml-doc


Commits:
01951732 by Mehdi Dogguy at 2021-01-24T11:59:39+01:00
pristine-tar data for ocaml-doc_4.11.orig.tar.gz

- - - - -


2 changed files:

- + ocaml-doc_4.11.orig.tar.gz.delta
- + ocaml-doc_4.11.orig.tar.gz.id


Changes:

=
ocaml-doc_4.11.orig.tar.gz.delta
=
Binary files /dev/null and b/ocaml-doc_4.11.orig.tar.gz.delta differ


=
ocaml-doc_4.11.orig.tar.gz.id
=
@@ -0,0 +1 @@
+454f4f6a0dd8befea1630cf52c7c3b4e82664a36



View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/commit/019517320325f3599c71853493390a0ea5c0e00d

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-doc/-/commit/019517320325f3599c71853493390a0ea5c0e00d
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlviz] Pushed new tag debian/1.01-5

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/1.01-5 at Debian OCaml Maintainers / ocamlviz

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlviz/-/tree/debian/1.01-5
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir] Pushed new tag upstream/20201216

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/20201216 at Debian OCaml Maintainers / 
menhir

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/tree/upstream/20201216
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir] Pushed new tag debian/20201216-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/20201216-1 at Debian OCaml Maintainers / 
menhir

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/tree/debian/20201216-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir] Pushed new tag upstream/20201214

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/20201214 at Debian OCaml Maintainers / 
menhir

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/tree/upstream/20201214
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir][upstream] 2 commits: New upstream version 20201214

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch upstream at Debian OCaml Maintainers / menhir


Commits:
03022e89 by Mehdi Dogguy at 2021-01-17T20:36:24+01:00
New upstream version 20201214
- - - - -
ffeb35d9 by Mehdi Dogguy at 2021-01-17T20:36:33+01:00
New upstream version 20201216
- - - - -


30 changed files:

- doc/macros.tex
- doc/manual.html
- doc/manual.pdf
- doc/manual.tex
- doc/manual001.png
- doc/manual002.png
- doc/manual003.png
- doc/version.tex
- dune-project
- lib/Engine.ml
- lib/EngineTypes.ml
- lib/IncrementalEngine.ml
- + src/AutomatonGraph.ml
- + src/AutomatonGraph.mli
- src/DependencyGraph.ml → src/ReferenceGraph.ml
- src/DependencyGraph.mli → src/ReferenceGraph.mli
- src/back.ml
- src/codeBackend.ml
- src/codeBits.ml
- src/codeBits.mli
- src/codePieces.ml
- src/codePieces.mli
- src/conflict.ml
- src/grammarFunctor.ml
- src/grammarFunctor.mli
- src/interpret.ml
- src/invariant.ml
- src/lexer.mll
- src/lr0.ml
- src/lr1.ml


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/compare/090180e735dba4de1aaf037d6694d871362c1322...ffeb35d951752cd294f88adf224603cf4c9d81c4

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/compare/090180e735dba4de1aaf037d6694d871362c1322...ffeb35d951752cd294f88adf224603cf4c9d81c4
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir][pristine-tar] 2 commits: pristine-tar data for menhir_20201214.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / menhir


Commits:
0b480121 by Mehdi Dogguy at 2021-01-17T20:36:28+01:00
pristine-tar data for menhir_20201214.orig.tar.gz

- - - - -
ad62cd64 by Mehdi Dogguy at 2021-01-17T20:36:36+01:00
pristine-tar data for menhir_20201216.orig.tar.gz

- - - - -


4 changed files:

- + menhir_20201214.orig.tar.gz.delta
- + menhir_20201214.orig.tar.gz.id
- + menhir_20201216.orig.tar.gz.delta
- + menhir_20201216.orig.tar.gz.id


Changes:

=
menhir_20201214.orig.tar.gz.delta
=
Binary files /dev/null and b/menhir_20201214.orig.tar.gz.delta differ


=
menhir_20201214.orig.tar.gz.id
=
@@ -0,0 +1 @@
+7a860390d8382a7dc2fcbae17887208e5682c83a


=
menhir_20201216.orig.tar.gz.delta
=
Binary files /dev/null and b/menhir_20201216.orig.tar.gz.delta differ


=
menhir_20201216.orig.tar.gz.id
=
@@ -0,0 +1 @@
+9d6f1c31430ef986bb8ce3a6df65bb272ea86c04



View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/compare/6604d9900fd2f3e5e644176ce4684a03f7409f6a...ad62cd64162a5d572917b5261be90af8789d7011

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/compare/6604d9900fd2f3e5e644176ce4684a03f7409f6a...ad62cd64162a5d572917b5261be90af8789d7011
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir][master] 7 commits: New upstream version 20201214

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / menhir


Commits:
03022e89 by Mehdi Dogguy at 2021-01-17T20:36:24+01:00
New upstream version 20201214
- - - - -
089a396a by Mehdi Dogguy at 2021-01-17T20:36:28+01:00
Update upstream source from tag upstream/20201214

Update to upstream version 20201214
with Debian dir ea8c9596865304d882c82b83313772da9b35c1ea
- - - - -
ffeb35d9 by Mehdi Dogguy at 2021-01-17T20:36:33+01:00
New upstream version 20201216
- - - - -
12f9fbc4 by Mehdi Dogguy at 2021-01-17T20:36:36+01:00
Update upstream source from tag upstream/20201216

Update to upstream version 20201216
with Debian dir ea8c9596865304d882c82b83313772da9b35c1ea
- - - - -
c677cbf2 by Mehdi Dogguy at 2021-01-17T20:38:31+01:00
New upstream release

- - - - -
26b78c96 by Mehdi Dogguy at 2021-01-17T21:01:36+01:00
Set --prefix=usr --libdir=lib/ocaml when using [dune install]

- - - - -
27dd7a63 by Mehdi Dogguy at 2021-01-17T21:01:58+01:00
Release menhir 20201216-1 to unstable

- - - - -


30 changed files:

- debian/changelog
- debian/rules
- doc/macros.tex
- doc/manual.html
- doc/manual.pdf
- doc/manual.tex
- doc/manual001.png
- doc/manual002.png
- doc/manual003.png
- doc/version.tex
- dune-project
- lib/Engine.ml
- lib/EngineTypes.ml
- lib/IncrementalEngine.ml
- + src/AutomatonGraph.ml
- + src/AutomatonGraph.mli
- src/DependencyGraph.ml → src/ReferenceGraph.ml
- src/DependencyGraph.mli → src/ReferenceGraph.mli
- src/back.ml
- src/codeBackend.ml
- src/codeBits.ml
- src/codeBits.mli
- src/codePieces.ml
- src/codePieces.mli
- src/conflict.ml
- src/grammarFunctor.ml
- src/grammarFunctor.mli
- src/interpret.ml
- src/invariant.ml
- src/lexer.mll


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/compare/94d37d497655cc5bd1bc91f8c09a97de28538f67...27dd7a6358f69ed3682a3bc179c97f51ce01ab93

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/menhir/-/compare/94d37d497655cc5bd1bc91f8c09a97de28538f67...27dd7a6358f69ed3682a3bc179c97f51ce01ab93
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag debian/2.0.7-2

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.0.7-2 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/tree/debian/2.0.7-2
You're receiving this email because of your account on salsa.debian.org.

Bug#921812: mldonkey-server: Add systemd service file for better security

[Mehdi Dogguy]

Hi Sunil,

On Fri, Feb 08, 2019 at 06:15:44PM -0800, Sunil Mohan Adapa  
wrote:
> It would nice to have a systemd service file for starting/stopping the daemon.
> It would avoid problems like #920466 and improve security due various
> restrictions that systemd can place. Attached is service file that we have
> tested for some simple operations. It lets the log get collected by journald 
> on
> systems running systemd allowing for better log rotation too.
>

I agree it would be a very nice improvement in the packaging. Thanks for 
brining this
up in a bugreport and providing a patch!

I have a doubt about which systemd features to enable by default though. I can 
see
thath Fedora/RedHat enabled really a few, as you can see in [1].

For this reason, I'll ask for advice from Michael (systemd's maintainer). 
Michael,
Sunil here is proposing a .service file for mldonkey-server. I am wondering if 
we
should aim for a simplistic approach as in [1] or if we should enable by default
features proposed by Sunil in his patch (see below). What do you think? What 
would
be your recommendation?

[1] 
https://src.fedoraproject.org/rpms/mldonkey/blob/2a45ff06778cadc4d58435ca1e7187396012c6f1/f/mldonkey.service

Regards,

> [Unit]
> Description=MLDonkey: Multi-protocol, peer-to-peer file sharing server
> After=syslog.target network.target
> ConditionPathExists=/var/lib/mldonkey/downloads.ini
> Documentation=man:mlnet(1) http://mldonkey.sourceforge.net/Main_Page
> 
> [Service]
> ExecStart=/usr/bin/mlnet
> Group=mldonkey
> LockPersonality=yes
> NoNewPrivileges=yes
> PrivateDevices=yes
> PrivateMounts=yes
> PrivateTmp=yes
> PrivateUsers=yes
> ProtectControlGroups=yes
> ProtectHome=yes
> ProtectKernelModules=yes
> ProtectKernelTunables=yes
> ProtectSystem=strict
> ReadWritePaths=/var/lib/mldonkey
> RestrictAddressFamilies=AF_UNIX AF_INET AF_INET6
> RestrictRealtime=yes
> StateDirectory=mldonkey
> SystemCallArchitectures=native
> Type=simple
> User=mldonkey
> WorkingDirectory=/var/lib/mldonkey
> 
> [Install]
> WantedBy=multi-user.target

-- 
Mehdi Dogguy

[Git][ocaml-team/parmap] Pushed new tag debian/1.2-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/1.2-1 at Debian OCaml Maintainers / parmap

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/-/tree/debian/1.2-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/parmap] Pushed new tag upstream/1.2

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/1.2 at Debian OCaml Maintainers / parmap

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/-/tree/upstream/1.2
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/parmap][pristine-tar] pristine-tar data for parmap_1.2.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / parmap


Commits:
6e5b3871 by Mehdi Dogguy at 2021-01-17T12:58:53+01:00
pristine-tar data for parmap_1.2.orig.tar.gz

- - - - -


2 changed files:

- + parmap_1.2.orig.tar.gz.delta
- + parmap_1.2.orig.tar.gz.id


Changes:

=
parmap_1.2.orig.tar.gz.delta
=
Binary files /dev/null and b/parmap_1.2.orig.tar.gz.delta differ


=
parmap_1.2.orig.tar.gz.id
=
@@ -0,0 +1 @@
+71c12f376f9f8d077df38e58ddaea4e811d3679e



View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/-/commit/6e5b38719fff39e628bb00a6c40c6eaa2f50fbdf

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/-/commit/6e5b38719fff39e628bb00a6c40c6eaa2f50fbdf
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag debian/2.0.7-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.0.7-1 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/tree/debian/2.0.7-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][master] 11 commits: New upstream version 2.0.6

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / opam


Commits:
42fd29bf by Nicolas Braud-Santoni at 2020-01-30T23:27:04+01:00
New upstream version 2.0.6
- - - - -
a50d5ba4 by nicoo at 2020-11-30T17:57:19+01:00
New upstream version 2.0.7
- - - - -
058d6d96 by Mehdi Dogguy at 2021-01-16T16:50:32+01:00
Merge tag upstream/2.0.7

Upstream version 2.0.7

- - - - -
573453f0 by Mehdi Dogguy at 2021-01-16T17:01:22+01:00
fix typo in debian/tests/control

- - - - -
a814dfca by Mehdi Dogguy at 2021-01-16T17:01:45+01:00
New minor upstream release

- - - - -
77cd6de5 by Mehdi Dogguy at 2021-01-16T17:40:48+01:00
Refresh patches

- - - - -
dcf64a52 by Mehdi Dogguy at 2021-01-17T10:25:11+01:00
Bump Build-Depend on libopam-file-format-ocaml-dev to (= 2.1.2-1~)

- - - - -
d341c445 by Mehdi Dogguy at 2021-01-17T10:35:31+01:00
Use man-html to generate upstream docs

- - - - -
bcd6ad53 by Mehdi Dogguy at 2021-01-17T11:00:26+01:00
Update opam-installer.install

- - - - -
fac9bc03 by Mehdi Dogguy at 2021-01-17T11:00:26+01:00
New release fixes #975853

- - - - -
1c2017ca by Mehdi Dogguy at 2021-01-17T11:00:31+01:00
Release opam 2.0.7-1 to unstable

- - - - -


30 changed files:

- .gitignore
- .travis-ci.sh
- .travis.yml
- CHANGES
- Makefile
- appveyor.patch
- configure
- configure.ac
- debian/changelog
- debian/control
- debian/opam-installer.install
- + debian/opam.docs
- debian/patches/0002-Add-a-test-target.patch → 
debian/patches/0001-Add-a-test-target.patch
- debian/patches/0002-opamFileTools.lint-Fix-typo-grammar-in-error-message.patch
- debian/patches/0003-opamCommands-Fix-typo-grammar-in-check.patch
- debian/patches/series
- debian/rules
- debian/tests/control
- doc/Makefile
- − doc/man.sed
- + doc/man/dune
- + doc/man/dune_man.ml
- + doc/man/opam-admin-topics.inc
- + doc/man/opam-topics.inc
- opam-client.opam
- opam-core.opam
- opam-devel.opam
- opam-format.opam
- opam-installer.opam
- opam-repository.opam


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/compare/e50660305580a9c7b06b6d842197a5e19a1f535a...1c2017cae95d44fec252e6748641a0418c45053a

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/-/compare/e50660305580a9c7b06b6d842197a5e19a1f535a...1c2017cae95d44fec252e6748641a0418c45053a
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/utop] Pushed new tag upstream/2.7.0

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/2.7.0 at Debian OCaml Maintainers / utop

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/utop/-/tree/upstream/2.7.0
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/utop] Pushed new tag debian/2.7.0-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.7.0-1 at Debian OCaml Maintainers / utop

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/utop/-/tree/debian/2.7.0-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/utop][pristine-tar] pristine-tar data for utop_2.7.0.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / utop


Commits:
07229736 by Mehdi Dogguy at 2021-01-17T12:03:17+01:00
pristine-tar data for utop_2.7.0.orig.tar.gz

- - - - -


2 changed files:

- + utop_2.7.0.orig.tar.gz.delta
- + utop_2.7.0.orig.tar.gz.id


Changes:

=
utop_2.7.0.orig.tar.gz.delta
=
Binary files /dev/null and b/utop_2.7.0.orig.tar.gz.delta differ


=
utop_2.7.0.orig.tar.gz.id
=
@@ -0,0 +1 @@
+e756f73b468c5f4d7a2834619a8dc7deb2421c2e



View it on GitLab: 
https://salsa.debian.org/ocaml-team/utop/-/commit/07229736d65e20587668553aee4b09c5e556

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/utop/-/commit/07229736d65e20587668553aee4b09c5e556
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam-file-format] Pushed new tag debian/2.1.2-2

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.1.2-2 at Debian OCaml Maintainers / 
opam-file-format

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam-file-format/-/tree/debian/2.1.2-2
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam-file-format] Pushed new tag debian/2.1.2-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.1.2-1 at Debian OCaml Maintainers / 
opam-file-format

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam-file-format/-/tree/debian/2.1.2-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam-file-format] Pushed new tag 2.1.2

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag 2.1.2 at Debian OCaml Maintainers / opam-file-format

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam-file-format/-/tree/2.1.2
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam-file-format][pristine-tar] pristine-tar data for opam-file-format_2.1.2.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / 
opam-file-format


Commits:
6c7c6b84 by Mehdi Dogguy at 2021-01-16T17:57:50+01:00
pristine-tar data for opam-file-format_2.1.2.orig.tar.gz

- - - - -


2 changed files:

- + opam-file-format_2.1.2.orig.tar.gz.delta
- + opam-file-format_2.1.2.orig.tar.gz.id


Changes:

=
opam-file-format_2.1.2.orig.tar.gz.delta
=
Binary files /dev/null and b/opam-file-format_2.1.2.orig.tar.gz.delta differ


=
opam-file-format_2.1.2.orig.tar.gz.id
=
@@ -0,0 +1 @@
+1cd4db5f60fd7c6eddc449e56ff19342ed4678af



View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam-file-format/-/commit/6c7c6b846a904e5d6ad03a380cb42d0be819934c

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam-file-format/-/commit/6c7c6b846a904e5d6ad03a380cb42d0be819934c
You're receiving this email because of your account on salsa.debian.org.

Bug#876966: marked as pending in ben

[Mehdi Dogguy]

On 2021-01-05 22:07, Christoph Berg wrote:

Re: Mehdi Dogguy

Bug #876966 in ben reported by you has been fixed in the
Git repository and is awaiting an upload. You can see the commit


I pulled scripts.js manually and change works nicely. Thanks!



Thanks a lot for checking, Christoph!

Happy new year,

--
Mehdi

[Git][ocaml-team/opam] Pushed new tag upstream/2.0.3

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/2.0.3 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: https://salsa.debian.org/ocaml-team/opam/tree/upstream/2.0.3
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag debian/2.0.3-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.0.3-1 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: https://salsa.debian.org/ocaml-team/opam/tree/debian/2.0.3-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][upstream] New upstream version 2.0.3

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch upstream at Debian OCaml Maintainers / opam


Commits:
21e8e750 by Mehdi Dogguy at 2019-02-01T09:11:30Z
New upstream version 2.0.3
- - - - -


30 changed files:

- .gitignore
- .travis-ci.sh
- .travis.yml
- CHANGES
- Makefile
- Makefile.config.in
- appveyor.patch
- appveyor_build.cmd
- configure
- configure.ac
- doc/Makefile
- + dune
- + dune-project
- − jbuild-ignore
- − jbuild-workspace.dev
- opam-client.opam
- opam-core.opam
- opam-devel.opam
- opam-format.opam
- opam-installer.opam
- opam-repository.opam
- opam-solver.opam
- opam-state.opam
- release/Makefile
- shell/bundle.sh
- shell/subst_var.ml
- + src/client/dune
- − src/client/jbuild
- src/client/manifest.inc.in
- src/client/opamArg.ml


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/21e8e750fc278b27ad100ad82889d7465a01c081

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/21e8e750fc278b27ad100ad82889d7465a01c081
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][master] 6 commits: New upstream version 2.0.3

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / opam


Commits:
21e8e750 by Mehdi Dogguy at 2019-02-01T09:11:30Z
New upstream version 2.0.3
- - - - -
84900646 by Mehdi Dogguy at 2019-02-01T09:11:32Z
Update upstream source from tag upstream/2.0.3

Update to upstream version 2.0.3
with Debian dir a0113655601e3549edd4362f413dfba3a071
- - - - -
f3ebd488 by Mehdi Dogguy at 2019-02-01T09:11:59Z
New (bugfix) upstream release

- - - - -
4ccd275d by Mehdi Dogguy at 2019-02-01T09:13:45Z
Restrict dependency on bubblewrap on [linux-any] (Closes: #918345)

- - - - -
452eeb4e by Mehdi Dogguy at 2019-02-01T11:05:07Z
Update patches

- - - - -
82ff65c8 by Mehdi Dogguy at 2019-02-01T11:05:09Z
Release opam 2.0.3-1 to unstable

- - - - -


30 changed files:

- .gitignore
- .travis-ci.sh
- .travis.yml
- CHANGES
- Makefile
- Makefile.config.in
- appveyor.patch
- appveyor_build.cmd
- configure
- configure.ac
- debian/changelog
- debian/control
- debian/patches/0002-Add-a-test-target.patch
- debian/patches/0002-Fix-spelling-error-in-manpage.patch
- doc/Makefile
- + dune
- + dune-project
- − jbuild-ignore
- − jbuild-workspace.dev
- opam-client.opam
- opam-core.opam
- opam-devel.opam
- opam-format.opam
- opam-installer.opam
- opam-repository.opam
- opam-solver.opam
- opam-state.opam
- release/Makefile
- shell/bundle.sh
- shell/subst_var.ml


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/compare/2d9cccf8b01b7179a60090e7fb8b1a027f2ccc80...82ff65c8e078c0caeb95f284b7569f9780f3e82e

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/compare/2d9cccf8b01b7179a60090e7fb8b1a027f2ccc80...82ff65c8e078c0caeb95f284b7569f9780f3e82e
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.0.3.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / opam


Commits:
9222df6b by Mehdi Dogguy at 2019-02-01T09:11:32Z
pristine-tar data for opam_2.0.3.orig.tar.gz

- - - - -


2 changed files:

- + opam_2.0.3.orig.tar.gz.delta
- + opam_2.0.3.orig.tar.gz.id


Changes:

=
opam_2.0.3.orig.tar.gz.delta
=
Binary files /dev/null and b/opam_2.0.3.orig.tar.gz.delta differ


=
opam_2.0.3.orig.tar.gz.id
=
@@ -0,0 +1 @@
+ee6020980d5630c744a1c48a1d5f06ca059b2e7f



View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/9222df6ba4d42424c18b1a0e29b2c04333ab2ad9

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/9222df6ba4d42424c18b1a0e29b2c04333ab2ad9
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph] Deleted tag debian/1.8.8-1

[Mehdi Dogguy]

Mehdi Dogguy deleted tag debian/1.8.8-1 at Debian OCaml Maintainers / ocamlgraph

-- 

You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph] Pushed new tag debian/1.8.8-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/1.8.8-1 at Debian OCaml Maintainers / 
ocamlgraph

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/tree/debian/1.8.8-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph] Pushed new tag upstream/1.8.8

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/1.8.8 at Debian OCaml Maintainers / 
ocamlgraph

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/tree/upstream/1.8.8
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph] Pushed new tag debian/1.8.8-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/1.8.8-1 at Debian OCaml Maintainers / 
ocamlgraph

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/tree/debian/1.8.8-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph] Pushed new tag upstream/1.8.7

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/1.8.7 at Debian OCaml Maintainers / 
ocamlgraph

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/tree/upstream/1.8.7
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph][upstream] 2 commits: New upstream version 1.8.7

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch upstream at Debian OCaml Maintainers / ocamlgraph


Commits:
d2f7e95c by Mehdi Dogguy at 2018-05-11T13:43:51Z
New upstream version 1.8.7
- - - - -
b0c23cf9 by Mehdi Dogguy at 2018-05-11T13:44:00Z
New upstream version 1.8.8
- - - - -


27 changed files:

- CHANGES
- INSTALL → INSTALL.adoc
- META.in
- Makefile.in
- README → README.adoc
- configure
- configure.in
- dgraph/dGraphContainer.ml
- dgraph/dGraphContainer.mli
- dgraph/dGraphModel.ml
- dgraph/dGraphModel.mli
- dgraph/dGraphRandModel.ml
- dgraph/dGraphRandModel.mli
- dgraph/dGraphSubTree.ml
- dgraph/dGraphSubTree.mli
- dgraph/dGraphTreeLayout.ml
- dgraph/dGraphTreeLayout.mli
- dgraph/dGraphTreeModel.ml
- dgraph/dGraphTreeModel.mli
- dgraph/dGraphView.ml
- dgraph/dGraphView.mli
- dgraph/dGraphViewItem.ml
- dgraph/dGraphViewItem.mli
- dgraph/dGraphViewer.ml
- dgraph/xDot.ml
- dgraph/xDot.mli
- dgraph/xDotDraw.ml


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/compare/b0fc33031b78a47d0247e126d426d39345abcfc9...b0c23cf946c986ecffaf0b5acc9dff8d212db789

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/compare/b0fc33031b78a47d0247e126d426d39345abcfc9...b0c23cf946c986ecffaf0b5acc9dff8d212db789
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph][master] 9 commits: New upstream version 1.8.7

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / ocamlgraph


Commits:
d2f7e95c by Mehdi Dogguy at 2018-05-11T13:43:51Z
New upstream version 1.8.7
- - - - -
b0c23cf9 by Mehdi Dogguy at 2018-05-11T13:44:00Z
New upstream version 1.8.8
- - - - -
15843595 by Mehdi Dogguy at 2018-05-11T13:44:01Z
Update upstream source from tag upstream/1.8.8

Update to upstream version 1.8.8
with Debian dir 0ee629be9ff15cf039fe172b37d23c6057731643
- - - - -
04b19ba3 by Mehdi Dogguy at 2018-05-11T13:44:30Z
New upstream release

- - - - -
d7465158 by Mehdi Dogguy at 2018-05-11T13:45:17Z
Update Vcs-* fields to target Salsa instead of Alioth

- - - - -
8aa8410c by Mehdi Dogguy at 2018-05-11T13:55:13Z
Refresh patches

- - - - -
962567d0 by Mehdi Dogguy at 2018-12-02T14:43:14Z
s/README/README.adoc/ in .docs file

- - - - -
07fbdce5 by Mehdi Dogguy at 2018-12-02T14:59:56Z
Install META file in libocamlgraph-ocaml-dev

- - - - -
725743da by Mehdi Dogguy at 2018-12-02T15:38:02Z
Release ocamlgraph 1.8.8-1 to unstable

- - - - -


30 changed files:

- CHANGES
- INSTALL → INSTALL.adoc
- META.in
- Makefile.in
- README → README.adoc
- configure
- configure.in
- debian/changelog
- debian/control
- debian/libocamlgraph-ocaml-dev.docs
- debian/libocamlgraph-ocaml-dev.install
- debian/patches/0001-prefix-binary-names-with-ocaml-and-do-not-install-us.patch
- debian/patches/0002-avoid-referencing-non-existent-icon-ed_icon.xpm.patch
- dgraph/dGraphContainer.ml
- dgraph/dGraphContainer.mli
- dgraph/dGraphModel.ml
- dgraph/dGraphModel.mli
- dgraph/dGraphRandModel.ml
- dgraph/dGraphRandModel.mli
- dgraph/dGraphSubTree.ml
- dgraph/dGraphSubTree.mli
- dgraph/dGraphTreeLayout.ml
- dgraph/dGraphTreeLayout.mli
- dgraph/dGraphTreeModel.ml
- dgraph/dGraphTreeModel.mli
- dgraph/dGraphView.ml
- dgraph/dGraphView.mli
- dgraph/dGraphViewItem.ml
- dgraph/dGraphViewItem.mli
- dgraph/dGraphViewer.ml


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/compare/bdd8930ea9087d032267d45af7aa3f345849fa52...725743da34e764212e8745f1db298cdd921c9335

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/compare/bdd8930ea9087d032267d45af7aa3f345849fa52...725743da34e764212e8745f1db298cdd921c9335
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlgraph][pristine-tar] 2 commits: pristine-tar data for ocamlgraph_1.8.7.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / 
ocamlgraph


Commits:
f5bfc5a5 by Mehdi Dogguy at 2018-05-11T13:43:53Z
pristine-tar data for ocamlgraph_1.8.7.orig.tar.gz

- - - - -
0a91e224 by Mehdi Dogguy at 2018-05-11T13:44:01Z
pristine-tar data for ocamlgraph_1.8.8.orig.tar.gz

- - - - -


4 changed files:

- + ocamlgraph_1.8.7.orig.tar.gz.delta
- + ocamlgraph_1.8.7.orig.tar.gz.id
- + ocamlgraph_1.8.8.orig.tar.gz.delta
- + ocamlgraph_1.8.8.orig.tar.gz.id


Changes:

=
ocamlgraph_1.8.7.orig.tar.gz.delta
=
Binary files /dev/null and b/ocamlgraph_1.8.7.orig.tar.gz.delta differ


=
ocamlgraph_1.8.7.orig.tar.gz.id
=
@@ -0,0 +1 @@
+60577d0e68c1a119c9ac6e70772c648e8dfd0d7f


=
ocamlgraph_1.8.8.orig.tar.gz.delta
=
Binary files /dev/null and b/ocamlgraph_1.8.8.orig.tar.gz.delta differ


=
ocamlgraph_1.8.8.orig.tar.gz.id
=
@@ -0,0 +1 @@
+e32737f49c3bb7f54b3c9aab1123bca5422460fb



View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/compare/6d8f544a0ac1f309e1b75acc0da3528c74a77329...0a91e2241de9412596cbc0d662ce79711bca3598

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocamlgraph/compare/6d8f544a0ac1f309e1b75acc0da3528c74a77329...0a91e2241de9412596cbc0d662ce79711bca3598
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/parmap] Pushed new tag debian/1.0_rc10-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/1.0_rc10-1 at Debian OCaml Maintainers / 
parmap

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/tree/debian/1.0_rc10-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/parmap] Pushed new tag upstream/1.0_rc10

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/1.0_rc10 at Debian OCaml Maintainers / 
parmap

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/tree/upstream/1.0_rc10
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/parmap][pristine-tar] pristine-tar data for parmap_1.0~rc10.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / parmap


Commits:
1f7ec5b3 by Mehdi Dogguy at 2018-12-02T13:09:12Z
pristine-tar data for parmap_1.0~rc10.orig.tar.gz

- - - - -


2 changed files:

- + parmap_1.0~rc10.orig.tar.gz.delta
- + parmap_1.0~rc10.orig.tar.gz.id


Changes:

=
parmap_1.0~rc10.orig.tar.gz.delta
=
Binary files /dev/null and b/parmap_1.0~rc10.orig.tar.gz.delta differ


=
parmap_1.0~rc10.orig.tar.gz.id
=
@@ -0,0 +1 @@
+80c2e56bf0ae40180d2924af0ee95fd2f610122c



View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/commit/1f7ec5b32a27977b8d94e51d23e2e47ca98c702d

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/parmap/commit/1f7ec5b32a27977b8d94e51d23e2e47ca98c702d
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag debian/2.0.1-1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag debian/2.0.1-1 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: https://salsa.debian.org/ocaml-team/opam/tree/debian/2.0.1-1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam] Pushed new tag upstream/2.0.1

[Mehdi Dogguy]

Mehdi Dogguy pushed new tag upstream/2.0.1 at Debian OCaml Maintainers / opam

-- 
View it on GitLab: https://salsa.debian.org/ocaml-team/opam/tree/upstream/2.0.1
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.0.1.orig.tar.gz

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch pristine-tar at Debian OCaml Maintainers / opam


Commits:
e32b36cd by Mehdi Dogguy at 2018-12-02T11:55:15Z
pristine-tar data for opam_2.0.1.orig.tar.gz

- - - - -


2 changed files:

- + opam_2.0.1.orig.tar.gz.delta
- + opam_2.0.1.orig.tar.gz.id


Changes:

=
opam_2.0.1.orig.tar.gz.delta
=
Binary files /dev/null and b/opam_2.0.1.orig.tar.gz.delta differ


=
opam_2.0.1.orig.tar.gz.id
=
@@ -0,0 +1 @@
+727a525549c30aaccbfbbec332a639f95c66db5c



View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/e32b36cd3034c8758dfd71cfd12877cd2b1fcd92

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/e32b36cd3034c8758dfd71cfd12877cd2b1fcd92
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][master] 10 commits: New upstream version 2.0.1

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / opam


Commits:
925c484a by Mehdi Dogguy at 2018-12-02T11:55:13Z
New upstream version 2.0.1
- - - - -
2d196422 by Mehdi Dogguy at 2018-12-02T11:55:15Z
Update upstream source from tag upstream/2.0.1

Update to upstream version 2.0.1
with Debian dir 93be9d4365b3d58279ee9413c71ec85537adc1b6
- - - - -
28456754 by Mehdi Dogguy at 2018-12-02T11:56:10Z
New upstream release

- - - - -
290d43a0 by Mehdi Dogguy at 2018-12-02T12:03:57Z
Remove patch integrated by upstream

- - - - -
93a39cd5 by Mehdi Dogguy at 2018-12-02T12:24:46Z
Stop building dev-manual.pdf

- - - - -
3d6da958 by Mehdi Dogguy at 2018-12-02T13:31:25Z
Add patch to fix spelling errors in manpages and binaries

- - - - -
7ca65738 by Mehdi Dogguy at 2018-12-02T13:31:25Z
Update copyright file

- - - - -
7ee42dd1 by Mehdi Dogguy at 2018-12-02T13:31:25Z
Rename opam-docs package into opam-doc

- - - - -
07f64f46 by Mehdi Dogguy at 2018-12-02T13:53:50Z
Ship README.md and CHANGES files in opam-installer

- - - - -
2d9cccf8 by Mehdi Dogguy at 2018-12-02T13:53:50Z
Release opam 2.0.1-1 to unstable

- - - - -


30 changed files:

- .gitignore
- .travis-ci.sh
- CHANGES
- appveyor.yml
- appveyor_build.cmd
- configure
- configure.ac
- debian/changelog
- debian/clean
- debian/control
- debian/copyright
- debian/opam-docs.install → debian/opam-doc.install
- − debian/opam-docs.doc-base
- − debian/opam-docs.docs
- debian/opam-installer.install
- − debian/patches/0001-Configure-user-identity-in-the-test-Git-repository.patch
- + debian/patches/0002-Fix-spelling-error-in-manpage.patch
- debian/patches/series
- debian/rules
- doc/Makefile
- − doc/dev-manual/Makefile
- − doc/dev-manual/dev-manual.css
- − doc/dev-manual/dev-manual.tex
- − doc/dev-manual/htmlmacros.hva
- − doc/dev-manual/pdfswitch.sty
- opam-client.opam
- opam-core.opam
- opam-devel.opam
- opam-format.opam
- opam-installer.opam


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/compare/71eb56093b8f6a6feeb07fb686696f7b6479b6cb...2d9cccf8b01b7179a60090e7fb8b1a027f2ccc80

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/compare/71eb56093b8f6a6feeb07fb686696f7b6479b6cb...2d9cccf8b01b7179a60090e7fb8b1a027f2ccc80
You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/opam][upstream] New upstream version 2.0.1

[Mehdi Dogguy]

Mehdi Dogguy pushed to branch upstream at Debian OCaml Maintainers / opam


Commits:
925c484a by Mehdi Dogguy at 2018-12-02T11:55:13Z
New upstream version 2.0.1
- - - - -


30 changed files:

- .gitignore
- .travis-ci.sh
- CHANGES
- appveyor.yml
- appveyor_build.cmd
- configure
- configure.ac
- doc/Makefile
- − doc/dev-manual/Makefile
- − doc/dev-manual/dev-manual.css
- − doc/dev-manual/dev-manual.tex
- − doc/dev-manual/htmlmacros.hva
- − doc/dev-manual/pdfswitch.sty
- opam-client.opam
- opam-core.opam
- opam-devel.opam
- opam-format.opam
- opam-installer.opam
- opam-repository.opam
- opam-solver.opam
- opam-state.opam
- release/Makefile
- shell/bootstrap-ocaml.sh
- shell/bundle.sh
- shell/install.sh
- src/client/opamAction.ml
- src/client/opamAdminRepoUpgrade.ml
- src/client/opamAuxCommands.ml
- src/client/opamCommands.ml
- src/client/opamInitDefaults.ml


The diff was not included because it is too large.


View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/925c484a1e1a30631f1610a0da9532c48b12f2e9

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/opam/commit/925c484a1e1a30631f1610a0da9532c48b12f2e9
You're receiving this email because of your account on salsa.debian.org.

Bug#908203: opam: Should not depend on aspcud any more

[Mehdi Dogguy]

On 2018-09-09 10:44, Ralf Jung wrote:

Hi Mehdi,


On 2018-09-07 12:42, Ralf Jung wrote:

Package: opam
Version: 2.0.0-2
Severity: normal

Dear Maintainer,

Quoting from https://opam.ocaml.org/doc/2.0/External_solvers.html:

As of 2.0.0, opam comes with a CUDF solver built-in by default, so 
unless you
have specifically compiled without it, you shouldn't have to be 
worried about

installing an external solver.


So, aspcud should at best be a recommendation, not a dependency.  
Likely, it
should just be a suggestions; the internal solver is used by default 
even when

aspcud is installed.



If I am not mistaken, the built-in solver is not enabled in the Debian 
package
because we are missing ocaml-mccs to make it work. So, for now, the 
dependency

is still needed.


Oh... that's a bummer, because using the new built-in solver is one of 
the
biggest reasons to update to opam 2 for me. :/  aspcud keeps computing 
really

strange solutions in some cases I frequently run into.



Indeed.

This also means Debian users will not get the default and 
upstream-intended
behavior of opam, which will be very confusing in particular for 
bugreports.




We agree. Our intent is to package ocaml-mccs in time to include it in 
Buster and
have a full featured OPAM 2 in Debian. Unfortunately, we did not 
anticpated ocaml-mccs's

packaging. But hopefully it is only a matter of time.


 Is there an issue that tracks fixing this?


Not yet, (I didn't see an RFP or ITP bugreport about this) [1]. Do you 
mind filing
an RFP bug please for ocaml-mccs? (and add 
debian-ocaml-maint%40lists.debian.org in

the X-debbugs-CC).


[1] https://www.debian.org/devel/wnpp/
--
Mehdi

Bug#908203: opam: Should not depend on aspcud any more

[Mehdi Dogguy]

Hi Ralf,

On 2018-09-07 12:42, Ralf Jung wrote:

Package: opam
Version: 2.0.0-2
Severity: normal

Dear Maintainer,

Quoting from https://opam.ocaml.org/doc/2.0/External_solvers.html:

As of 2.0.0, opam comes with a CUDF solver built-in by default, so 
unless you
have specifically compiled without it, you shouldn't have to be 
worried about

installing an external solver.


So, aspcud should at best be a recommendation, not a dependency.  
Likely, it
should just be a suggestions; the internal solver is used by default 
even when

aspcud is installed.



If I am not mistaken, the built-in solver is not enabled in the Debian 
package
because we are missing ocaml-mccs to make it work. So, for now, the 
dependency

is still needed.

Regards,

--
Mehdi

RFH: frama-c -- Platform dedicated to the analysis of source code written in C

[Mehdi Dogguy]

Package: wnpp
Severity: normal

Hi all,

Frama-c is a great tool to perform static analysis on source code 
written in C
(... write your own analysis plugins and many other neat features). But 
it
requires time to maintain it properly. I do not have that time anymore 
and I

do not use Frama-c any longer.

Time permitting, I will continue to upload new releases and fix 
outstanding bugs
but certainly not in sync with frama-c's release cycle. I am willing to 
mentor
people familiar with OCaml and willing to maintain Frama-c in the 
future.


--
Mehdi

Bug#907042: opam 1.2.0 is deprecated (jessie)

[Mehdi Dogguy]

Hi nico,

On 2018-08-23 16:53, Nicolas Braud-Santoni wrote:

Hi Mehdi,

On Thu, Aug 23, 2018 at 03:00:22PM +0200, Mehdi Dogguy wrote:

> [...]
> It makes opam unusable for jessie users: already initialised ones can't
> install new compilers nor update packages, and with a fresh install opam
> is almost unusable (e.g. [3]).

Unfortunately, we won't be able to upgrade Opam to 1.2.2 in Debian 
stable.


fwiw, I meant "oldstable" above.

I can ask for its removal, or document in this bugreport how to point 
their

installation to a frozen working mirror?


Doesn't the release policy allow shipping a new upstream version to 
*-pu, if
there is no other way to get the bug resolved (and after consulting the 
release

team) ?  Or is the issue that there won't be new point releases ?



I am not sure what the Release Team would accept at this point (Jessie 
is already
EOL'ed). So, a sloppy-backport should be enough for oldstable users. 
They can
upgrade to stable if necessary. Once, 2.0 will be ready in Buster, 
Stretch users

can use from backports.

--
Mehdi

Bug#907042: opam 1.2.0 is deprecated (jessie)

[Mehdi Dogguy]

On 2018-08-23 13:36, rjbou wrote:

Package: opam
Version: 1.2.0-1+deb8u1
Severity: grave
Justification: renders package unusable
Tags: jessie

Dear Maintainer,

On jessie, opam 1.2.0 is packaged but it is officially deprecated since
a year [1][2].

It makes opam unusable for jessie users: already initialised ones can't
install new compilers nor update packages, and with a fresh install 
opam

is almost unusable (e.g. [3]).

The solution is to upgrade the opam package to 1.2.2.



Unfortunately, we won't be able to upgrade Opam to 1.2.2 in Debian 
stable.
I can ask for its removal, or document in this bugreport how to point 
their

installation to a frozen working mirror?

In the meantime, I'll work on a {sloppy-,}backport of 1.2.2.

--
Mehdi

Bug#900018: FTBFS with latest cmdliner

[Mehdi Dogguy]

Hi Andy,

On 2018-05-25 08:40, Andy Li wrote:

I've a patch:
https://github.com/ocaml/opam/compare/1.2.2...andyli:1.2.2-fix.patch
It's based on the discussion with upstream at
https://discuss.ocaml.org/t/the-forever-beta-issue/1779/6



In fact, the patch introduces a bug and makes the build fail later in
the process (can't generate manpages and test-suite doesn't succeed).

Do you confirm this on your side as well?

--
Mehdi

Bug#900674: RFP: odoc -- documentation generator for OCaml

[Mehdi Dogguy]

Package: wnpp
Severity: wishlist

* Package name: odoc
  Version : 1.2.0
  Upstream Author : Thomas Refis and al.
* URL : https://github.com/ocaml/odoc
* License : ISC
  Programming Lang: OCaml
  Description : documentation generator for OCaml

odoc is a documentation generator for OCaml. It reads doc comments,
delimited with (** ... *), and outputs HTML.

odoc's main advantage over ocamldoc is an accurate cross-referencer,
which handles the complexity of the OCaml module system. odoc also
offers a good opportunity to improve HTML output compared to ocamldoc.

Furthermore, odoc can be used by jbuilder/dune to generate
documentation of OCaml projects using jbuilder/dune as a build-system.

If you want to maintain odoc, please consider joining the OCaml team:
https://wiki.debian.org/Teams/OCamlTaskForce/

Bug#900018: FTBFS with latest cmdliner

[Mehdi Dogguy]

Hi Andy,

On 2018-05-25 08:40, Andy Li wrote:

I've a patch:
https://github.com/ocaml/opam/compare/1.2.2...andyli:1.2.2-fix.patch


That's great!

FWIW, I've opened this bug report so that Opam doesn't migrate to
testing before being fixed or updated to a newer version. I have
the feeling that OPAM team is not willing to support OPAM 1.2.2
for a long time. So it doesn't make sense, at least for me, to
include it in Buster.

Yesterday, I've uploaded opam-file-format to NEW. As soon as it gets
accepted, I'll upload latest version of OPAM to Debian/Sid.


It's based on the discussion with upstream at
https://discuss.ocaml.org/t/the-forever-beta-issue/1779/6



Thanks for the pointer.

Cheers,

--
Mehdi

Bug#900018: FTBFS with latest cmdliner

[Mehdi Dogguy]

Package: opam
Version: 1.2.2-6+b1
Severity: serious

opam fails to build from source using latest cmdliner which was uploaded
to Debian/Sid a few days ago:

File "client/opamArg.ml", line 384, characters 25-29:
Error: This expression has type
 ?docv:string ->
 (string -> ('a, [ `Msg of string ]) result) * 'a printer ->
 'a converter
   but an expression was expected of type
 'b converter = 'b parser * 'b printer
../OCamlMakefile:1076: recipe for target 'client/opamArg.cmo' failed

Full build log can be found here:

   
https://buildd.debian.org/status/fetch.php?pkg=opam=armel=1.2.2-6%2Bb3=1526941860=0

-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.16.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), 
LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages opam depends on:
ii  build-essential  12.4
ii  curl 7.58.0-2
ii  libbz2-1.0   1.0.6-8.1
ii  libc62.27-3
ii  opam-docs1.2.2-6
ii  tar  1.30+dfsg-2
ii  unzip6.0-21
ii  wget 1.19.5-1
ii  zlib1g   1:1.2.11.dfsg-1

Versions of packages opam recommends:
ii  aspcud 1:1.9.4-1
pn  darcs  
ii  git1:2.17.0-1
pn  mercurial  
pn  ocaml  
ii  rsync  3.1.2-2.1

opam suggests no packages.

-- no debconf information

Re: Fixing Gringo in testing

[Mehdi Dogguy]

On 2018-05-24 10:22, Emilio Pozuelo Monfort wrote:

On 22/05/18 09:33, Mehdi Dogguy wrote:

Hi,

Gringo has an RC bug which causes an FTBFS. While the package is fixed 
in Unstable, its migration to testing is blocked by python3.6 at the 
moment.


I'd like to fix Gringo in testing to avoid removal of many OCaml 
packages from testing. The fix is pretty straightfotward as you can 
see here:
 
https://salsa.debian.org/science-team/gringo/commit/1d04ff7026aa95cbd963cdd4e5fdd0d1606c08f0


May I proceed with the upload?


python3.6 should migrate tomorrow night, and gringo is only set to be
autoremoved on June 7th. I'd suggest to wait a bit more, the situation 
should

resolve itself soon.



Great.


Emilio


--
Mehdi

Fixing Gringo in testing

[Mehdi Dogguy]

Hi,

Gringo has an RC bug which causes an FTBFS. While the package is fixed in 
Unstable, its migration to testing is blocked by python3.6 at the moment.

I'd like to fix Gringo in testing to avoid removal of many OCaml packages from 
testing. The fix is pretty straightfotward as you can see here:
 
https://salsa.debian.org/science-team/gringo/commit/1d04ff7026aa95cbd963cdd4e5fdd0d1606c08f0

May I proceed with the upload?

Cheers,
-- 
Mehdi

Bug#899238: RFP: ppx-tools-versioned -- Tools for authors of ppx rewriters

[Mehdi Dogguy]

Package: wnpp
Severity: wishlist

* Package name: ppx-tools-versioned
  Version : 5.1
  Upstream Author : Alain Frisch and al.
* URL : https://github.com/ocaml-ppx/ppx_tools_versioned
* License : MIT
  Programming Lang: OCaml
  Description : Tools for authors of ppx rewriters

This library is a variant of ppx-tools where all tools are versioned.
It is needed to build latest versions of tyxml.

Bug#899237: RFP: markup.ml -- Error-recovering streaming HTML5 and XML parsers

[Mehdi Dogguy]

Package: wnpp
Severity: wishlist

* Package name: markup.ml
  Version : 0.7.6
  Upstream Author : Anton Bachin
* URL : https://github.com/aantron/markup.ml
* License : BSD-2
  Programming Lang: OCaml
  Description : Error-recovering streaming HTML5 and XML parsers

Markup.ml is a pair of parsers implementing the HTML5 and XML
specifications, including error recovery. Usage is simple, because
each parser is a function from byte streams to parsing signal streams.

This software is needed as a new build dependency for tyxml.

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

On 2018-05-14 18:46, Sebastiaan Couwenberg wrote:

On 05/14/2018 08:26 AM, Mehdi Dogguy wrote:

On 2018-05-14 08:01, Sebastiaan Couwenberg wrote:
Unfortunately that doesn't apply cleanly on top of 0.7.4 for stretch. 
If

you can provide a rebased commit for 0.7.4 I'm willing to test that.



No problem. Here it is (attached). Thanks for your tests!


Thanks for the patch, it doesn't seem to work as expected, though.

`ben tracker` downloads the Packages & Sources files again even when
`ben download` downloaded them just before. It also uses the current
working directory for the downloaded files instead of the cache-dir 
from

the global.conf.

It looks like this is caused by the custom template that was built with
the old ben, because switching the template to debianrt in global.conf
results in the expected behaviour.



Indeed. I didn't explain fully how to apply the patch. My apologies.

The only effect of my second patch is to build templates differently to
avoid linking and include all Ben's library. So in order to have this
bug fixed, templates must be recompiled.


Rebuilding the template fails when executed from the root of the git
directory:

 $ ocamlbuild -pkg ben debiangis.cmxs
 + /usr/bin/ocamlopt unix.cmxa -I /usr/lib/ocaml/ocamlbuild
/usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -I /usr/lib/ocaml -I
/usr/lib/ocaml/ben -I /usr/lib/ocaml/bytes -I /usr/lib/ocaml/ocamlgraph
-I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/tyxml -I /usr/lib/ocaml/uutf
/usr/lib/ocaml/unix.cmxa /usr/lib/ocaml/pcre/pcre.cmxa
/usr/lib/ocaml/ocamlgraph/graph.cmxa /usr/lib/ocaml/str.cmxa
/usr/lib/ocaml/uutf/uutf.cmxa /usr/lib/ocaml/tyxml/tyxml.cmxa
/usr/lib/ocaml/ben/benl.cmxa myocamlbuild.ml
/usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
 File "myocamlbuild.ml", line 1:
 Error: Files /usr/lib/ocaml/unix.cmxa and /usr/lib/ocaml/unix.cmxa
both define a module named Unix



It is true that the fix needs a documentation update to specify how
templates should be built. I'll send you one very soon.

If you have an already built plugin, you may use the 
/usr/lib/ocaml/expunge

tool to hide/remove non-necessary modules (that you can list using
ocamlobjinfo). But, in any case, I'll provide a new procedure to build
custom plugins.

Regards,

--
Mehdi

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

On 2018-05-14 08:01, Sebastiaan Couwenberg wrote:
Unfortunately that doesn't apply cleanly on top of 0.7.4 for stretch. 
If

you can provide a rebased commit for 0.7.4 I'm willing to test that.



No problem. Here it is (attached). Thanks for your tests!

Kind Regards,

--
Mehdi--- a/_tags
+++ b/_tags
@@ -2,4 +2,4 @@
 <**/*.ml*>: annot
 : for-pack(Benlib)
 : use_libbenl
-<**/*.{byte,native}>: use_libbenl
+: use_libbenl
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -96,6 +96,18 @@ let () =
 flag ["ocaml"; "compile"; "native"] (S[A"-inline"; A"1000"]);
 flag ["ocaml"; "link"; "native"] (S[A"-inline"; A"1000"]);
 
+(* Templates *)
+rule "template: cmx -> cmxs"
+  ~prod:"%.cmxs"
+  ~dep:"%.cmx"
+  ~insert:`top
+  ~doc:"This rule allows to build a .cmxs from a .cmx, without 
including all its dependencies." begin
+fun env _ ->
+  let cmx = env "%.cmx" in
+  let cmxs = env "%.cmxs" in
+  Cmd(S[!Options.ocamlopt; A "-shared"; A "-I"; A "templates"; A 
cmx; A "-o"; A cmxs])
+  end;
+
 (* why isn't this done by default? *)
 flag ["library"; "link"; "thread"] (A"-thread");
 

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

On 2018-05-13 21:10, Sebastiaan Couwenberg wrote:


I've applied that commit on top of ben (0.7.4) from stretch, and it
resolves this issue. The Packages & Sources files are no longer
downloaded again when `ben tracker ...` is executed, and the various
settings from the global.conf files are used again.



FWIW, I've got a better fix:

https://salsa.debian.org/debian/ben/commit/c298da34ec0f4ebc0e68e51a220c2fd9b04fa6fd

It fixes the issue at its root, and doesn't only workaround one specific 
case.


--
Mehdi

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

On 2018-05-13 21:10, Sebastiaan Couwenberg wrote:

On 05/13/2018 08:32 PM, Mehdi Dogguy wrote:

On 2018-05-13 15:44, Sebastiaan Couwenberg wrote:
Those are the files in the current working directory, and may be from 
a

different distribution.

All the global.conf files use a separate cache-dir but this setting 
has

no effect any more.

The same goes for the list of architectures and ignored ones, these
settings are no longer used. It looks like the hardcoded defaults are
used instead.


Indeed. I think I found the culprit. Can you test this commit?

https://salsa.debian.org/debian/ben/commit/aba1f9a8e567502da18c11b8b89dc45f9eed4c19


I've applied that commit on top of ben (0.7.4) from stretch, and it
resolves this issue. The Packages & Sources files are no longer
downloaded again when `ben tracker ...` is executed, and the various
settings from the global.conf files are used again.



Great.


Will this fix find its way into a stretch-pu?



I'll try to submit it. Not sure if Release Managers would accept it.

Kind Regards,

--
Mehdi

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

On 2018-05-13 15:44, Sebastiaan Couwenberg wrote:

Those are the files in the current working directory, and may be from a
different distribution.

All the global.conf files use a separate cache-dir but this setting has
no effect any more.

The same goes for the list of architectures and ignored ones, these
settings are no longer used. It looks like the hardcoded defaults are
used instead.



Indeed. I think I found the culprit. Can you test this commit?

https://salsa.debian.org/debian/ben/commit/aba1f9a8e567502da18c11b8b89dc45f9eed4c19

Kind Regards,

--
Mehdi

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

Hi Sebastiaan,

On 2018-05-13 14:13, Sebastiaan Couwenberg wrote:

On 05/13/2018 01:59 PM, Mehdi Dogguy wrote:

On 2018-05-13 13:51, Sebastiaan Couwenberg wrote:

On 05/13/2018 01:25 PM, Mehdi Dogguy wrote:

On 2017-09-22 18:37, Bas Couwenberg wrote:

Package: ben
Version: 0.7.4+b4
Severity: important

Dear Maintainer,

Since the upgrade to stretch my ben setup no longer works as 
before.


The `ben tracker --global-conf /global.conf` commands don't 
use

the cache file as configured in the global.conf file, and instead
download the Sources & Packages files again (which were downloaded
before
using `ben download -c /global.conf`).

The downloaded files also use the current working directory instead 
of

the cache-dir configured in global.conf



Do you have "use-cache = true;" in your global.conf file?


Yes.



Can you please share your setup so that I can reproduce it and debug 
it?

(scripts, configuration files)


https://linuxminded.nl/tmp/ben.tar.gz

That contains my entire ben directory.



Great, thanks!

I noticed you had the following line at the beginning of your 
ben-tracker-*.sh

scripts:

  rm -f ben.cache Packages_* Sources

Since those scripts are executed after ben-download-*.sh scripts, it may 
explain

the behaviour your are experiencing.

Regards,

--
Mehdi

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

On 2018-05-13 13:51, Sebastiaan Couwenberg wrote:

On 05/13/2018 01:25 PM, Mehdi Dogguy wrote:

On 2017-09-22 18:37, Bas Couwenberg wrote:

Package: ben
Version: 0.7.4+b4
Severity: important

Dear Maintainer,

Since the upgrade to stretch my ben setup no longer works as before.

The `ben tracker --global-conf /global.conf` commands don't use
the cache file as configured in the global.conf file, and instead
download the Sources & Packages files again (which were downloaded 
before

using `ben download -c /global.conf`).

The downloaded files also use the current working directory instead 
of

the cache-dir configured in global.conf



Do you have "use-cache = true;" in your global.conf file?


Yes.



Can you please share your setup so that I can reproduce it and debug it?
(scripts, configuration files)


Kind Regards,

Bas


--
Mehdi

Bug#895166: ben: move out of asciidoc

[Mehdi Dogguy]

Hi,

On 2018-04-08 03:41, Joseph Herlant wrote:

Package: ben
Version: 0.7.7
Severity: wishlist

Dear Maintainer,

Asciidoc is currently facing its end of life and I'm working with the 
different

packages that depend on it to get its EOL go smooth.

There are several alternatives to asciidoc like asciidoctor for
example (which is the replacement recommended by asciidoc developers).

Could you have your package migrated to an alternative system please?



I've done the necessary changes to use asciidoctor instead of asciidoc 
and

pushed my changes to Ben's Git repository. This bug will be closed with
the next upload.

Regards,

--
Mehdi

Bug#876478: ben tracker --global-conf ignores settings

[Mehdi Dogguy]

Hi,

On 2017-09-22 18:37, Bas Couwenberg wrote:

Package: ben
Version: 0.7.4+b4
Severity: important

Dear Maintainer,

Since the upgrade to stretch my ben setup no longer works as before.

The `ben tracker --global-conf /global.conf` commands don't use
the cache file as configured in the global.conf file, and instead
download the Sources & Packages files again (which were downloaded 
before

using `ben download -c /global.conf`).

The downloaded files also use the current working directory instead of
the cache-dir configured in global.conf



Do you have "use-cache = true;" in your global.conf file?

--
Mehdi

Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile

[Mehdi Dogguy]

Hi all,

On 2017-08-18 23:26, Hendrik Tews wrote:

Stéphane,

I believe I addressed all your comments now. I pushed version
1.0.2-2 to the DOM repository.



I've just uploaded cmdliner 1.0.2-1 (after merging last two changelog 
entries).
1.0.2-1 did never hit the archive. So it made little sense to me to make 
a

1.0.2-2.

Thanks for your work!

--
Mehdi

Accepted ocurl 0.8.1-1 (source amd64) into unstable

[Mehdi Dogguy]

-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

Format: 1.8
Date: Fri, 11 May 2018 12:59:32 +0200
Source: ocurl
Binary: libcurl-ocaml-dev libcurl-ocaml
Architecture: source amd64
Version: 0.8.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@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
 - Requires libcurl >= 7.28.0
 - Needs bc and pkg-config in Build-Depends
   * Bump Standards-Version to 4.1.4, no changes required
   * Update Vcs-* fields
   * Update Homepage field
   * Remove Pietro from Uploaders since his e-mail address is not
 valid anymore.
   * Install newly generated cmxs file in libcurl-ocaml package
 - Move .cmo, .cma and META files in libcurl-ocaml as well
 - Make libcurl-ocaml Breaks/Replaces old versions of libcurl-ocaml-dev
Checksums-Sha1:
 e48fa72261a49bf932c3e218c88bc55ea94612ad 2164 ocurl_0.8.1-1.dsc
 241211ff8128dbdcf69e1a99943ec546fc670ed1 108979 ocurl_0.8.1.orig.tar.gz
 3b55fb2bf16e48f05d07c2f5c16ef19f4b1a595e 4944 ocurl_0.8.1-1.debian.tar.xz
 2f500659f978e5f6fc64b3a44e9b57b23134ee3e 122636 
libcurl-ocaml-dbgsym_0.8.1-1_amd64.deb
 1985e7b71880c7027d3e8f22c327a9b60949915d 266312 
libcurl-ocaml-dev_0.8.1-1_amd64.deb
 786edbff1a3bafc03e7c9b2e93730f53ef5c56ce 131100 libcurl-ocaml_0.8.1-1_amd64.deb
 ae664e1145c2feb04538cd2271b8362bb9ea 7516 ocurl_0.8.1-1_amd64.buildinfo
Checksums-Sha256:
 c1331611d85b0c6abf506657da4cf636c4c410a88cdbb55a750bee0dee042a2c 2164 
ocurl_0.8.1-1.dsc
 f21abc259b9d6a47f4c4201c9f8d5dcea50580cb91f4d3a0921d2ed3dac66fe4 108979 
ocurl_0.8.1.orig.tar.gz
 f3e39bc6371e6d24f6029fdbb1d7da88079e804519d8deea77ae47ecd276586e 4944 
ocurl_0.8.1-1.debian.tar.xz
 925c945b56abae74bb5aae7b9d42e0bd7a0e8f3ea8c34e44cf860e12fbea9712 122636 
libcurl-ocaml-dbgsym_0.8.1-1_amd64.deb
 c08e18e243c5fe211fd0bfccfc8d505c7d00c92539e70848e9ec8421e849b3bc 266312 
libcurl-ocaml-dev_0.8.1-1_amd64.deb
 83b98ad1ddd261da644e4a6a87ef23d0a52fe8fc61b90c761ec9ceb165fbe794 131100 
libcurl-ocaml_0.8.1-1_amd64.deb
 eb4c7a7a4545a26275ac5f4eb769d275e969d51701b042615eeeb9c16b63c4a3 7516 
ocurl_0.8.1-1_amd64.buildinfo
Files:
 ab90b414fa33eb8216ad782e534e27ce 2164 ocaml optional ocurl_0.8.1-1.dsc
 6e58083f875e1487f9a1b09fd36a1496 108979 ocaml optional ocurl_0.8.1.orig.tar.gz
 2f8cf238c1057a4a407b233d3d576c7d 4944 ocaml optional 
ocurl_0.8.1-1.debian.tar.xz
 8d10c2eb9beaff54386fc332e4ce7196 122636 debug optional 
libcurl-ocaml-dbgsym_0.8.1-1_amd64.deb
 14314d7590dae8634b1528101b982580 266312 ocaml optional 
libcurl-ocaml-dev_0.8.1-1_amd64.deb
 dda51578785578b91d9c6211a466fbd9 131100 ocaml optional 
libcurl-ocaml_0.8.1-1_amd64.deb
 441393b1779fcddbbe2f3b16ccc87007 7516 ocaml optional 
ocurl_0.8.1-1_amd64.buildinfo

-BEGIN PGP SIGNATURE-

iQJFBAEBCAAvFiEE/IeFmw45V03XKU7GPfRgADmhQMQFAlr1giURHG1laGRpQGRl
Ymlhbi5vcmcACgkQPfRgADmhQMT/rw/9ExO8Amc0pANjQ8BXlfc4qEv5OMkZVKKT
70tt4nIGqi2DbJvlUI5W4Qpu9mXrp6Yadcm5lD06E5WBhHp6yjD+55iYZTmyBgZz
Jgn1p9DnanN387HG7EvZtXiS8VwQNv5nsRY1e0uCS75DoykcvG/3ZjYDA/940Sgq
JucRqJSLyW/SETSEkPVqzxw1YrisX76qabc5kPOSs76NxTE8LGGZxDsRhs0iUS0N
oIYed4bkgSWSpDsltj8GWSRtC7FZEpD/QwqdgxDHWErEouL6g01vquSxDM9V+XfI
hkCiUr7ivaJaSKsObfrc3scudOYmcq0RYo5b+PWxFEkHJORsw9MwYGj1ivgJTTRk
g5eHrKHzEJjM/2bmYJlcO2HR0F2whB1XY/8QglO2/+BJ9xV6tnl5KvXEtVcqzrTG
KEGepVcXdPOZbGM9mcf2hul0YigVkDib5K/DmOsaApsCpWEQrlRoM4p7prAcLq08
Ps9AmjDtSgwfBlNKZQ+B/GXGnK3jdGK002iEaBNyI2bBxoHXqeE6ct2iH7lszZHi
JDiIhR1uoyeJ92bnXAJOB+3ENT4Ea4yp9VSrw9jKFXRo/Gy99PQBRm4WtSze+Gqs
xTDW9mELSHuBISMjX9tSOjhG4I1Fdisa6lD0fBoInqjmG6aJ4y2lF9M8T+xmJyvu
UWttXbuUNCY=
=KQYP
-END PGP SIGNATURE-

Re: alioth -> salsa migration

[Mehdi Dogguy]

On 2018-05-09 05:20, Andy Li wrote:

On Wed, May 9, 2018 at 4:11 AM, Ralf Treinen  wrote:


On Tue, May 08, 2018 at 11:25:46AM +0800, Andy Li wrote:

I found that I can no longer push to the package repos that I

created and

maintained. Possibly because I am only a DM, and using a guest

account.

Would you add me to the ocaml-team?

My alioth account is "andyli-guest". I've registered the salsa

guest account

with the same name.


Done -Ralf.


Thanks, Ralf.
One question: I guess the dom-new-git-repo wouldn't work anymore?


Indeed. We have to update those scripts to work with Salsa.

What is the new way of requesting new repo under the ocaml-team in 
salsa?




You can do it manually on salsa.debian.org (i.e. create a project within
ocaml team).

Best,

--
Mehdi

Fwd: [alioth deprecation] Please remove your unused and/or migrated repositories

[Mehdi Dogguy]

Hi all,

As previously stated, I've already migrated all our Git repositories. 
Before

deleting them, can somebody please do a double-check?

Cheers,

 Original Message 
Subject: [alioth deprecation] Please remove your unused and/or migrated 
repositories

Date: 2018-04-27 08:55
From: Alexander Wirt 
To: debian-devel-annou...@lists.debian.org

Hi,

please remove your old, unused repos on alioth, so that we don't have to
archive them.

For darcs, bzr and mecurial do this until 2018-05-09 for all other VCS 
until

2018-05-16.

Thanks for your attention

Alex

--
Mehdi

signature.asc
Description: PGP signature

Re: alioth -> salsa migration

[Mehdi Dogguy]

On 2018-04-21 13:48, Nicolas Braud-Santoni wrote:

On Wed, Apr 18, 2018 at 10:18:20PM +0200, Ralf Treinen wrote:

Hello,


Hi Ralf,


the migration of our git repositories from alioth to salsa becomes 
more

and more urgent. Is anybody working on this?


Not as far as I'm aware.



Running the python script as described in [1] seems easy enough. I can
do that, however I will be on VAC next week and don't want to do this
just before leaving, so it would have to wait for the week of april 30
if noone else wants to step in.


I can step in, perform the needed migrations, grant team members 
access,

and make sure there is a redirect from alioth to salsa, if I'm granted
access to pkg-ocaml on salsa (I would probably need Master permissions,
since I would be granting permissions and creating repos).



I have migrated all Git repos and added you to the ocaml-team on Salsa.
Next, I'll setup tag_pending, emails_on_push and irc/kgb hooks.

Alioth will refuse new commits from now on and warn about the repo 
having
been migrated to Salsa by telling its new address. I do not intend to 
setup

any redirection. Personally, I find it useless.

--
Mehdi

Re: Howto contribute in the transition?

[Mehdi Dogguy]

Hi Hendrik,

On 2017-10-09 13:51, Hendrik Tews wrote:

Stéphane,

I now and then look at the OCaml transition page, but, from what
I see there, I am not able to derive if and how I could help
(apart from working on hol-light - which I am doing in the
background). Maybe you want to share some bits on how to
contribute?



Looking at the transition page, you may identify packages failing
to build in level N blocking others packages from levels >N. Those
are the ones one should focus on and try to fix.

There are also many RC-bugs submitted recently. Any help with those
is also welcome (triaging, providing patches or hints on how to resolve
them).

Hope this helps,


--
Mehdi

Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work.

[Mehdi Dogguy]

Hi,

Thank you for this report.

On 12/08/2017 09:33, Adrian Bunk wrote:
> configure: ***
> configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
> configure: ***
> Ocamlfind -> using +lablgtk2.(/usr/lib/ocaml/lablgtk2,/usr/lib/ocaml/lablgtk2)
> checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes
> checking for /usr/lib/ocaml/lablgtk2/lablgnomecanvas.cma... yes
> checking for /usr/lib/ocaml/lablgtk2/lablgtk.cma... yes
> checking for dot... yes
> configure: error: native dynlink does not work.
> debian/rules:13: recipe for target 'override_dh_auto_configure' failed
> make[1]: *** [override_dh_auto_configure] Error 2
> 

For reference: After seeing this build failure after my upload, I have sent
a mail to upstream asking whether bytecode architectures are still supported.
I didn't want to patch Frama-C to make it build again there is there is no
will from upstream to support those architectures (It is trivial to fix but
might a useless effort). I am still waiting for their reply.

-- 
Mehdi

Re: Package maintenance of Frama-C

[Mehdi Dogguy]

On 11/08/2017 03:46, Ralf Treinen wrote:
> Hi,
> 
> On Thu, Aug 10, 2017 at 06:23:53PM -0400, Mehdi Dogguy wrote:
>> Hi all,
>>
>> I just want to let you know that I do not have time to maintain Frama-C 
>> anymore.
>> I don't use it anymore. Before considering filing an O: or RFA: bug, is there
>> anyone from the team interested in the package and willing to take care of 
>> it?
>>
>> FWIW, I do intend to update the package to the latest upstream version before
>> stopping touching to the package.
> 
> since it is a dependency of why I can for the moment take care of what
> has to be done, but it obviously would be better if someone who uses
> frama-c directly could take care of that. So, an RFA bug might still
> be useful.
> 

Noted. Thank you Ralf for your prompt reply!

I'll file the RFA as soon as I get the new upstream version ready.

Cheers,

-- 
Mehdi

Package maintenance of Frama-C

[Mehdi Dogguy]

Hi all,

I just want to let you know that I do not have time to maintain Frama-C anymore.
I don't use it anymore. Before considering filing an O: or RFA: bug, is there
anyone from the team interested in the package and willing to take care of it?

FWIW, I do intend to update the package to the latest upstream version before
stopping touching to the package.

Cheers,

-- 
Mehdi

Re: opam package dependency

[Mehdi Dogguy]

Hi Andy,

On 12/04/2017 07:17, Andy Li wrote:
> Hi,
> 
> This is Andy, the maintainer of the haxe Debian package
> , also a member of the Haxe Foundation,
> which is the upstream organization.
> We are considering to make use of more existing OPAM packages for building the
> Haxe compiler, but some of them do not have a corresponding Debian package. 
> e.g.
> sedlex .
> I wonder does it mean that I will have to package the OCaml libraries since I
> think it is not possible to use `opam install` when building a Debian package?
> 

You are right. Packaging Haxe requires packaging its dependencies as well.

Regards,

-- 
Mehdi

Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable

[Mehdi Dogguy]

Hi,

On 10/01/2017 08:58, Ralf Treinen wrote:
> Hi Josch,
> 
> On Mon, Jan 09, 2017 at 05:57:27PM +0100, Johannes Schauer wrote:
>> Hi Ralf,
>>
>> On Sun, 6 Nov 2016 14:56:51 +0100 Helmut Grohne  wrote:
>>> dose-builddebcheck has a built-in architecture table and allows
>>> replacing that by supplying --deb-triplettable. Unfortunately, the
>>> triplettable and its format disappeared from Debian with the dpkg
>>> 1.18.11 upload. Now the file is called "tupletable" and has a different
>>> format (and a versioned format). Thus it is no longer possible to
>>> replace dose's internal architecture mapping.
>>
>> what do you say? Should we bump this bug to severity serious because
>> triplettables are completely abandoned in Stretch and the functionality will
>> thus be useless?
> 
> Please don't, it will kick dose out of stretch unless you can fix it rapidly.
> Severity=serious is not justified since the bug concerns IMHO only a very
> limited number of users.
> 

I think that this can be discussed with the Release Team to see whether they
would accept a fix for this bug (potentially after Feb 5th, if the patch is
not ready 10 days before the freeze). Trading a known broken feature with a
patch that might get the functionality back is not a big risk.

> Maybe we can ask Helmut to provide a patch?
> 

We can. Adding him in the loop (as I guess submitters are not automatically
subscribed to bugs).

Cheers,

-- 
Mehdi

Bug#610835: Installing caml pulls in half the world

[Mehdi Dogguy]

I thought we could finish 2016 with a nice discussion with Juliusz :-)

On 25/01/2011 19:25, Juliusz Chroboczek wrote:
> 
> While I have read the long descriptions after becoming confused by the
> short descriptions, and hence before sending the report, as you suggest
> above, I fail to see what this has to do with my complaint.
> 

Ok, so the bug is in the description. Could you please provide a patch which
enhances the descriptions and makes them less confusing?

Regards,

-- 
Mehdi

Bug#827518: ocaml: missing dependency on libncurses-dev

[Mehdi Dogguy]

Hi,

Thank you for your bugreport and apologies for not getting back to you
sooner.

On 17/06/2016 12:07, whitequark wrote:
> Source: ocaml
> Severity: normal
> 
> Dear Maintainer,
> 
> The ocaml package, as well as its sister packages ocaml-nox, ocaml-base and
> ocaml-base-nox, are missing a dependency on libncurses-dev. This is apparent
> when trying to build a bytecode executable with an embedded custom runtime:
> 
>   $ touch t.ml
>   $ ocamlc t.ml -custom
>   /usr/bin/ld: cannot find -lcurses
>   collect2: error: ld returned 1 exit status
>   File "t.ml", line 1:
>   Error: Error while building custom runtime system
> 
> Because of this, packages that assume that they can build a custom runtime
> whenever they can build regular bytecode executables, which is in my opinion
> a fair assumption, break. A notable case where this presents a significant
> problem is when the OPAM package manager is used with a system OCaml compiler.
> Many notable packages, e.g. ocamlfind and lwt, build custom runtimes, and
> currently the OPAM packages have to be altered to either disable that, when
> possible, or else add an explicit dependency on ncurses-dev, through
> the depext mechanism, which integrates OPAM with APT.
> 

I acknowledge the problem. IIUI, the fix you're looking for is to move the
dependency on libncurses5-dev from ocaml-nox to ocaml-base-nox. But this raises
another question, why ocaml-base-nox is used to compile packages. Its
description contains the following bits:

 This package contains only the runtime system needed to run bytecode
 executables that do not use the graphics library. The 'ocaml' package
 contains the full development suite of Objective Caml.

while ocaml-nox's description has:

 This package contains everything needed to develop OCaml applications
 that do not require the graphics library.

So, if you are trying to build ocaml binaries, ocaml-nox should be preferred
over ocaml-base-nox.

What do you think?

Regards,

-- 
Mehdi

Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable

[Mehdi Dogguy]

On 22/12/2016 10:04, Mehdi Dogguy wrote:
> It needs (at least) to be recompiled against the latest frama-c before
> being considered a candidate for migration. I've scheduled a binNMU on
> amd64 to see if it builds. I'll investigate the breakage if it fails.
> 

It built successfully on amd64. I've scheduled binNMUs for the other
architectures.

https://buildd.debian.org/status/fetch.php?pkg=why=amd64=2.36-3%2Bb1=1482398387

Regards,

-- 
Mehdi

Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable

[Mehdi Dogguy]

On 22/12/2016 08:02, Ralf Treinen wrote:
> Hi Mehdi,
> 
> On Thu, Dec 22, 2016 at 12:06:15AM +0100, Mehdi Dogguy wrote:
>> Hi Ralf,
>>
>> On 21/12/2016 21:03, Ralf Treinen wrote:
>>> how do you know that why will not be part of stretch ?
>>>
>>
>> Why has been removed from testing since 2016-02-14 and why3 is now part
>> of Stretch. I have assumed the former has been dropped in favor of the
>> latter. Apologies if this is not the case. I'd be happy to restore the
>> Recommends statements if that's useful for someone.
> 
> this is not the case. Since the 2.36 upstream release of why, why 
> only contains the krakatoa and jessie plugins for frama-c. These now
> generate code in the why3 language, which has to be proven using why3.
> Only the "why" binary itself has gone. That is, why now depends both
> on frama-c and why3.
> 

Thanks for the explanation!

> The reasons for the removal of why from testing where different ones,
> and should be fixed now. why 2.36-3 should migrate back into testing
> in the next days.
> 

It needs (at least) to be recompiled against the latest frama-c before
being considered a candidate for migration. I've scheduled a binNMU on
amd64 to see if it builds. I'll investigate the breakage if it fails.

Regards,

-- 
Mehdi

Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable

[Mehdi Dogguy]

Hi Ralf,

On 21/12/2016 21:03, Ralf Treinen wrote:
> how do you know that why will not be part of stretch ?
> 

Why has been removed from testing since 2016-02-14 and why3 is now part
of Stretch. I have assumed the former has been dropped in favor of the
latter. Apologies if this is not the case. I'd be happy to restore the
Recommends statements if that's useful for someone.

Regards,

-- 
Mehdi

Re: package confluence

[Mehdi Dogguy]

On 21/12/2016 20:59, Ralf Treinen wrote:
> Hi Mehdi,
> 
> On Wed, Dec 21, 2016 at 03:09:10PM +0100, Mehdi wrote:
>> Hi Ralf,
>>
>> Did you ask for its removal?
>>
>> FWIW, i'm also for its removal from debian since the project is dead 
>> upstream.
> 
> not yet, since there still is a recommendation of confluence from 
> the package science-electronics. I have removed this recommendation
> in the git of debian-science, but I do not know when that package
> will be updated.

I do not think it is a blocker.

-- 
Mehdi

Re: Next upload of src:ocaml

[Mehdi Dogguy]

Hi

On 13/12/2016 08:08, Ralf Treinen wrote:
> Salut Mehdi,
> 
> On Mon, Dec 12, 2016 at 11:55:21PM +0100, Mehdi Dogguy wrote:
> 
>> I am considering uploading ocaml to include a few fixes. I am thinking
>> specifically about the following ones:
>>
>> - https://security-tracker.debian.org/tracker/CVE-2015-8869
>> - #792502 ocaml: obey hardening LDFLAGS
>> - #838188 ocaml: temporary preprocessed file paths make the ocaml compiler
>> produce unreproducible output
> 
> Yes, good idea.
> 

Great, I'll prepare the update then and upload it.

> I suppose that the migration to 4.03/4.04 is off for stretch?
> 

I think we are still not ready to make the transition and the deadline has
passed already.

-- 
Mehdi

Next upload of src:ocaml

[Mehdi Dogguy]

Hi everyone,

I am considering uploading ocaml to include a few fixes. I am thinking
specifically about the following ones:

- https://security-tracker.debian.org/tracker/CVE-2015-8869
- #792502 ocaml: obey hardening LDFLAGS
- #838188 ocaml: temporary preprocessed file paths make the ocaml compiler
produce unreproducible output

Any remark before proceeding?

Regards,

-- 
Mehdi

Re: Enabling flambda

[Mehdi Dogguy]

Hi,

On 08/11/2016 02:10, Pierre Boutillier wrote:
> Hi, (Disclaimer: I'm nobody in debian, I'm here because, for years, I tell
> myself I should help maintaining ocaml-packages but I've never taken the
> plunge).
> 

Nah… You are not nobody, You are one of our users :-) Debian is nothing
without you!

P.S.: And yes, some help would be more than welcome and I'd be happy to mentor
and sponsor uploads (just like every maintainer on this list!). I can promise
it is fun. Join us! :-)

-- 
Mehdi, with all the hats I have in Debian and, first, as a user too.

Re: 4.03.0 released to experimental

[Mehdi Dogguy]

On 06/11/2016 19:37, Ximin Luo wrote:
> 
> OK. I'm doing the new package now. I'm going to rename some branches in git,
> atm it is a bit non-standard and confusing.
> 

Can we discuss the renames you want to operate before doing it?

What did you find non-standard? What is standard?

-- 
Mehdi