[Git][ocaml-team/cryptokit][pristine-tar] 2 commits: pristine-tar data for cryptokit_1.16.orig.tar.gz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / cryptokit Commits: 96d96915 by Stephane Glondu at 2020-11-07T11:59:12+01:00 pristine-tar data for cryptokit_1.16.orig.tar.gz - - - - - 2ab0a1ca by Stephane Glondu at 2020-11-07T12:00:10+01:00 pristine-tar data for

[Git][ocaml-team/cryptokit][master] 7 commits: New upstream version 1.16

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / cryptokit Commits: d257997e by Stephane Glondu at 2020-11-07T11:59:11+01:00 New upstream version 1.16 - - - - - c5a87c30 by Stephane Glondu at 2020-11-07T12:00:09+01:00 New upstream version 1.16.1 - - - - - c3a5c21d by

[Git][ocaml-team/ocaml-ipaddr][pristine-tar] pristine-tar data for ocaml-ipaddr_5.0.1.orig.tar.bz2

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-ipaddr Commits: d72a0444 by Stephane Glondu at 2020-11-07T13:48:46+01:00 pristine-tar data for ocaml-ipaddr_5.0.1.orig.tar.bz2 - - - - - 2 changed files: - + ocaml-ipaddr_5.0.1.orig.tar.bz2.delta - + ocaml

[Git][ocaml-team/ocaml-ipaddr][master] 6 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-ipaddr Commits: f7cfd42f by Stephane Glondu at 2020-11-07T13:48:41+01:00 Update debian/watch - - - - - a03d5e85 by Stephane Glondu at 2020-11-07T13:48:45+01:00 New upstream version 5.0.1 - - - - - 2ce105d5 by

[Git][ocaml-team/ocaml-ipaddr][upstream] New upstream version 5.0.1

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocaml-ipaddr Commits: a03d5e85 by Stephane Glondu at 2020-11-07T13:48:45+01:00 New upstream version 5.0.1 - - - - - 27 changed files: - − .gitignore - − .travis.yml - CHANGES.md - README.md - dune-project - ipaddr

[Git][ocaml-team/ocaml-ipaddr] Pushed new tag archive/debian/5.0.1-1

Stéphane Glondu pushed new tag archive/debian/5.0.1-1 at Debian OCaml Maintainers / ocaml-ipaddr -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-ipaddr/-/tree/archive/debian/5.0.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-ipaddr] Pushed new tag upstream/5.0.1

Stéphane Glondu pushed new tag upstream/5.0.1 at Debian OCaml Maintainers / ocaml-ipaddr -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-ipaddr/-/tree/upstream/5.0.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-ipaddr] Pushed new tag debian/5.0.1-1

Stéphane Glondu pushed new tag debian/5.0.1-1 at Debian OCaml Maintainers / ocaml-ipaddr -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-ipaddr/-/tree/debian/5.0.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-topkg][master] 5 commits: New upstream version 1.0.3

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-topkg Commits: 48508a6a by Stephane Glondu at 2020-11-08T04:34:01+01:00 New upstream version 1.0.3 - - - - - f986f2f5 by Stephane Glondu at 2020-11-08T04:34:02+01:00 Update upstream source from tag 'upstream/

[Git][ocaml-team/ocaml-topkg][pristine-tar] pristine-tar data for ocaml-topkg_1.0.3.orig.tar.bz2

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-topkg Commits: 1fbfaafb by Stephane Glondu at 2020-11-08T04:34:02+01:00 pristine-tar data for ocaml-topkg_1.0.3.orig.tar.bz2 - - - - - 2 changed files: - + ocaml-topkg_1.0.3.orig.tar.bz2.delta - + ocaml

[Git][ocaml-team/ocaml-topkg] Pushed new tag archive/debian/1.0.3-1

Stéphane Glondu pushed new tag archive/debian/1.0.3-1 at Debian OCaml Maintainers / ocaml-topkg -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-topkg/-/tree/archive/debian/1.0.3-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-topkg][upstream] New upstream version 1.0.3

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocaml-topkg Commits: 48508a6a by Stephane Glondu at 2020-11-08T04:34:01+01:00 New upstream version 1.0.3 - - - - - 30 changed files: - CHANGES.md - README.md - pkg/META - src-bin/bistro.ml - src-bin/bistro.mli - src

