Re: On frama-c's debian/watch

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bug#876966: marked as pending in ben

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bug#907042: opam 1.2.0 is deprecated (jessie)

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 ins

Bug#907042: opam 1.2.0 is deprecated (jessie)

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

Bug#900018: FTBFS with latest cmdliner

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

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

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

Bug#900018: FTBFS with latest cmdliner

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

Bug#900018: FTBFS with latest cmdliner

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

Re: Fixing Gringo in testing

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

Fixing Gringo in testing

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:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bug#895166: ben: move out of asciidoc

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

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

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

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

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

Accepted ocurl 0.8.1-1 (source amd64) into unstable

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

Re: alioth -> salsa migration

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

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

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

Re: alioth -> salsa migration

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

Re: Howto contribute in the transition?

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

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

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

Re: Package maintenance of Frama-C

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

Package maintenance of Frama-C

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

Re: opam package dependency

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

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

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

Bug#610835: Installing caml pulls in half the world

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

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

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

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

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 successfu

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

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 ? >>> >> &g

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

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.

Re: package confluence

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

Re: Next upload of src:ocaml

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

Next upload of src:ocaml

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

Re: Enabling flambda

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

Re: 4.03.0 released to experimental

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

  1   2   3   4   5   >