[Git][ocaml-team/ocaml-topkg] Pushed new tag debian/1.0.3-1

Stéphane Glondu pushed new tag debian/1.0.3-1 at Debian OCaml Maintainers / ocaml-topkg -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-topkg/-/tree/debian/1.0.3-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-topkg] Pushed new tag upstream/1.0.3

Stéphane Glondu pushed new tag upstream/1.0.3 at Debian OCaml Maintainers / ocaml-topkg -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-topkg/-/tree/upstream/1.0.3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocsigenserver][pristine-tar] pristine-tar data for ocsigenserver_2.16.1.orig.tar.gz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocsigenserver Commits: df1b57bc by Stephane Glondu at 2020-11-08T05:17:01+01:00 pristine-tar data for ocsigenserver_2.16.1.orig.tar.gz - - - - - 2 changed files: - + ocsigenserver_2.16.1.orig.tar.gz.delta

[Git][ocaml-team/ocsigenserver] Pushed new tag upstream/2.16.1

Stéphane Glondu pushed new tag upstream/2.16.1 at Debian OCaml Maintainers / ocsigenserver -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocsigenserver/-/tree/upstream/2.16.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocsigenserver] Pushed new tag archive/debian/2.16.1-1

Stéphane Glondu pushed new tag archive/debian/2.16.1-1 at Debian OCaml Maintainers / ocsigenserver -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocsigenserver/-/tree/archive/debian/2.16.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocsigenserver] Pushed new tag debian/2.16.1-1

Stéphane Glondu pushed new tag debian/2.16.1-1 at Debian OCaml Maintainers / ocsigenserver -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocsigenserver/-/tree/debian/2.16.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml][master] 7 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / js-of-ocaml Commits: 0221e72d by Stephane Glondu at 2020-11-08T05:31:34+01:00 Update debian/watch - - - - - e6b1d729 by Stephane Glondu at 2020-11-08T05:32:41+01:00 New upstream version 3.7.1 - - - - - 6acf8d62 by Stephane

[Git][ocaml-team/js-of-ocaml][pristine-tar] pristine-tar data for js-of-ocaml_3.7.1.orig.tar.bz2

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / js-of-ocaml Commits: ea65f4ae by Stephane Glondu at 2020-11-08T05:32:47+01:00 pristine-tar data for js-of-ocaml_3.7.1.orig.tar.bz2 - - - - - 2 changed files: - + js-of-ocaml_3.7.1.orig.tar.bz2.delta - + js-of

[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/3.7.1-1

Stéphane Glondu pushed new tag debian/3.7.1-1 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/debian/3.7.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml] Pushed new branch patch-queue/master

Stéphane Glondu pushed new branch patch-queue/master at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/patch-queue/master You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/3.7.1-1

Stéphane Glondu pushed new tag archive/debian/3.7.1-1 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/archive/debian/3.7.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml][upstream] New upstream version 3.7.1

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / js-of-ocaml Commits: e6b1d729 by Stephane Glondu at 2020-11-08T05:32:41+01:00 New upstream version 3.7.1 - - - - - 30 changed files: - − .github/ISSUE_TEMPLATE/bug_report.md - − .github/ISSUE_TEMPLATE

[Git][ocaml-team/js-of-ocaml] Deleted branch patch-queue/master

Stéphane Glondu deleted branch patch-queue/master at Debian OCaml Maintainers / js-of-ocaml -- You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/3.7.1

Stéphane Glondu pushed new tag upstream/3.7.1 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/upstream/3.7.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.14.1

Stéphane Glondu pushed new tag upstream/0.14.1 at Debian OCaml Maintainers / ppx-sexp-conv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-sexp-conv/-/tree/upstream/0.14.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ppx-sexp-conv] Pushed new tag archive/debian/1%0.14.1-1

Stéphane Glondu pushed new tag archive/debian/1%0.14.1-1 at Debian OCaml Maintainers / ppx-sexp-conv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-sexp-conv/-/tree/archive/debian/1%250.14.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.14.1-1

Stéphane Glondu pushed new tag debian/1%0.14.1-1 at Debian OCaml Maintainers / ppx-sexp-conv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-sexp-conv/-/tree/debian/1%250.14.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ppx-sexp-conv][pristine-tar] pristine-tar data for ppx-sexp-conv_0.14.1.orig.tar.gz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ppx-sexp-conv Commits: aee6620e by Stephane Glondu at 2020-11-09T04:24:12+01:00 pristine-tar data for ppx-sexp-conv_0.14.1.orig.tar.gz - - - - - 2 changed files: - + ppx-sexp-conv_0.14.1.orig.tar.gz.delta - + ppx

[Git][ocaml-team/eliom][pristine-tar] pristine-tar data for eliom_6.12.4.orig.tar.gz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / eliom Commits: 50f778c1 by Stephane Glondu at 2020-11-11T03:32:38+01:00 pristine-tar data for eliom_6.12.4.orig.tar.gz - - - - - 2 changed files: - + eliom_6.12.4.orig.tar.gz.delta - + eliom_6.12.4.orig.tar.gz.id

[Git][ocaml-team/eliom] Pushed new tag debian/6.12.4-1

Stéphane Glondu pushed new tag debian/6.12.4-1 at Debian OCaml Maintainers / eliom -- View it on GitLab: https://salsa.debian.org/ocaml-team/eliom/-/tree/debian/6.12.4-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/eliom] Pushed new tag upstream/6.12.4

Stéphane Glondu pushed new tag upstream/6.12.4 at Debian OCaml Maintainers / eliom -- View it on GitLab: https://salsa.debian.org/ocaml-team/eliom/-/tree/upstream/6.12.4 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_2.7.1.orig.tar.bz2

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-dune Commits: 6985a9a5 by Stephane Glondu at 2020-09-10T06:01:39+02:00 pristine-tar data for ocaml-dune_2.7.1.orig.tar.bz2 - - - - - 2 changed files: - + ocaml-dune_2.7.1.orig.tar.bz2.delta - + ocaml

[Git][ocaml-team/ocaml-dune][master] 5 commits: New upstream version 2.7.1

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-dune Commits: 322f62e5 by Stephane Glondu at 2020-09-10T06:01:36+02:00 New upstream version 2.7.1 - - - - - ee0bcdbd by Stephane Glondu at 2020-09-10T06:01:39+02:00 Update upstream source from tag 'upstream/

[Git][ocaml-team/ocaml-dune][upstream] New upstream version 2.7.1

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocaml-dune Commits: 322f62e5 by Stephane Glondu at 2020-09-10T06:01:36+02:00 New upstream version 2.7.1 - - - - - 30 changed files: - CHANGES.md - Makefile - − appveyor.yml - bench/dune_bench/dune - bench/dune_bench

[Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/2.7.1-1

Stéphane Glondu pushed new tag archive/debian/2.7.1-1 at Debian OCaml Maintainers / ocaml-dune -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dune/-/tree/archive/debian/2.7.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-dune] Pushed new tag debian/2.7.1-1

Stéphane Glondu pushed new tag debian/2.7.1-1 at Debian OCaml Maintainers / ocaml-dune -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dune/-/tree/debian/2.7.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-dune] Pushed new tag upstream/2.7.1

Stéphane Glondu pushed new tag upstream/2.7.1 at Debian OCaml Maintainers / ocaml-dune -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dune/-/tree/upstream/2.7.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/camlimages] Pushed new tag archive/debian/1%5.0.4-1

Stéphane Glondu pushed new tag archive/debian/1%5.0.4-1 at Debian OCaml Maintainers / camlimages -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlimages/-/tree/archive/debian/1%255.0.4-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/camlimages] Pushed new tag upstream/5.0.4

Stéphane Glondu pushed new tag upstream/5.0.4 at Debian OCaml Maintainers / camlimages -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlimages/-/tree/upstream/5.0.4 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/camlimages] Pushed new tag debian/1%5.0.4-1

Stéphane Glondu pushed new tag debian/1%5.0.4-1 at Debian OCaml Maintainers / camlimages -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlimages/-/tree/debian/1%255.0.4-1 You're receiving this email because of your account on salsa.debian.org.

Bug#975894: Breaks build of many reverse dependencies

Package: ocaml-dune Version: 2.7.1-1 Severity: serious Dear maintainer, It seems the latest ocaml-dune breaks many reverse dependencies, see for example #975821 (ocp-indent). Cheers, -- Stéphane -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (990, 't

Bug#975894: Issues with dune 2.7.1

Hello, After the update to dune 2.7.1 (from 2.7.0) in Debian, many packages started to fail to build and I don't understand why. Let's have a look at ocp-indent, for example: https://bugs.debian.org/975821 It fails with errors like 'Library "findlib" not found' or 'Library "cmdliner" not foun

[Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/2.7.1-2

Stéphane Glondu pushed new tag archive/debian/2.7.1-2 at Debian OCaml Maintainers / ocaml-dune -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dune/-/tree/archive/debian/2.7.1-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-dune] Pushed new tag debian/2.7.1-2

Stéphane Glondu pushed new tag debian/2.7.1-2 at Debian OCaml Maintainers / ocaml-dune -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dune/-/tree/debian/2.7.1-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml][master] 5 commits: New upstream version 3.8.0

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / js-of-ocaml Commits: 1bc13071 by Stephane Glondu at 2020-12-05T14:34:24+01:00 New upstream version 3.8.0 - - - - - 837ebfad by Stephane Glondu at 2020-12-05T14:34:31+01:00 Update upstream source from tag 'upstream/

[Git][ocaml-team/js-of-ocaml][pristine-tar] pristine-tar data for js-of-ocaml_3.8.0.orig.tar.bz2

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / js-of-ocaml Commits: c91067c3 by Stephane Glondu at 2020-12-05T14:34:30+01:00 pristine-tar data for js-of-ocaml_3.8.0.orig.tar.bz2 - - - - - 2 changed files: - + js-of-ocaml_3.8.0.orig.tar.bz2.delta - + js-of

[Git][ocaml-team/js-of-ocaml][upstream] New upstream version 3.8.0

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / js-of-ocaml Commits: 1bc13071 by Stephane Glondu at 2020-12-05T14:34:24+01:00 New upstream version 3.8.0 - - - - - 30 changed files: - CHANGES.md - VERSION - compiler/lib/base64.mli - compiler/ppx/dune - compiler/ppx

[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/3.8.0-1

Stéphane Glondu pushed new tag archive/debian/3.8.0-1 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/archive/debian/3.8.0-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/3.8.0-1

Stéphane Glondu pushed new tag debian/3.8.0-1 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/debian/3.8.0-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/3.8.0

Stéphane Glondu pushed new tag upstream/3.8.0 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/upstream/3.8.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-zarith][pristine-tar] pristine-tar data for ocaml-zarith_1.11.orig.tar.gz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-zarith Commits: b73f2841 by Stephane Glondu at 2020-12-06T10:34:01+01:00 pristine-tar data for ocaml-zarith_1.11.orig.tar.gz - - - - - 2 changed files: - + ocaml-zarith_1.11.orig.tar.gz.delta - + ocaml

[Git][ocaml-team/ocaml-zarith] Pushed new tag archive/debian/1.11-1

Stéphane Glondu pushed new tag archive/debian/1.11-1 at Debian OCaml Maintainers / ocaml-zarith -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-zarith/-/tree/archive/debian/1.11-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.11-1

Stéphane Glondu pushed new tag debian/1.11-1 at Debian OCaml Maintainers / ocaml-zarith -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-zarith/-/tree/debian/1.11-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-zarith] Pushed new tag upstream/1.11

Stéphane Glondu pushed new tag upstream/1.11 at Debian OCaml Maintainers / ocaml-zarith -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-zarith/-/tree/upstream/1.11 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-migrate-parsetree][master] 6 commits: Fix debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-migrate-parsetree Commits: 29270c8e by Stephane Glondu at 2020-12-12T10:40:30+01:00 Fix debian/watch - - - - - 7b32c283 by Stephane Glondu at 2020-12-12T10:40:48+01:00 New upstream version 1.8.0 - - - - - 821c9989 by

[Git][ocaml-team/ocaml-migrate-parsetree][pristine-tar] pristine-tar data for ocaml-migrate-parsetree_1.8.0.orig.tar.bz2

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-migrate-parsetree Commits: 39f8c421 by Stephane Glondu at 2020-12-12T10:40:49+01:00 pristine-tar data for ocaml-migrate-parsetree_1.8.0.orig.tar.bz2 - - - - - 2 changed files: - + ocaml-migrate

[Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag archive/debian/1.8.0-1

Stéphane Glondu pushed new tag archive/debian/1.8.0-1 at Debian OCaml Maintainers / ocaml-migrate-parsetree -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-migrate-parsetree/-/tree/archive/debian/1.8.0-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-migrate-parsetree][upstream] New upstream version 1.8.0

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocaml-migrate-parsetree Commits: 7b32c283 by Stephane Glondu at 2020-12-12T10:40:48+01:00 New upstream version 1.8.0 - - - - - 24 changed files: - − .gitignore - − .ocamlformat - − .ocp-indent - − .travis.yml

[Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag debian/1.8.0-1

Stéphane Glondu pushed new tag debian/1.8.0-1 at Debian OCaml Maintainers / ocaml-migrate-parsetree -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-migrate-parsetree/-/tree/debian/1.8.0-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag upstream/1.8.0

Stéphane Glondu pushed new tag upstream/1.8.0 at Debian OCaml Maintainers / ocaml-migrate-parsetree -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-migrate-parsetree/-/tree/upstream/1.8.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ppx-tools][master] 6 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ppx-tools Commits: 923c5723 by Stephane Glondu at 2020-12-12T11:07:22+01:00 Update debian/watch - - - - - ff005d14 by Stephane Glondu at 2020-12-12T11:07:58+01:00 New upstream version 6.3 - - - - - ffdcf749 by Stephane

[Git][ocaml-team/ppx-tools][pristine-tar] pristine-tar data for ppx-tools_6.3.orig.tar.bz2

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ppx-tools Commits: 272442d6 by Stephane Glondu at 2020-12-12T11:07:59+01:00 pristine-tar data for ppx-tools_6.3.orig.tar.bz2 - - - - - 2 changed files: - + ppx-tools_6.3.orig.tar.bz2.delta - + ppx-tools_6.3

[Git][ocaml-team/ppx-tools][upstream] New upstream version 6.3

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ppx-tools Commits: ff005d14 by Stephane Glondu at 2020-12-12T11:07:58+01:00 New upstream version 6.3 - - - - - 30 changed files: - .travis.yml - − 408/ast_convenience.ml - − 408/ast_convenience.mli - − 408

[Git][ocaml-team/ppx-tools] Pushed new tag debian/6.3-1

Stéphane Glondu pushed new tag debian/6.3-1 at Debian OCaml Maintainers / ppx-tools -- View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-tools/-/tree/debian/6.3-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ppx-tools] Pushed new tag archive/debian/6.3-1

Stéphane Glondu pushed new tag archive/debian/6.3-1 at Debian OCaml Maintainers / ppx-tools -- View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-tools/-/tree/archive/debian/6.3-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ppx-tools] Pushed new tag upstream/6.3

Stéphane Glondu pushed new tag upstream/6.3 at Debian OCaml Maintainers / ppx-tools -- View it on GitLab: https://salsa.debian.org/ocaml-team/ppx-tools/-/tree/upstream/6.3 You're receiving this email because of your account on salsa.debian.org.

Bug#978024: regression: 4.11.1 broke dose3 on bytecode arches

Control: reassign -1 dose3 Hello, Le 24/12/2020 à 17:37, Johannes 'josch' Schauer a écrit : > my package botch FTBFS on armel, mips64el and mipsel: > > https://buildd.debian.org/status/package.php?p=botch > > The reason is, that when calling dose-deb-coinstall it fails with "unknown > option --

[Git][ocaml-team/dose3] Pushed new tag archive/debian/5.0.1-15

Stéphane Glondu pushed new tag archive/debian/5.0.1-15 at Debian OCaml Maintainers / dose3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/dose3/-/tree/archive/debian/5.0.1-15 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/dose3] Pushed new tag archive/debian/5.0.1-16

Stéphane Glondu pushed new tag archive/debian/5.0.1-16 at Debian OCaml Maintainers / dose3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/dose3/-/tree/archive/debian/5.0.1-16 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/dose3] Pushed new tag debian/5.0.1-16

Stéphane Glondu pushed new tag debian/5.0.1-16 at Debian OCaml Maintainers / dose3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/dose3/-/tree/debian/5.0.1-16 You're receiving this email because of your account on salsa.debian.org.

Bug#977258: libssreflect-coq: ABI break by coq binNMU

clone 977258 -1 reassign -1 coq severity -1 wishlist retitle -1 Please compute ABIs for Coq libraries thanks Hello, Le 13/12/2020 à 10:28, Nobuhiro Ban a écrit : >> Compiled library mathcomp.ssreflect.ssreflect (in file >> /usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo) makes >> inco

[Git][ocaml-team/belenios][master] 7 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / belenios Commits: dad25a5a by Stephane Glondu at 2021-02-03T10:26:31+01:00 Update debian/watch - - - - - bd4b10d0 by Stephane Glondu at 2021-02-03T10:27:47+01:00 New upstream version 1.12+dfsg - - - - - 49edb512 by Stephane

[Git][ocaml-team/belenios][upstream] 2 commits: New upstream version 1.12+dfsg

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios Commits: bd4b10d0 by Stephane Glondu at 2021-02-03T10:27:47+01:00 New upstream version 1.12+dfsg - - - - - 49edb512 by Stephane Glondu at 2021-02-03T10:28:30+01:00 New upstream version 1.13+dfsg - - - - - 30

[Git][ocaml-team/belenios][pristine-tar] 2 commits: pristine-tar data for belenios_1.12+dfsg.orig.tar.xz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / belenios Commits: 69c6269f by Stephane Glondu at 2021-02-03T10:27:49+01:00 pristine-tar data for belenios_1.12+dfsg.orig.tar.xz - - - - - 8732f1c5 by Stephane Glondu at 2021-02-03T10:28:31+01:00 pristine-tar data for

[Git][ocaml-team/belenios][master] 5 commits: New upstream version 1.14+dfsg

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / belenios Commits: bd5dc4de by Stephane Glondu at 2021-02-10T09:28:48+01:00 New upstream version 1.14+dfsg - - - - - 846ba033 by Stephane Glondu at 2021-02-10T09:28:51+01:00 Update upstream source from tag 'upstream/1.14

[Git][ocaml-team/belenios][pristine-tar] pristine-tar data for belenios_1.14+dfsg.orig.tar.xz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / belenios Commits: 76ebb0c0 by Stephane Glondu at 2021-02-10T09:28:51+01:00 pristine-tar data for belenios_1.14+dfsg.orig.tar.xz - - - - - 2 changed files: - + belenios_1.14+dfsg.orig.tar.xz.delta - + belenios_1.14

[Git][ocaml-team/belenios][upstream] New upstream version 1.14+dfsg

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios Commits: bd5dc4de by Stephane Glondu at 2021-02-10T09:28:48+01:00 New upstream version 1.14+dfsg - - - - - 7 changed files: - .gitlab-ci.yml - CHANGES.md - VERSION - contrib/monitor_elections.py - demo

[Git][ocaml-team/belenios] Pushed new tag archive/debian/1.14+dfsg-1

Stéphane Glondu pushed new tag archive/debian/1.14+dfsg-1 at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/-/tree/archive/debian/1.14+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/belenios] Pushed new tag upstream/1.14+dfsg

Stéphane Glondu pushed new tag upstream/1.14+dfsg at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/-/tree/upstream/1.14+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/belenios] Pushed new tag debian/1.14+dfsg-1

Stéphane Glondu pushed new tag debian/1.14+dfsg-1 at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/-/tree/debian/1.14+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.1.0-2

Stéphane Glondu pushed new tag archive/debian/3.1.0-2 at Debian OCaml Maintainers / ocaml-batteries -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-batteries/-/tree/archive/debian/3.1.0-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.1.0-2

Stéphane Glondu pushed new tag debian/3.1.0-2 at Debian OCaml Maintainers / ocaml-batteries -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-batteries/-/tree/debian/3.1.0-2 You're receiving this email because of your account on salsa.debian.org.

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

Stéphane Glondu pushed new tag debian/2.7.0-2 at Debian OCaml Maintainers / utop -- View it on GitLab: https://salsa.debian.org/ocaml-team/utop/-/tree/debian/2.7.0-2 You're receiving this email because of your account on salsa.debian.org.

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

Stéphane Glondu pushed new tag archive/debian/2.7.0-2 at Debian OCaml Maintainers / utop -- View it on GitLab: https://salsa.debian.org/ocaml-team/utop/-/tree/archive/debian/2.7.0-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag archive/debian/1.8.0-2

Stéphane Glondu pushed new tag archive/debian/1.8.0-2 at Debian OCaml Maintainers / ocaml-migrate-parsetree -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-migrate-parsetree/-/tree/archive/debian/1.8.0-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag debian/1.8.0-2

Stéphane Glondu pushed new tag debian/1.8.0-2 at Debian OCaml Maintainers / ocaml-migrate-parsetree -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-migrate-parsetree/-/tree/debian/1.8.0-2 You're receiving this email because of your account on salsa.debian.org.

Bug#987458: libjs-of-ocaml-doc is empty

Le 25/04/2021 à 12:29, Romain Porte a écrit : > In commit b9b0e260 the documentation is removed in d/rules on purpose, > but the binary package libjs-of-ocaml-docs is not removed from > d/control. This leads to the creation of an empty package. Building libjs-of-ocaml-doc requires ocaml-odoc, whic

[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/3.8.0-2

Stéphane Glondu pushed new tag archive/debian/3.8.0-2 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/archive/debian/3.8.0-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/3.8.0-2

Stéphane Glondu pushed new tag debian/3.8.0-2 at Debian OCaml Maintainers / js-of-ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/js-of-ocaml/-/tree/debian/3.8.0-2 You're receiving this email because of your account on salsa.debian.org.

Re: Fwd: stan packaging

Hello, Le 05/06/2021 à 14:51, Steffen Möller a écrit : > You may have heard of R and a (fairly) new kid on the block, Julia, and > there is something in between that is also tantalizingly different such > that all math environments have interfaces to it: stan > (https://mc-stan.org).  Now, I did n

Bug#991060: Processed: mlpost FTBFS with imagemagick with the #987504 change

tags 991060 - patch thanks Le 16/07/2021 à 21:33, Debian Bug Tracking System a écrit : > Processing control commands: > >> tag -1 patch > Bug #991060 [src:mlpost] mlpost FTBFS with imagemagick with the #987504 change > Added tag(s) patch. > [...] > + test -d $(HOME)/.magick || mkdir -p $(HOM

Bug#993045: Please bring back the -unsafe-string switch

Control: tags 993045 + wontfix Le 26/08/2021 à 21:42, Julien Puydt a écrit : > a part of scilab (modelica) is written in OCaml, but needs the -unsafe- > string switch ; unfortunately: > > /usr/bin/ocaml: OCaml has been configured with -force-safe-string: - > unsafe-string is not available. The -

Re: ITP Jasmin and EasyCrypt, would like to join the OcamlTaskForce

Dear Marcel, Le 23/07/2021 à 17:19, Marcel Fourné a écrit : > I maintain some packages for the Debian Haskell Group and I am beginning to > package Jasmin and EasyCrypt, which are both implemented in Ocaml (and Coq), > so I'd like to hear about your best practices, learn from them and put the >

Bug#993045: Please bring back the -unsafe-string switch

Le 06/09/2021 à 10:08, Julien Puydt a écrit : >> How come this is an issue only now? The transition to OCaml 4.11.1 >> (the >> first version with unsafe strings disabled in Debian) was done last >> November... > > Very good question. I just checked: scilab 6.1.0 didn't need unsafe > strings ; 6.1.

Bug#993045: Please bring back the -unsafe-string switch

Le 06/09/2021 à 11:01, Julien Puydt a écrit : > The configure script checks for the availability of the switch, and > adds it to OCAMLCFLAGS... I checked String.set doesn't seem to be used > and String.blit only once, so perhaps there's something simple to do. > > My current packaging is available

Bug#993858: ocaml-dune: dune-install doesn't correctly place "doc" section in Debian systems

Hello, Le 07/09/2021 à 12:27, Emilio Jesús Gallego Arias a écrit : > dune-install will by default install files in the "doc" section to > $prefix/doc, this is incorrect in Debian as it should be $share/doc. I guess we are talking about people doing "sudo dune install", right? As opposed to "dune

Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it

Hi, Le 27/10/2021 à 18:40, Julien Puydt a écrit : > as I wrote to this list in august, I'm interested in coq theories, and > specifically mathcomp, which will soon require hierarchy-builder, wich > requires coq-elpi, which requires elpi. > > I am a Debian developer and I am already part of a few

Re: Updating extlib to 1.7.8

Le 20/11/2021 à 11:34, Andy Li a écrit : > I've pushed to the extlib salsa repo with an update to the latest > upstream version 1.7.8. > [...] > Would you review and upload? It looks good. Thank you. I've uploaded. Cheers, -- Stéphane

<    1   2   3   4   5   6   7   8   9   10   >