[Git][ocaml-team/dose3][master] update debian/watch
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / dose3 Commits: 17f49106 by Ralf Treinen at 2024-04-10T08:23:32+02:00 update debian/watch - - - - - 2 changed files: - debian/changelog - debian/watch Changes: = debian/changelog = @@ -1,3 +1,9 @@ +dose3 (7.0.0-5) UNRELEASED; urgency=medium + + * * Update debian/watch, to follow recent gitlab change. + + -- Ralf Treinen Wed, 10 Apr 2024 08:21:35 +0200 + dose3 (7.0.0-4) unstable; urgency=medium * Team upload = debian/watch = @@ -1,2 +1,5 @@ version=4 -https://gitlab.com/irill/dose3/tags?sort=updated_desc .*/archive/[0-9.]+/dose3-([0-9.]+)\.tar\.gz + +opts="searchmode=plain" \ + https://gitlab.com/irill/@PACKAGE@/tags?sort=updated_desc \ + -/archive/\d[\d.]+/@PACKAGE@-@ANY_VERSION@@ARCHIVE_EXT@ debian uupdate View it on GitLab: https://salsa.debian.org/ocaml-team/dose3/-/commit/17f4910628c149e73ff02f0e45115a39a0cd78c4 -- View it on GitLab: https://salsa.debian.org/ocaml-team/dose3/-/commit/17f4910628c149e73ff02f0e45115a39a0cd78c4 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/camlbz2] Pushed new tag upstream/0.8.0
Ralf Treinen pushed new tag upstream/0.8.0 at Debian OCaml Maintainers / camlbz2 -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlbz2/-/tree/upstream/0.8.0 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-1
Ralf Treinen pushed new tag debian/0.8.0-1 at Debian OCaml Maintainers / camlbz2 -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlbz2/-/tree/debian/0.8.0-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/camlbz2][pristine-tar] pristine-tar data for camlbz2_0.8.0.orig.tar.bz2
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / camlbz2 Commits: 4ed04808 by Ralf Treinen at 2024-04-07T10:55:33+02:00 pristine-tar data for camlbz2_0.8.0.orig.tar.bz2 - - - - - 2 changed files: - + camlbz2_0.8.0.orig.tar.bz2.delta - + camlbz2_0.8.0.orig.tar.bz2.id Changes: = camlbz2_0.8.0.orig.tar.bz2.delta = Binary files /dev/null and b/camlbz2_0.8.0.orig.tar.bz2.delta differ = camlbz2_0.8.0.orig.tar.bz2.id = @@ -0,0 +1 @@ +6f2a3851747e8fb0380f4eb2b3b56f8bbcb14929 View it on GitLab: https://salsa.debian.org/ocaml-team/camlbz2/-/commit/4ed048089e67b16b0602d532f721216a3ef9c047 -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlbz2/-/commit/4ed048089e67b16b0602d532f721216a3ef9c047 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][upstream] New upstream version 1.7.1
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3 Commits: 6d23f86f by Ralf Treinen at 2024-03-01T20:30:23+01:00 New upstream version 1.7.1 - - - - - 30 changed files: - CHANGES.md - CONTRIBUTING.md - INSTALL.md - Makefile.in - README.md - + bench/alt_ergo_smt/run_bench.sh - + bench/alt_ergo_smt/why3extra.conf - bench/bench - bench/check-ce-bench - bench/check-ce/703_reduce_term.mlw - + bench/check-ce/map_of_algebraic.mlw - + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_WP.oracle - bench/check-ce/oracles/614_CVC4,1.8_SP.oracle - bench/check-ce/oracles/614_CVC4,1.8_WP.oracle - bench/check-ce/oracles/614_CVC5,1.0.0_SP.oracle → bench/check-ce/oracles/614_CVC5,1.0.5_SP.oracle - bench/check-ce/oracles/614_CVC5,1.0.0_WP.oracle → bench/check-ce/oracles/614_CVC5,1.0.5_WP.oracle - bench/check-ce/oracles/614_Z3,4.8.10_SP.oracle - bench/check-ce/oracles/614_Z3,4.8.10_WP.oracle - + bench/check-ce/oracles/615_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/615_Alt-Ergo,2.5.2_WP.oracle - bench/check-ce/oracles/615_CVC4,1.8_SP.oracle - bench/check-ce/oracles/615_CVC4,1.8_WP.oracle - bench/check-ce/oracles/615_CVC5,1.0.0_SP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_SP.oracle - bench/check-ce/oracles/615_CVC5,1.0.0_WP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_WP.oracle - bench/check-ce/oracles/615_Z3,4.8.10_SP.oracle - bench/check-ce/oracles/615_Z3,4.8.10_WP.oracle - + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_WP.oracle - bench/check-ce/oracles/640_no_loc_failure_CVC4,1.8_SP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/6d23f86ff69c467c624c440a68a79a8af4577985 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/6d23f86ff69c467c624c440a68a79a8af4577985 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.7.1.orig.tar.gz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3 Commits: 86738644 by Ralf Treinen at 2024-03-01T20:30:45+01:00 pristine-tar data for why3_1.7.1.orig.tar.gz - - - - - 2 changed files: - + why3_1.7.1.orig.tar.gz.delta - + why3_1.7.1.orig.tar.gz.id Changes: = why3_1.7.1.orig.tar.gz.delta = Binary files /dev/null and b/why3_1.7.1.orig.tar.gz.delta differ = why3_1.7.1.orig.tar.gz.id = @@ -0,0 +1 @@ +059629efdc5dd74819e0aed912b3426dd423fc6a View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/867386441ce55fddb792468c262438a62f1ef37b -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/867386441ce55fddb792468c262438a62f1ef37b You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][master] 5 commits: fix typo in changelog entry
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3 Commits: 57a4ccff by Ralf Treinen at 2023-11-25T00:32:16+01:00 fix typo in changelog entry - - - - - 6d23f86f by Ralf Treinen at 2024-03-01T20:30:23+01:00 New upstream version 1.7.1 - - - - - 1320f92b by Ralf Treinen at 2024-03-01T20:30:45+01:00 Update upstream source from tag upstream/1.7.1 Update to upstream version 1.7.1 with Debian dir 6bca7c471f97c1f7d0bdb5ca80ce31990ccda642 - - - - - 8f082873 by Ralf Treinen at 2024-03-01T20:55:58+01:00 debian version 1.7.1-1 - - - - - f8057d9d by Ralf Treinen at 2024-03-03T02:18:35+01:00 d/clean: remove doc/.doctrees - - - - - 30 changed files: - CHANGES.md - CONTRIBUTING.md - INSTALL.md - Makefile.in - README.md - + bench/alt_ergo_smt/run_bench.sh - + bench/alt_ergo_smt/why3extra.conf - bench/bench - bench/check-ce-bench - bench/check-ce/703_reduce_term.mlw - + bench/check-ce/map_of_algebraic.mlw - + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_WP.oracle - bench/check-ce/oracles/614_CVC4,1.8_SP.oracle - bench/check-ce/oracles/614_CVC4,1.8_WP.oracle - bench/check-ce/oracles/614_CVC5,1.0.0_SP.oracle → bench/check-ce/oracles/614_CVC5,1.0.5_SP.oracle - bench/check-ce/oracles/614_CVC5,1.0.0_WP.oracle → bench/check-ce/oracles/614_CVC5,1.0.5_WP.oracle - bench/check-ce/oracles/614_Z3,4.8.10_SP.oracle - bench/check-ce/oracles/614_Z3,4.8.10_WP.oracle - + bench/check-ce/oracles/615_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/615_Alt-Ergo,2.5.2_WP.oracle - bench/check-ce/oracles/615_CVC4,1.8_SP.oracle - bench/check-ce/oracles/615_CVC4,1.8_WP.oracle - bench/check-ce/oracles/615_CVC5,1.0.0_SP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_SP.oracle - bench/check-ce/oracles/615_CVC5,1.0.0_WP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_WP.oracle - bench/check-ce/oracles/615_Z3,4.8.10_SP.oracle - bench/check-ce/oracles/615_Z3,4.8.10_WP.oracle - + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_WP.oracle - bench/check-ce/oracles/640_no_loc_failure_CVC4,1.8_SP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/0427742b302497898e53884ecc95ef774adcd573...f8057d9d74a5ae5153c64dcb693662782a152c75 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/0427742b302497898e53884ecc95ef774adcd573...f8057d9d74a5ae5153c64dcb693662782a152c75 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/morbig] Pushed new tag debian/0.11.0-1
Ralf Treinen pushed new tag debian/0.11.0-1 at Debian OCaml Maintainers / morbig -- View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/tree/debian/0.11.0-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/morbig] Pushed new tag upstream/0.11.0
Ralf Treinen pushed new tag upstream/0.11.0 at Debian OCaml Maintainers / morbig -- View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/tree/upstream/0.11.0 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/morbig][pristine-tar] pristine-tar data for morbig_0.11.0.orig.tar.xz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / morbig Commits: 566fb8d6 by Ralf Treinen at 2024-02-29T20:12:54+01:00 pristine-tar data for morbig_0.11.0.orig.tar.xz - - - - - 2 changed files: - + morbig_0.11.0.orig.tar.xz.delta - + morbig_0.11.0.orig.tar.xz.id Changes: = morbig_0.11.0.orig.tar.xz.delta = Binary files /dev/null and b/morbig_0.11.0.orig.tar.xz.delta differ = morbig_0.11.0.orig.tar.xz.id = @@ -0,0 +1 @@ +b173779287704775b3c6864c1cefaf1774052a9d View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/commit/566fb8d6ee9a25b9ea79bd96a93df4504e90d8c8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/commit/566fb8d6ee9a25b9ea79bd96a93df4504e90d8c8 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/morbig][upstream] New upstream version 0.11.0
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / morbig Commits: e2a1afc5 by Ralf Treinen at 2024-02-29T20:12:54+01:00 New upstream version 0.11.0 - - - - - 30 changed files: - + .github/dependabot.yml - + .github/workflows/ci.yml - src/.header → .header - − .merlin - − .travis.yml - COPYING - Dockerfile - − META - Makefile - README.md - dune-project - − examples/c/.gitignore - examples/c/Makefile - morbig.opam - − src/.headache.conf - src/API.ml - src/API.mli - src/CST.ml → src/CST.mli - src/CSTHelpers.ml - src/CSTHelpers.mli - + src/CSTSerializers.mli - + src/CST_derivings_generator.ml - src/ExtMenhirLib.ml - src/REBracketExpressionLexer.mll - src/REBracketExpressionParser.mly - src/aliases.ml - src/aliases.mli - src/assignment.ml - src/c/CAPI.ml - src/c/cstub.c The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/commit/e2a1afc564edccf2a0250181b00c9d553c92fd94 -- View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/commit/e2a1afc564edccf2a0250181b00c9d553c92fd94 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/morbig][master] 8 commits: New upstream version 0.11.0
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / morbig Commits: e2a1afc5 by Ralf Treinen at 2024-02-29T20:12:54+01:00 New upstream version 0.11.0 - - - - - 0195008c by Ralf Treinen at 2024-02-29T20:12:55+01:00 Update upstream source from tag upstream/0.11.0 Update to upstream version 0.11.0 with Debian dir 30cb2b83196d245674bcbfc758280c99531d3f8d - - - - - 82ba7e50 by Ralf Treinen at 2024-02-29T20:23:56+01:00 package version 0.11.0-1 - - - - - 223622ad by Ralf Treinen at 2024-02-29T20:25:29+01:00 minimal version of ocaml - - - - - 3e0b2c8b by Ralf Treinen at 2024-02-29T20:25:35+01:00 typo in Description of patch generate-documentation - - - - - 671bd032 by Ralf Treinen at 2024-02-29T21:09:41+01:00 drop patch fix_yojson_2 - - - - - 5ed76470 by Ralf Treinen at 2024-02-29T21:24:37+01:00 drop override of dh_dwz - - - - - d701911e by Ralf Treinen at 2024-02-29T23:40:28+01:00 clean target: remove src/_build and src/morbig.docdir - - - - - 30 changed files: - + .github/dependabot.yml - + .github/workflows/ci.yml - src/.header → .header - − .merlin - − .travis.yml - COPYING - Dockerfile - − META - Makefile - README.md - debian/changelog - + debian/clean - debian/control - − debian/patches/fix_yojson_2.patch - debian/patches/generate-documentation - debian/patches/series - debian/rules - dune-project - − examples/c/.gitignore - examples/c/Makefile - morbig.opam - − src/.headache.conf - src/API.ml - src/API.mli - src/CST.ml → src/CST.mli - src/CSTHelpers.ml - src/CSTHelpers.mli - + src/CSTSerializers.mli - + src/CST_derivings_generator.ml - src/ExtMenhirLib.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/compare/feebaf3ff1caa79c3e18eb86cada489070ba301f...d701911e6fce0f8c88b05085cc4b789c45de42bb -- View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/compare/feebaf3ff1caa79c3e18eb86cada489070ba301f...d701911e6fce0f8c88b05085cc4b789c45de42bb You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/camlzip] Pushed new tag debian/1.11-3
Ralf Treinen pushed new tag debian/1.11-3 at Debian OCaml Maintainers / camlzip -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlzip/-/tree/debian/1.11-3 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/camlzip][master] 3 commits: patch meta-version-11 forwarded to upstream
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / camlzip Commits: 7c99a36c by Ralf Treinen at 2024-02-29T08:09:33+01:00 patch meta-version-11 forwarded to upstream - - - - - 13a50a7c by Ralf Treinen at 2024-02-29T08:11:59+01:00 update debian/watch - - - - - 342b5afb by Ralf Treinen at 2024-02-29T08:13:58+01:00 lintian override : reduce context - - - - - 4 changed files: - debian/changelog - debian/libzip-ocaml-dev.lintian-overrides - debian/patches/meta-version-1.11 - debian/watch Changes: = debian/changelog = @@ -1,3 +1,11 @@ +camlzip (1.11-3) unstable; urgency=medium + + * Note that patch meta-version-1.11 has been forwarded to upstream + * Update debian/watch, now using the github API + * Lintian-override: reduce context so that it does match again + + -- Ralf Treinen Thu, 29 Feb 2024 08:13:08 +0100 + camlzip (1.11-2) unstable; urgency=medium [ Stéphane Glondu ] = debian/libzip-ocaml-dev.lintian-overrides = @@ -1 +1,3 @@ -libzip-ocaml-dev: broken-zip var/lib/ocaml/lintian/libzip-ocaml-dev.META.zip +# this is not really a zip file, the -zip extension is due to the fact that +# the META file refers to the zip library. +libzip-ocaml-dev: broken-zip *META.zip* = debian/patches/meta-version-1.11 = @@ -1,5 +1,6 @@ -Author: Ralf Treinen +Author: Ralf Treinen Description: Fix version in META file +Forwarded: https://github.com/xavierleroy/camlzip/issues/37 Index: camlzip/META-zip === = debian/watch = @@ -1,4 +1,8 @@ version=4 -opts="uversionmangle=s/-rc/~rc/;s/(..)$/.$1/" \ -https://github.com/xavierleroy/camlzip/releases .*/rel(.*)\.tar\.gz +# upstream uses numbers like 123 in the filename for version 1.23 +opts="searchmode=plain,\ + filenamemangle=s%.*/rel([0-9][0-9][0-9])%@PACKAGE@-$1.tar.xz%,\ + uversionmangle=s/-rc/~rc/;s/(..)$/.$1/" \ + https://api.github.com/repos/xavierleroy/camlzip/releases?per_page=50 \ + https://api.github.com/repos/[^/]+/[^/]+/tarball/rel@ANY_VERSION@ View it on GitLab: https://salsa.debian.org/ocaml-team/camlzip/-/compare/87472fe651c3cd9e7263202893a97c8783c00ec1...342b5afbe6472a021e4e9a01d8a2fce2b4a31b93 -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlzip/-/compare/87472fe651c3cd9e7263202893a97c8783c00ec1...342b5afbe6472a021e4e9a01d8a2fce2b4a31b93 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/planets] Pushed new tag upstream/0.1.14
Ralf Treinen pushed new tag upstream/0.1.14 at Debian OCaml Maintainers / planets -- View it on GitLab: https://salsa.debian.org/ocaml-team/planets/-/tree/upstream/0.1.14 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/planets] Pushed new tag debian/0.1.13-22
Ralf Treinen pushed new tag debian/0.1.13-22 at Debian OCaml Maintainers / planets -- View it on GitLab: https://salsa.debian.org/ocaml-team/planets/-/tree/debian/0.1.13-22 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/planets][master] 3 commits: fix typo in package description
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / planets Commits: f24bd55a by Ralf Treinen at 2024-02-26T08:54:44+01:00 fix typo in package description - - - - - d2d06cae by Ralf Treinen at 2024-02-26T09:03:16+01:00 update homepage - - - - - 10eaa967 by Ralf Treinen at 2024-02-26T22:32:40+01:00 remove the file test in the clean target - - - - - 3 changed files: - debian/changelog - + debian/clean - debian/control Changes: = debian/changelog = @@ -1,3 +1,11 @@ +planets (0.1.13-22) unstable; urgency=medium + + * Fix typo in package description (closes: #1060847) + * Update homepage + * debian/clean: remove the file "test" (closes: #1047502) + + -- Ralf Treinen Mon, 26 Feb 2024 22:31:12 +0100 + planets (0.1.13-21) unstable; urgency=medium [ Stéphane Glondu ] = debian/clean = @@ -0,0 +1 @@ +test = debian/control = @@ -16,7 +16,7 @@ Standards-Version: 4.6.2 Rules-Requires-Root: no Vcs-Git: https://salsa.debian.org/ocaml-team/planets.git Vcs-Browser: https://salsa.debian.org/ocaml-team/planets -Homepage: http://planets.homedns.org/ +Homepage: https://ocaml.org/p/planets/latest Package: planets Architecture: any @@ -28,4 +28,4 @@ Description: Gravitation simulation of planetary bodies level. . The user interface is aimed at being simple enough for a fairly young - kid to enjoy it, their is a special kid-mode for this purpose. + kid to enjoy it, there is a special kid-mode for this purpose. View it on GitLab: https://salsa.debian.org/ocaml-team/planets/-/compare/6ae84584bda6d71ea6cc2512972b2e4a49137a20...10eaa9677af371c9fa9154d4d0ee1f33c017b501 -- View it on GitLab: https://salsa.debian.org/ocaml-team/planets/-/compare/6ae84584bda6d71ea6cc2512972b2e4a49137a20...10eaa9677af371c9fa9154d4d0ee1f33c017b501 You're receiving this email because of your account on salsa.debian.org.
Bug#1041164: dose-distcheck: fails with (W)Dose_common: package ncurses-base:amd64 (= 6.4-4) is not associate with an integer in the given universe"
For the record : this seems to be related to the option "--latest 1" discarding Essential packages. Here is a minimal Packages file for reproducing the bug: Package: aa Source: aa Version: 1 Essential: yes Architecture: all Package: aa Source: aa Version: 2 Architecture: all -Ralf.
Bug#1041164: dose-distcheck: fails with (W)Dose_common: package ncurses-base:amd64 (= 6.4-4) is not associate with an integer in the given universe"
Package: dose-distcheck Version: 7.0.0-1+b2 Affects: #1040757 dose-debcheck fails on recent unstable main packages file, independently of the architectures : % dose-debcheck -e -f --latest 1 --deb-native-arch=amd64 --fg=/home/rt/dose.debian.net/mirror/unstable/main/binary-amd64/Packages > sid-main-amd64.out (W)Dose_common: package ncurses-base:amd64 (= 6.4-4) is not associate with an integer in the given universe The applications raised this exception : Not_found
Bug#486226: ocaml-mode: caml-mode bogusly binds C-c combinations
Hello, I have tagged this bug as wontfix. What you ask for is too invasive on users of caml-mode, changing these key bindings would mean that users of the debian package will have completely different key bindings than users of the upstream package. Best -Ralf.
[Git][ocaml-team/tuareg-mode][master] 8 commits: New upstream version 3.0.1
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / tuareg-mode Commits: cf2df8ae by Ralf Treinen at 2023-03-07T12:01:44+01:00 New upstream version 3.0.1 - - - - - 2bd88caf by Ralf Treinen at 2023-03-07T12:08:36+01:00 Update upstream source from tag upstream/3.0.1 Update to upstream version 3.0.1 with Debian dir 43a78f5b3fc6a46932c453b80056adf45b4a1112 - - - - - 14880e22 by Ralf Treinen at 2023-03-07T12:21:47+01:00 refresh patch ocaml-path - - - - - a4b41543 by Ralf Treinen at 2023-03-07T12:37:34+01:00 stndards-version 4.6.2 - - - - - c97dd56e by Ralf Treinen at 2023-06-18T23:20:39+02:00 target release sid - - - - - e13602b3 by Ralf Treinen at 2023-06-18T23:23:41+02:00 drop transitional package tuareg-mode - - - - - eabfd454 by Ralf Treinen at 2023-07-03T23:29:34+02:00 add activate-tuareg-mode - - - - - 29200278 by Ralf Treinen at 2023-07-04T04:15:17+02:00 rephrase package description - - - - - 21 changed files: - + .dir-locals.el - + .github/workflows/test.yml - .gitignore - − .travis.yml - CHANGES.md - COPYING - Makefile - README.md - + compilation.txt - + debian/activate-tuareg-mode.el - debian/changelog - debian/control - debian/elpa-tuareg.elpa - debian/patches/ocaml-path - dot-emacs.el - + indent-test-failed.ml - indent-test.ml - ocamldebug.el - − sample.ml - + sample_eval.ml - + sample_highlight.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/tuareg-mode/-/compare/da5c6f769d40dbc11c9c8f817e535b6315c91b44...2920027875a82491bf1e6a82736703595ccae10d -- View it on GitLab: https://salsa.debian.org/ocaml-team/tuareg-mode/-/compare/da5c6f769d40dbc11c9c8f817e535b6315c91b44...2920027875a82491bf1e6a82736703595ccae10d You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/tuareg-mode][experimental/master] 10 commits: stndrds-version 4.4.1
Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / tuareg-mode Commits: bf3984d2 by Ralf Treinen at 2019-11-10T19:51:00+01:00 stndrds-version 4.4.1 - - - - - 5ffde32d by Ralf Treinen at 2019-11-10T19:54:56+01:00 package description: update references to caml-mode - - - - - 54a39e5a by Ralf Treinen at 2019-12-06T21:28:40+01:00 source-only upload to sid - - - - - 614873b1 by Ralf Treinen at 2020-04-16T11:06:52+02:00 New upstream version 2.2.0 - - - - - e1d5534c by Ralf Treinen at 2020-04-16T11:07:45+02:00 Update upstream source from tag upstream/2.2.0 Update to upstream version 2.2.0 with Debian dir de9684dfbe8aaa3230a13860a7df28a6070556ec - - - - - da5c6f76 by Ralf Treinen at 2020-04-27T15:16:28+02:00 standards-version 4.5.0 - - - - - cf2df8ae by Ralf Treinen at 2023-03-07T12:01:44+01:00 New upstream version 3.0.1 - - - - - 2bd88caf by Ralf Treinen at 2023-03-07T12:08:36+01:00 Update upstream source from tag upstream/3.0.1 Update to upstream version 3.0.1 with Debian dir 43a78f5b3fc6a46932c453b80056adf45b4a1112 - - - - - 14880e22 by Ralf Treinen at 2023-03-07T12:21:47+01:00 refresh patch ocaml-path - - - - - a4b41543 by Ralf Treinen at 2023-03-07T12:37:34+01:00 stndards-version 4.6.2 - - - - - 20 changed files: - + .dir-locals.el - + .github/workflows/test.yml - .gitignore - − .travis.yml - CHANGES.md - COPYING - Makefile - README.md - + compilation.txt - debian/changelog - debian/control - debian/patches/ocaml-path - dot-emacs.el - + indent-test-failed.ml - indent-test.ml - ocamldebug.el - − opam/descr - − sample.ml - + sample_eval.ml - + sample_highlight.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/tuareg-mode/-/compare/fd632a170470f5ddb82dcc85a02cd016de34f4fa...a4b4154383478504d0b9b29cc75c8b3bf90a0774 -- View it on GitLab: https://salsa.debian.org/ocaml-team/tuareg-mode/-/compare/fd632a170470f5ddb82dcc85a02cd016de34f4fa...a4b4154383478504d0b9b29cc75c8b3bf90a0774 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/tuareg-mode][experimental/upstream] 2 commits: New upstream version 2.2.0
Ralf Treinen pushed to branch experimental/upstream at Debian OCaml Maintainers / tuareg-mode Commits: 614873b1 by Ralf Treinen at 2020-04-16T11:06:52+02:00 New upstream version 2.2.0 - - - - - cf2df8ae by Ralf Treinen at 2023-03-07T12:01:44+01:00 New upstream version 3.0.1 - - - - - 17 changed files: - + .dir-locals.el - + .github/workflows/test.yml - .gitignore - − .travis.yml - CHANGES.md - COPYING - Makefile - README.md - + compilation.txt - dot-emacs.el - + indent-test-failed.ml - indent-test.ml - ocamldebug.el - − opam/descr - − sample.ml - + sample_eval.ml - + sample_highlight.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/tuareg-mode/-/compare/1238c731a5365065e8ba96561596bbed172ad691...cf2df8ae53661371f7784374657c7472421b3e21 -- View it on GitLab: https://salsa.debian.org/ocaml-team/tuareg-mode/-/compare/1238c731a5365065e8ba96561596bbed172ad691...cf2df8ae53661371f7784374657c7472421b3e21 You're receiving this email because of your account on salsa.debian.org.
Bug#1029314: RM: coccinelle [armhf] -- ROM; compilation on armhf crashes "out of memory"
Package: ftp.debian.org Severity: normal User: ftp.debian@packages.debian.org Usertags: remove X-Debbugs-Cc: coccine...@packages.debian.org Control: affects -1 + src:coccinelle Hi, compilation of coccinelle on armhf keeps on failing with message "out of memory", which blocks migration to testing. -Ralf.
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-3
Ralf Treinen pushed new tag debian/20220511-manganese-3 at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/debian/20220511-manganese-3 You're receiving this email because of your account on salsa.debian.org.
Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks?
Hi Paul, On Wed, Dec 21, 2022 at 09:16:32PM +0100, Paul Gevers wrote: > Control: reassign -1 frama-c > > Dear maintainers, > > On Tue, 8 Nov 2022 21:53:18 +0100 Paul Gevers wrote: > > [kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module > >Details: implementation mismatch on Why3 > > [kernel] User Error: Deferred error message was emitted during > > execution. See above messages for more information. > > [kernel] Frama-C aborted: invalid user input. > > autopkgtest [20:18:19]: test eva > > I'm now seeing the above error message in the frama-c test in testing, so it > seems that the issue is rather that the autopkgtest of frama-c doesn't > properly declare it's *versioned* test dependency on why3? Should the > Recommends be versioned? (Not sure if that actually works as intended, but > apparently the tested plug-in only works correctly with the right version of > why3). Sorry for not replying earlier, the last weeks have been very busy at work. The problem is that for some reason the package build of frama-c does not pick up the versioned dependency on libwhy3-ocaml-dev (this should be done by dh_ocaml). I'm looking into this now. Cheers -Ralf.
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.1.1.deb-2
Ralf Treinen pushed new tag debian/1.1.1.deb-2 at Debian OCaml Maintainers / coccinelle -- View it on GitLab: https://salsa.debian.org/ocaml-team/coccinelle/-/tree/debian/1.1.1.deb-2 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.0.8.deb-5
Ralf Treinen pushed new tag debian/1.0.8.deb-5 at Debian OCaml Maintainers / coccinelle -- View it on GitLab: https://salsa.debian.org/ocaml-team/coccinelle/-/tree/debian/1.0.8.deb-5 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/coccinelle][master] 2 commits: force configuration for python3
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / coccinelle Commits: af88e83f by Ralf Treinen at 2022-11-10T11:19:47+01:00 force configuration for python3 - - - - - 0721124a by Ralf Treinen at 2022-11-10T11:25:35+01:00 standards-version 4.6.1 - - - - - 3 changed files: - debian/changelog - debian/control - debian/rules Changes: = debian/changelog = @@ -1,3 +1,11 @@ +coccinelle (1.1.1.deb-2) unstable; urgency=medium + + * d/rules: force configuration for python3. Thanks to Uwe Kleine-König +for the patch (closes: #1023653). + * Standards-Version 4.6.1 (no change) + + -- Ralf Treinen Thu, 10 Nov 2022 11:21:48 +0100 + coccinelle (1.1.1.deb-1) unstable; urgency=medium * Team upload = debian/control = @@ -23,7 +23,7 @@ Build-Depends-Indep: texlive-latex-base, texlive-latex-extra, texlive-latex-recommended -Standards-Version: 4.6.0 +Standards-Version: 4.6.1 Rules-Requires-Root: no Homepage: http://coccinelle.lip6.fr Vcs-Git: https://salsa.debian.org/ocaml-team/coccinelle.git = debian/rules = @@ -9,7 +9,7 @@ VIM_ADIR = $(CURDIR)/debian/coccinelle/usr/share/vim/addons VIM_RDIR = $(CURDIR)/debian/coccinelle/usr/share/vim/registry CONFIG_FLAGS = --prefix=/usr --sysconfdir=/etc --libdir=/usr/lib \ - --enable-ocaml --enable-python + --enable-ocaml --enable-python --with-python=python3 ifeq ($(OCAML_NATDYNLINK),yes) CONFIG_FLAGS += --enable-opt View it on GitLab: https://salsa.debian.org/ocaml-team/coccinelle/-/compare/61473f6315fd42eb60368bcfeb21c067e3b6f551...0721124aca8ee99bdf9974b19e3ff54ec799408d -- View it on GitLab: https://salsa.debian.org/ocaml-team/coccinelle/-/compare/61473f6315fd42eb60368bcfeb21c067e3b6f551...0721124aca8ee99bdf9974b19e3ff54ec799408d You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-2
Ralf Treinen pushed new tag debian/20220511-manganese-2 at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/debian/20220511-manganese-2 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][master] fix autopkgtest wp
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / frama-c Commits: 7dab45e6 by Ralf Treinen at 2022-10-23T12:27:09+02:00 fix autopkgtest wp - - - - - 3 changed files: - debian/changelog - debian/tests/control - debian/tests/wp Changes: = debian/changelog = @@ -1,3 +1,10 @@ +frama-c (20220511-manganese-2) unstable; urgency=medium + + * Fix properly the failing autopkgtest "wp" : spurious warning by "why3 +config" has to be sent to /dev/null. + + -- Ralf Treinen Sun, 23 Oct 2022 12:25:38 +0200 + frama-c (20220511-manganese-1.3) unstable; urgency=medium * Tighten the dep on newer why3 also for autopkgtest. = debian/tests/control = @@ -3,4 +3,4 @@ Depends: frama-c-base, why3, libwhy3-ocaml-dev (>= 1.5.0) Tests: wp Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev (>= 1.5.0) -Restrictions: skip-not-installable, allow-stderr +Restrictions: skip-not-installable = debian/tests/wp = @@ -8,7 +8,7 @@ outdir=${ADT_ARTIFACTS:-/tmp}/${this} mkdir -p ${outdir} export WHY3CONFIG=${outdir}/why3.conf -why3 config detect > /dev/null +why3 config detect > /dev/null 2>&1 frama-c -wp ${indir}/all_zeros.c > ${outdir}/${this}.out if $(egrep -q "Proved goals:[[:space:]]*11 / 11" ${outdir}/${this}.out) then View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/7dab45e6ca77901bdeeb957dafd497a2cfc9dbfa -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/7dab45e6ca77901bdeeb957dafd497a2cfc9dbfa You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3] Pushed new tag debian/1.5.1-1
Ralf Treinen pushed new tag debian/1.5.1-1 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/tree/debian/1.5.1-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][master] 2 commits: New upstream version 1.5.1
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3 Commits: 13d5cde5 by Ralf Treinen at 2022-09-29T20:31:31+02:00 New upstream version 1.5.1 - - - - - 15313a6c by Ralf Treinen at 2022-09-30T04:47:42+02:00 Update upstream source from tag upstream/1.5.1 Update to upstream version 1.5.1 with Debian dir adf047fdd48a6e69a2e407391a93f9019b9f7ef1 - - - - - 30 changed files: - CHANGES.md - Makefile.in - configure - configure.in - debian/changelog - doc/conf.py - doc/index.rst - doc/input_formats.rst - doc/manpages.rst - doc/manual.bib - drivers/alt_ergo_common.drv - examples/avl/avl.mlw - + examples/bts/559.mlw - examples/python/is_sorted.py - examples/python/is_sorted/why3session.xml - examples/python/is_sorted/why3shapes.gz - examples/tests/rac.out - examples/use_api/oracles/test-api-mlw_expr.stdout - plugins/python/py_ast.mli - plugins/python/py_lexer.mll - plugins/python/py_main.ml - plugins/python/py_parser.mly - plugins/python/test.py - share/lang/why3py.lang - share/provers-detection-data.conf - src/core/dterm.ml - src/mlw/dexpr.ml - src/mlw/expr.ml - src/mlw/pmodule.ml - src/session/controller_itp.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/42796c11f02952c4f64b51563ca4d21534c15fd8...15313a6c9b1f15e93095226c818aefae8afc334a -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/42796c11f02952c4f64b51563ca4d21534c15fd8...15313a6c9b1f15e93095226c818aefae8afc334a You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3] Pushed new tag upstream/1.5.1
Ralf Treinen pushed new tag upstream/1.5.1 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/tree/upstream/1.5.1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][upstream] New upstream version 1.5.1
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3 Commits: 13d5cde5 by Ralf Treinen at 2022-09-29T20:31:31+02:00 New upstream version 1.5.1 - - - - - 30 changed files: - CHANGES.md - Makefile.in - configure - configure.in - doc/conf.py - doc/index.rst - doc/input_formats.rst - doc/manpages.rst - doc/manual.bib - drivers/alt_ergo_common.drv - examples/avl/avl.mlw - + examples/bts/559.mlw - examples/python/is_sorted.py - examples/python/is_sorted/why3session.xml - examples/python/is_sorted/why3shapes.gz - examples/tests/rac.out - examples/use_api/oracles/test-api-mlw_expr.stdout - plugins/python/py_ast.mli - plugins/python/py_lexer.mll - plugins/python/py_main.ml - plugins/python/py_parser.mly - plugins/python/test.py - share/lang/why3py.lang - share/provers-detection-data.conf - src/core/dterm.ml - src/mlw/dexpr.ml - src/mlw/expr.ml - src/mlw/pmodule.ml - src/session/controller_itp.ml - src/tools/why3execute.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/13d5cde5411fd40cea76c33547e06751afce6c04 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/13d5cde5411fd40cea76c33547e06751afce6c04 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc] Pushed new tag debian/2.36-1
Ralf Treinen pushed new tag debian/2.36-1 at Debian OCaml Maintainers / hevea-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/tree/debian/2.36-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc] Pushed new tag upstream/2.36
Ralf Treinen pushed new tag upstream/2.36 at Debian OCaml Maintainers / hevea-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/tree/upstream/2.36 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc][upstream] New upstream version 2.36
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / hevea-doc Commits: adfd96ac by Ralf Treinen at 2022-09-18T12:09:03+02:00 New upstream version 2.36 - - - - - 30 changed files: - browser.html - cutname.html - extras.html - index.html - manual-packages.html - manual.haux - manual.html - manual.htoc - manual001.html - manual001.png - manual002.html - manual002.png - manual003.html - manual003.png - manual004.html - manual004.png - manual005.html - manual005.png - manual006.html - manual006.png - manual007.html - manual007.png - manual008.html - manual008.png - manual009.png - manual010.html - manual010.png - manual011.html - manual011.png - manual012.html The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/commit/adfd96aca8406b1ca2b51a9975c8fa193f763deb -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/commit/adfd96aca8406b1ca2b51a9975c8fa193f763deb You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc][master] 2 commits: New upstream version 2.36
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / hevea-doc Commits: c69d6d32 by Ralf Treinen at 2022-09-18T17:16:10+02:00 New upstream version 2.36 - - - - - 5084ac3e by Ralf Treinen at 2022-09-18T17:17:20+02:00 standards-version 4.6.1 - - - - - 30 changed files: - browser.html - cutname.html - debian/changelog - debian/control - extras.html - index.html - manual-packages.html - manual.haux - manual.html - manual.htoc - manual001.html - manual001.png - manual002.html - manual002.png - manual003.html - manual003.png - manual004.html - manual004.png - manual005.html - manual005.png - manual006.html - manual006.png - manual007.html - manual007.png - manual008.html - manual008.png - manual009.png - manual010.html - manual010.png - manual011.html The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/compare/3c032d5eb796e020c96a69c551501b2c76e0a2c1...5084ac3ec8bec1954a7e39534c4e18ff9dd4bbb8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/compare/3c032d5eb796e020c96a69c551501b2c76e0a2c1...5084ac3ec8bec1954a7e39534c4e18ff9dd4bbb8 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea] Pushed new tag upstream/2.36
Ralf Treinen pushed new tag upstream/2.36 at Debian OCaml Maintainers / hevea -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/tree/upstream/2.36 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea] Pushed new tag debian/2.36-1
Ralf Treinen pushed new tag debian/2.36-1 at Debian OCaml Maintainers / hevea -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/tree/debian/2.36-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea][upstream] New upstream version 2.36
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / hevea Commits: 72814e2d by Ralf Treinen at 2022-09-17T20:48:02+02:00 New upstream version 2.36 - - - - - 30 changed files: - CHANGES - Makefile - README - + bugs/014/a.tex - color.ml - counter.ml - cut.mll - foot.ml - html.ml - html/hevea.hva - html/mathpartir.hva - htmlCommon.ml - htmllex.mll - htmltext.ml - index.ml - latexcommon.hva - latexmacros.ml - latexscan.mll - listings.hva - misc.ml - misc.mli - myStack.ml - package.ml - pp.ml - section.ml - subst.mll - text.ml - text/hevea.hva - ultra.ml - + uninstall.sh The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/commit/72814e2d6c967d84592877e93e52c1fc4388b7ab -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/commit/72814e2d6c967d84592877e93e52c1fc4388b7ab You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea][master] 6 commits: New upstream version 2.35
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / hevea Commits: cd013282 by Ralf Treinen at 2021-10-02T06:05:28+02:00 New upstream version 2.35 - - - - - 72814e2d by Ralf Treinen at 2022-09-17T20:48:02+02:00 New upstream version 2.36 - - - - - 672d6a95 by Ralf Treinen at 2022-09-17T20:50:51+02:00 Update upstream source from tag upstream/2.36 Update to upstream version 2.36 with Debian dir e19b3edba1ce4d8320e0d669799833ccf786f25e - - - - - e1cc737d by Ralf Treinen at 2022-09-17T20:54:19+02:00 bump minimal version of ocaml - - - - - 165d718d by Ralf Treinen at 2022-09-17T20:58:24+02:00 drop patches that have been applied upstream - - - - - 80f0f3c2 by Ralf Treinen at 2022-09-17T21:16:39+02:00 add dependency on imagemagick - - - - - 30 changed files: - CHANGES - Makefile - README - + bugs/014/a.tex - color.ml - counter.ml - cut.mll - debian/changelog - debian/control - − debian/patches/iso8859-to-utf8 - debian/patches/series - − debian/patches/typos - foot.ml - html.ml - html/hevea.hva - html/mathpartir.hva - htmlCommon.ml - htmllex.mll - htmltext.ml - index.ml - latexcommon.hva - latexmacros.ml - latexscan.mll - listings.hva - misc.ml - misc.mli - myStack.ml - package.ml - pp.ml - section.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/compare/d589772b7e347e66c88ce389521b5192166b219a...80f0f3c2822419e055c495b57a36493421fb17ea -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/compare/d589772b7e347e66c88ce389521b5192166b219a...80f0f3c2822419e055c495b57a36493421fb17ea You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new tag upstream/20220511-manganese
Ralf Treinen pushed new tag upstream/20220511-manganese at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/upstream/20220511-manganese You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1
Ralf Treinen pushed new tag debian/20220511-manganese-1 at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/debian/20220511-manganese-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][experimental/master] add build-dep libppx-deriving-ocaml-dev
Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / frama-c Commits: 32959281 by Ralf Treinen at 2022-06-18T20:15:29+02:00 add build-dep libppx-deriving-ocaml-dev - - - - - 2 changed files: - debian/changelog - debian/control Changes: = debian/changelog = @@ -2,7 +2,9 @@ frama-c (20220511-manganese-1) UNRELEASED; urgency=medium * New upstream version. This version is compatible with why3 version 1.5.0 (closes: #1011892,#1010867). - * Add build-dependency on libppx-import-ocaml-dev + * Add build-dependency on +- libppx-import-ocaml-dev +- libppx-deriving-ocaml-dev * debian/copyright: drop mention of plugins that are no longer included in the upstream distribution: - coqwp = debian/control = @@ -18,7 +18,8 @@ Build-Depends: libocamlgraph-ocaml-dev (>= 1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev, - libppx-import-ocaml-dev + libppx-import-ocaml-dev, + libppx-deriving-ocaml-dev Standards-Version: 4.6.1 Rules-Requires-Root: no Homepage: https://frama-c.com View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/32959281ed0c06b1f14428e4a990ddc0b333ceb7 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/32959281ed0c06b1f14428e4a990ddc0b333ceb7 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][master] 7 commits: New upstream version 20220511-manganese
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / frama-c Commits: 4f9ec6a6 by Ralf Treinen at 2022-06-18T09:35:49+02:00 New upstream version 20220511-manganese - - - - - c615c190 by Ralf Treinen at 2022-06-18T09:40:07+02:00 Update upstream source from tag upstream/20220511-manganese Update to upstream version 20220511-manganese with Debian dir 14448b47a5b7055204c2a79bfe0d0b1b31acc4a3 - - - - - 510061b9 by Ralf Treinen at 2022-06-18T10:07:28+02:00 add build-dependency libppx-import-ocaml-dev - - - - - d6acf08f by Ralf Treinen at 2022-06-18T19:12:41+02:00 remove mention of plugins ergo, coqwp from debian/copyright - - - - - a262866b by Ralf Treinen at 2022-06-18T19:40:28+02:00 standards-version 4.6.1 - - - - - 32959281 by Ralf Treinen at 2022-06-18T20:15:29+02:00 add build-dep libppx-deriving-ocaml-dev - - - - - e8147eae by Ralf Treinen at 2022-06-18T21:15:22+02:00 upload to sid - - - - - 30 changed files: - Changelog - INSTALL.md - Makefile - Makefile.generating - README.md - VERSION - VERSION_CODENAME - bin/frama-c - bin/frama-c-config - bin/frama-c-gui - bin/frama-c-gui.byte - bin/frama-c-script - bin/frama-c.byte - bin/local_export.sh - bin/migration_scripts/aluminium2silicon.sh - bin/migration_scripts/boron2carbon.sh - bin/migration_scripts/calcium2scandium.sh - bin/migration_scripts/carbon2nitrogen.sh - bin/migration_scripts/chlorine2argon.sh - + bin/migration_scripts/chromium2manganese.sh - bin/migration_scripts/fluorine2neon.sh - bin/migration_scripts/lithium2beryllium.sh - bin/migration_scripts/magnesium2aluminium.sh - bin/migration_scripts/neon2sodium.sh - bin/migration_scripts/nitrogen2oxygen.sh - bin/migration_scripts/oxygen2fluorine.sh - bin/migration_scripts/phosphorus2sulfur.sh - bin/migration_scripts/potassium2calcium.sh - bin/migration_scripts/silicon2phosphorus.sh - bin/migration_scripts/sodium2magnesium.sh The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e...e8147eae88ae7e40b5f9b7f54f4250dfef72110c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e...e8147eae88ae7e40b5f9b7f54f4250dfef72110c You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][upstream] New upstream version 20220511-manganese
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / frama-c Commits: 4f9ec6a6 by Ralf Treinen at 2022-06-18T09:35:49+02:00 New upstream version 20220511-manganese - - - - - 30 changed files: - Changelog - INSTALL.md - Makefile - Makefile.generating - README.md - VERSION - VERSION_CODENAME - bin/frama-c - bin/frama-c-config - bin/frama-c-gui - bin/frama-c-gui.byte - bin/frama-c-script - bin/frama-c.byte - bin/local_export.sh - bin/migration_scripts/aluminium2silicon.sh - bin/migration_scripts/boron2carbon.sh - bin/migration_scripts/calcium2scandium.sh - bin/migration_scripts/carbon2nitrogen.sh - bin/migration_scripts/chlorine2argon.sh - + bin/migration_scripts/chromium2manganese.sh - bin/migration_scripts/fluorine2neon.sh - bin/migration_scripts/lithium2beryllium.sh - bin/migration_scripts/magnesium2aluminium.sh - bin/migration_scripts/neon2sodium.sh - bin/migration_scripts/nitrogen2oxygen.sh - bin/migration_scripts/oxygen2fluorine.sh - bin/migration_scripts/phosphorus2sulfur.sh - bin/migration_scripts/potassium2calcium.sh - bin/migration_scripts/silicon2phosphorus.sh - bin/migration_scripts/sodium2magnesium.sh The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/4f9ec6a6b97e2af11549cb49eac2e973e0794614 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/4f9ec6a6b97e2af11549cb49eac2e973e0794614 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][experimental/master] 2 commits: remove mention of plugins ergo, coqwp from debian/copyright
Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / frama-c Commits: d6acf08f by Ralf Treinen at 2022-06-18T19:12:41+02:00 remove mention of plugins ergo, coqwp from debian/copyright - - - - - a262866b by Ralf Treinen at 2022-06-18T19:40:28+02:00 standards-version 4.6.1 - - - - - 3 changed files: - debian/changelog - debian/control - debian/copyright Changes: = debian/changelog = @@ -3,8 +3,13 @@ frama-c (20220511-manganese-1) UNRELEASED; urgency=medium * New upstream version. This version is compatible with why3 version 1.5.0 (closes: #1011892,#1010867). * Add build-dependency on libppx-import-ocaml-dev + * debian/copyright: drop mention of plugins that are no longer +included in the upstream distribution: +- coqwp +- ergo + * Standards-Version 4.6.1 (no change) - -- Ralf Treinen Sat, 18 Jun 2022 09:44:48 +0200 + -- Ralf Treinen Sat, 18 Jun 2022 19:39:11 +0200 frama-c (20211203-chromium-1) unstable; urgency=medium = debian/control = @@ -19,7 +19,7 @@ Build-Depends: liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev, libppx-import-ocaml-dev -Standards-Version: 4.6.0 +Standards-Version: 4.6.1 Rules-Requires-Root: no Homepage: https://frama-c.com Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c = debian/copyright = @@ -22,35 +22,6 @@ License: MIT-like This configure script is free software; the Free Software Foundation gives unlimited permission to copy, distribute and modify it. -Files: src/plugins/wp/share/coqwp/BuiltIn.v - src/plugins/wp/share/coqwp/bool/Bool.v - src/plugins/wp/share/coqwp/int/Abs.v - src/plugins/wp/share/coqwp/int/ComputerDivision.v - src/plugins/wp/share/coqwp/int/Int.v - src/plugins/wp/share/coqwp/int/MinMax.v - src/plugins/wp/share/coqwp/map/Map.v - src/plugins/wp/share/coqwp/real/Abs.v - src/plugins/wp/share/coqwp/real/FromInt.v - src/plugins/wp/share/coqwp/real/MinMax.v - src/plugins/wp/share/coqwp/real/Real.v - src/plugins/wp/share/coqwp/real/RealInfix.v - src/plugins/wp/share/coqwp/real/Square.v - src/plugins/wp/share/ergo/bool.Bool.mlw - src/plugins/wp/share/ergo/int.Abs.mlw - src/plugins/wp/share/ergo/int.ComputerDivision.mlw - src/plugins/wp/share/ergo/int.Int.mlw - src/plugins/wp/share/ergo/int.MinMax.mlw - src/plugins/wp/share/ergo/map.Map.mlw - src/plugins/wp/share/ergo/real.Abs.mlw - src/plugins/wp/share/ergo/real.FromInt.mlw - src/plugins/wp/share/ergo/real.MinMax.mlw - src/plugins/wp/share/ergo/real.Real.mlw - src/plugins/wp/share/ergo/real.RealInfix.mlw - src/plugins/wp/share/ergo/real.Square.mlw -Copyright: © 2010-2013 INRIA - CNRS - Paris-Sud University -License: LGPL-2.1 - See `/usr/share/common-licenses/LGPL-2.1'. - Files: src/kernel_internals/parsing/clexer.mli src/kernel_internals/parsing/clexer.mll src/kernel_internals/parsing/cparser.mly View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/510061b9c8b4a7a7910f7c417f7ac746fa3721f8...a262866bc712bca215d4e26b1c2af7221f8b130a -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/510061b9c8b4a7a7910f7c417f7ac746fa3721f8...a262866bc712bca215d4e26b1c2af7221f8b130a You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new branch experimental/upstream
Ralf Treinen pushed new branch experimental/upstream at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/experimental/upstream You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new branch experimental/master
Ralf Treinen pushed new branch experimental/master at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/experimental/master You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/ocaml-expat][master] fix debian/watch
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ocaml-expat Commits: 2db18f16 by Ralf Treinen at 2022-05-28T15:34:31+02:00 fix debian/watch - - - - - 2 changed files: - debian/changelog - debian/watch Changes: = debian/changelog = @@ -1,3 +1,9 @@ +ocaml-expat (1.1.0-2) UNRELEASED; urgency=medium + + * fix debian/watch + + -- Ralf Treinen Sat, 28 May 2022 15:33:31 +0200 + ocaml-expat (1.1.0-1) unstable; urgency=low [ Stéphane Glondu ] = debian/watch = @@ -1,3 +1,3 @@ version=3 opts="dversionmangle=s/\+debian[\.0-9]*$//" \ -https://github.com/whitequark/ocaml-expat/releases .*/archive/v?([0-9.]+)\.tar\.gz +https://github.com/whitequark/ocaml-expat/tags .*/tags/v?([0-9.]+)\.tar\.gz View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-expat/-/commit/2db18f1638909f76e4186c040cb280aaedf1fce0 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-expat/-/commit/2db18f1638909f76e4186c040cb280aaedf1fce0 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3] Pushed new tag debian/1.5.0-1
Ralf Treinen pushed new tag debian/1.5.0-1 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/tree/debian/1.5.0-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][upstream] New upstream version 1.5.0
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3 Commits: 69c93f9f by Ralf Treinen at 2022-05-02T20:38:00+02:00 New upstream version 1.5.0 - - - - - 12 changed files: - CHANGES.md - Makefile.in - bench/bench - bench/ce-bench - bench/ce/floats.mlw - + bench/ce/jlamp0_mono.mlw - + bench/ce/oracles/algebraic_type_CVC4,1.8_SP.oracle - + bench/ce/oracles/algebraic_type_CVC4,1.8_WP.oracle - + bench/ce/oracles/algebraic_type_Z3,4.8.10_SP.oracle - + bench/ce/oracles/algebraic_type_Z3,4.8.10_WP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_WP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/69c93f9f97d650728f98e694413bce1f481f9891 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/69c93f9f97d650728f98e694413bce1f481f9891 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.5.0.orig.tar.gz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3 Commits: a7ae7b33 by Ralf Treinen at 2022-05-02T20:38:29+02:00 pristine-tar data for why3_1.5.0.orig.tar.gz - - - - - 2 changed files: - + why3_1.5.0.orig.tar.gz.delta - + why3_1.5.0.orig.tar.gz.id Changes: = why3_1.5.0.orig.tar.gz.delta = Binary files /dev/null and b/why3_1.5.0.orig.tar.gz.delta differ = why3_1.5.0.orig.tar.gz.id = @@ -0,0 +1 @@ +06afcbfc305ef733746a59eca1553a432feaa605 View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/a7ae7b33b7387d7dd23573cafe3135a5eb5546d5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/a7ae7b33b7387d7dd23573cafe3135a5eb5546d5 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][master] 6 commits: New upstream version 1.5.0
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3 Commits: 69c93f9f by Ralf Treinen at 2022-05-02T20:38:00+02:00 New upstream version 1.5.0 - - - - - ef2c1811 by Ralf Treinen at 2022-05-02T20:39:31+02:00 Update upstream source from tag upstream/1.5.0 Update to upstream version 1.5.0 with Debian dir b2d2bb9166089a872deb0f04423ea39edd6988d4 - - - - - a3f6099a by Ralf Treinen at 2022-05-02T20:45:02+02:00 updated patches - - - - - f337a283 by Ralf Treinen at 2022-05-02T20:58:58+02:00 configure with option --disable-coq-libs - - - - - 9aca109c by Ralf Treinen at 2022-05-03T03:02:52+02:00 bump dependency on z3 - - - - - 42796c11 by Ralf Treinen at 2022-05-03T10:15:42+02:00 test why3+z3: drop preliminary test of z3 - - - - - 12 changed files: - CHANGES.md - Makefile.in - bench/bench - bench/ce-bench - bench/ce/floats.mlw - + bench/ce/jlamp0_mono.mlw - + bench/ce/oracles/algebraic_type_CVC4,1.8_SP.oracle - + bench/ce/oracles/algebraic_type_CVC4,1.8_WP.oracle - + bench/ce/oracles/algebraic_type_Z3,4.8.10_SP.oracle - + bench/ce/oracles/algebraic_type_Z3,4.8.10_WP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_WP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/dbabf2ff519d0708fddb2784413d43a0e2947ba3...42796c11f02952c4f64b51563ca4d21534c15fd8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/dbabf2ff519d0708fddb2784413d43a0e2947ba3...42796c11f02952c4f64b51563ca4d21534c15fd8 You're receiving this email because of your account on salsa.debian.org.
Re: On the coq ecosystem in Debian
Hello, On Tue, Mar 29, 2022 at 09:52:16AM +0200, julien.pu...@gmail.com wrote: > Le lundi 28 mars 2022 à 08:14 +0200, Stéphane Glondu a écrit : > > > Question: shouldn't I split the current libcoq-elpi in a libcoq- > > > elpi > > > for the purely coq part and a libcoq-elpi-ocaml packages for the > > > .cma/.cmxs pair? > > > > This is what I would have done in the initial packaging. I wouldn't > > do it now, but for bad reasons (delays in NEW processing). > > > > I will still do it: NEW processing is a one-time cost. You can use the experimental suite for that: just upload splitted packages to experimental and continue maintaining on the sid branch, and when the experimental packages have been accepted by ftpmaster you can carry the split over to sid. I think you have to be careful with version numbers, though. -Ralf.
[Git][ocaml-team/ocamlagrep][master] 3 commits: team upload
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ocamlagrep Commits: d495929d by Ralf Treinen at 2022-03-26T09:58:50+01:00 team upload - - - - - a2208b93 by Ralf Treinen at 2022-03-26T10:04:16+01:00 use debian/clean - - - - - 929ab694 by Ralf Treinen at 2022-03-26T10:12:48+01:00 copyright format 1.0 - - - - - 4 changed files: - debian/changelog - + debian/clean - debian/copyright - debian/rules Changes: = debian/changelog = @@ -1,10 +1,13 @@ ocamlagrep (1.0-14) UNRELEASED; urgency=medium + * Team upload * debian/watch: - switch to github location - version 4 (no change) + * drop dh_clean override, use debian/clean file instead + * debian/copyright: convert to format 1.0 - -- Ralf Treinen Sat, 26 Mar 2022 08:07:16 +0100 + -- Ralf Treinen Sat, 26 Mar 2022 10:12:26 +0100 ocamlagrep (1.0-13) unstable; urgency=medium = debian/clean = @@ -0,0 +1 @@ +debian/doc = debian/copyright = @@ -1,17 +1,14 @@ -This package was debianized by Samuel Mimram on -Wed, 21 Jan 2004 17:58:10 +0100. - -It was downloaded from http://pauillac.inria.fr/~xleroy/software.html - -Upstream Author: Xavier Leroy - -Copyright (C) 2002 Institut National de Recherche en Informatique et en -Automatique. - -This program is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2 of the License, or -(at your option) any later version. - -On Debian systems you can find the text of this license in -/usr/share/common-licenses/LGPL. +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: ocamlagrep +Upstream-Contact: Xavier Leroy +Source: http://pauillac.inria.fr/~xleroy/software.html + +Files: * +Copyright: © 2002 Institut National de Recherche en Informatique et en + Automatique. +License: LGPL-2.1 + The Library is distributed under the terms of the GNU Lesser General + Public License version 2.1. + . + On Debian systems, the complete text of the GNU Lesser General Public License + version 2.1 can be found in `/usr/share/common-licenses/LGPL-2.1'. = debian/rules = @@ -27,10 +27,6 @@ ifneq ($(OCAML_OPT_ARCH),) $(MAKE) agrep.cmxa endif -.PHONY: override_dh_clean -override_dh_clean: - rm -rf debian/doc - .PHONY: override_dh_auto_install override_dh_auto_install: mkdir -p debian/tmp/$(OCAML_STDLIB_DIR)/agrep View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlagrep/-/compare/511c284d4fe008fcbd83850222d4ea9fad64ad9a...929ab694c26df6a38a26cad39fc1bbb4628a7320 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlagrep/-/compare/511c284d4fe008fcbd83850222d4ea9fad64ad9a...929ab694c26df6a38a26cad39fc1bbb4628a7320 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/ocamlagrep][master] update d/watch to github location
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ocamlagrep Commits: 511c284d by Ralf Treinen at 2022-03-26T08:08:33+01:00 update d/watch to github location - - - - - 2 changed files: - debian/changelog - debian/watch Changes: = debian/changelog = @@ -1,3 +1,11 @@ +ocamlagrep (1.0-14) UNRELEASED; urgency=medium + + * debian/watch: +- switch to github location +- version 4 (no change) + + -- Ralf Treinen Sat, 26 Mar 2022 08:07:16 +0100 + ocamlagrep (1.0-13) unstable; urgency=medium * Team upload = debian/watch = @@ -1,2 +1,4 @@ -version=3 -http://forge.ocamlcore.org/frs/?group_id=136 (?:.*/)?ocamlagrep-([0-9\.]*)\.tar\.gz debian uupdate +version=4 +opts=uversionmangle=s/(\d?)(\d?)/$1.$2/ \ + https://github.com/xavierleroy/ocamlagrep/tags .*/release(\d\S*)\.tar\.gz + View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlagrep/-/commit/511c284d4fe008fcbd83850222d4ea9fad64ad9a -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlagrep/-/commit/511c284d4fe008fcbd83850222d4ea9fad64ad9a You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3] Pushed new tag upstream/1.4.1
Ralf Treinen pushed new tag upstream/1.4.1 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/tree/upstream/1.4.1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3] Pushed new tag debian/1.4.1-2
Ralf Treinen pushed new tag debian/1.4.1-2 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/tree/debian/1.4.1-2 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3] Pushed new tag debian/1.4.1-1
Ralf Treinen pushed new tag debian/1.4.1-1 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/tree/debian/1.4.1-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new tag debian/20211203-chromium-1
Ralf Treinen pushed new tag debian/20211203-chromium-1 at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/debian/20211203-chromium-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new tag upstream/20211203-chromium
Ralf Treinen pushed new tag upstream/20211203-chromium at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/upstream/20211203-chromium You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c] Pushed new tag debian/20201209+titanium-4
Ralf Treinen pushed new tag debian/20201209+titanium-4 at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/debian/20201209+titanium-4 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][master] 8 commits: New upstream version 20211203-chromium
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / frama-c Commits: af54db2a by Ralf Treinen at 2022-03-20T01:06:47+01:00 New upstream version 20211203-chromium - - - - - c9a213e6 by Ralf Treinen at 2022-03-20T01:24:08+01:00 Update upstream source from tag upstream/20211203-chromium Update to upstream version 20211203-chromium with Debian dir a6995b979083d93a284794b5f9eb1218d2c8f490 - - - - - fe47d9e5 by Ralf Treinen at 2022-03-20T01:35:49+01:00 patches: removed one, refreshed the others - - - - - f2224378 by Ralf Treinen at 2022-03-20T02:18:14+01:00 usr/lib/libeacsl-dlmalloc.a is now at usr/lib/frama-c/e-acsl - - - - - 7682fa9c by Ralf Treinen at 2022-03-20T08:57:20+01:00 simplify d/copyright, some files have disappeared or changed copyright holder - - - - - dc2be528 by Ralf Treinen at 2022-03-20T09:22:45+01:00 updated test wp to use new syntax of why3 config - - - - - c37572b7 by Ralf Treinen at 2022-03-22T08:02:52+01:00 standards-version 4.6.0 - - - - - 7cf7f861 by Ralf Treinen at 2022-03-23T08:56:35+01:00 upload to sid - - - - - 30 changed files: - Changelog - INSTALL.md - Makefile - Makefile.generating - README.md - VERSION - VERSION_CODENAME - bin/frama-c - bin/frama-c-config - bin/frama-c-gui - bin/frama-c-gui.byte - bin/frama-c-script - bin/frama-c.byte - bin/local_export.sh - bin/migration_scripts/aluminium2silicon.sh - bin/migration_scripts/boron2carbon.sh - bin/migration_scripts/calcium2scandium.sh - bin/migration_scripts/carbon2nitrogen.sh - bin/migration_scripts/chlorine2argon.sh - bin/migration_scripts/fluorine2neon.sh - bin/migration_scripts/lithium2beryllium.sh - bin/migration_scripts/magnesium2aluminium.sh - bin/migration_scripts/neon2sodium.sh - bin/migration_scripts/nitrogen2oxygen.sh - bin/migration_scripts/oxygen2fluorine.sh - bin/migration_scripts/phosphorus2sulfur.sh - bin/migration_scripts/potassium2calcium.sh - bin/migration_scripts/silicon2phosphorus.sh - bin/migration_scripts/sodium2magnesium.sh - bin/migration_scripts/sulfur2chlorine.sh The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/b0b5c4beab5b46a3ebe34ca3a6ee5a19294302a5...7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/b0b5c4beab5b46a3ebe34ca3a6ee5a19294302a5...7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][pristine-tar] pristine-tar data for frama-c_20211203-chromium.orig.tar.gz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / frama-c Commits: 8d5d759e by Ralf Treinen at 2022-03-20T01:07:20+01:00 pristine-tar data for frama-c_20211203-chromium.orig.tar.gz - - - - - 2 changed files: - + frama-c_20211203-chromium.orig.tar.gz.delta - + frama-c_20211203-chromium.orig.tar.gz.id Changes: = frama-c_20211203-chromium.orig.tar.gz.delta = Binary files /dev/null and b/frama-c_20211203-chromium.orig.tar.gz.delta differ = frama-c_20211203-chromium.orig.tar.gz.id = @@ -0,0 +1 @@ +a542ba8426cb29fc08aef3f39c8d7361266f5675 View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/8d5d759ee78faa6b7f14745b04c0417d63d23916 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/8d5d759ee78faa6b7f14745b04c0417d63d23916 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/frama-c][upstream] New upstream version 20211203-chromium
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / frama-c Commits: af54db2a by Ralf Treinen at 2022-03-20T01:06:47+01:00 New upstream version 20211203-chromium - - - - - 30 changed files: - Changelog - INSTALL.md - Makefile - Makefile.generating - README.md - VERSION - VERSION_CODENAME - bin/frama-c - bin/frama-c-config - bin/frama-c-gui - bin/frama-c-gui.byte - bin/frama-c-script - bin/frama-c.byte - bin/local_export.sh - bin/migration_scripts/aluminium2silicon.sh - bin/migration_scripts/boron2carbon.sh - bin/migration_scripts/calcium2scandium.sh - bin/migration_scripts/carbon2nitrogen.sh - bin/migration_scripts/chlorine2argon.sh - bin/migration_scripts/fluorine2neon.sh - bin/migration_scripts/lithium2beryllium.sh - bin/migration_scripts/magnesium2aluminium.sh - bin/migration_scripts/neon2sodium.sh - bin/migration_scripts/nitrogen2oxygen.sh - bin/migration_scripts/oxygen2fluorine.sh - bin/migration_scripts/phosphorus2sulfur.sh - bin/migration_scripts/potassium2calcium.sh - bin/migration_scripts/silicon2phosphorus.sh - bin/migration_scripts/sodium2magnesium.sh - bin/migration_scripts/sulfur2chlorine.sh The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][master] on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3 Commits: dbabf2ff by Ralf Treinen at 2022-03-19T15:02:04+01:00 on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma - - - - - 2 changed files: - debian/changelog - debian/rules Changes: = debian/changelog = @@ -1,3 +1,10 @@ +why3 (1.4.1-2) unstable; urgency=medium + + * Fix compilation on bytecode architectures, on these architectures we +have to look for exported units in why3ide.cma. + + -- Ralf Treinen Sat, 19 Mar 2022 15:01:40 +0100 + why3 (1.4.1-1) unstable; urgency=medium * New upstream release. = debian/rules = @@ -50,14 +50,10 @@ override_dh_compress: ifneq ($(wildcard debian/why3/usr/lib/ocaml/why3/commands/why3ide.cmxs),) WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/commands/why3ide.cmxs | sed -n 's/Name: //p' | xargs echo | tr ' ' ,) else - WHY3IDE_UNITS := + WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/commands/why3ide.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,) endif -ifneq ($(wildcard debian/why3/usr/lib/ocaml/why3/plugins/hypothesis_selection.cma ),) - WHY3HYPO_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/plugins/hypothesis_selection.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,) -else - WHY3HYPO_UNITS := -endif +WHY3HYPO_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/plugins/hypothesis_selection.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,) override_dh_ocaml: dh_ocaml --nodefined-map=why3:$(WHY3IDE_UNITS),$(WHY3HYPO_UNITS) View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/dbabf2ff519d0708fddb2784413d43a0e2947ba3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/dbabf2ff519d0708fddb2784413d43a0e2947ba3 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.4.1.orig.tar.gz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3 Commits: de8c424a by Ralf Treinen at 2022-03-14T17:39:33+01:00 pristine-tar data for why3_1.4.1.orig.tar.gz - - - - - 2 changed files: - + why3_1.4.1.orig.tar.gz.delta - + why3_1.4.1.orig.tar.gz.id Changes: = why3_1.4.1.orig.tar.gz.delta = Binary files /dev/null and b/why3_1.4.1.orig.tar.gz.delta differ = why3_1.4.1.orig.tar.gz.id = @@ -0,0 +1 @@ +53af410e295696b0096670871786036f2f5beba7 View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/de8c424a1dc890eee56361b9b657508d84f484bb -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/de8c424a1dc890eee56361b9b657508d84f484bb You're receiving this email because of your account on salsa.debian.org.
Re: Updating menhir
On Thu, Mar 17, 2022 at 05:20:58PM +0100, julien.pu...@gmail.com wrote: > I didn't upload it because the reverse deps situation wasn't perfect: Can you upload to experimental, please ? -Ralf.
Re: Updating menhir
Hi, On Thu, Mar 17, 2022 at 05:20:58PM +0100, julien.pu...@gmail.com wrote: > - why3 is broken (looks for non-existing graph.cmo at some point) -- > unrelated breakage ; there is a patch for that in the upstream git, which unfortunately was not included in the recent 1.4.1 upstream release. My remaining propblem is fighting against dh_ocaml failing on exported ocaml units that are also exported by other packages. -Ralf.
[why3] dropping coq support ?
Hello, since I have to stay at home for a few days I might as well use that for picking up maintenance of some debian packages, for instance why3. I am thinking of dropping coq support for why3. What makes the support for coq so different from the support for other provers in why3 is that - it makes why3 build-depend on coq - it makes the binary package why3-coq depend on a particular version of coq - it introduces quite some complexity into the why3 packages, partially (but not only) due to the fact that coq does not build on all release architectures. Since coq support is tied to a particular version of coq, there always is the problem that why3 upstream lacks behind coq upstream. The coq team is aiming at a 6-month release cycle, and why3 major releases usually take longer, and are not synchronized with coq. This means that when coq is updated in debian one has to cherry-pick a patch for upgrading coq-support from the why3 git - if it exists at all. For instance, currently the lastest released version of why3 supports coq up to 8.13, there is a patch in the git development branch for coq 8.14, and now we have coq 8.15 in debian. I do not see any better solution to keep up maintainability of why3 than to drop the coq support. Do others on this list have any thoughts about that? Cheers -Ralf.
Re: Bug#1003438: RM: why3 [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq
On Mon, Jan 10, 2022 at 08:39:25AM +0100, Julien Puydt wrote: > Package: ftp.debian.org > Usertags: rm > X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org > > Since coq upstream abandoned some architecture, coq isn't available > anymore on those architectures, and lingering binary packages prevent > testing migration. No, please do not remove the why3 source package. It build-depends on coq only on those architectures where it should be available, and generates the why3-coq binary package (which is the only binary package that depends on coq) only on these architectures. @julien: please do not ask for removal of source packages that are maintained by others without investigating the situation. -Ralf. signature.asc Description: PGP signature
[Git][ocaml-team/ocamlgraph][upstream] New upstream version 2.0.0
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ocamlgraph Commits: f8752d1b by Ralf Treinen at 2020-12-29T19:26:18+01:00 New upstream version 2.0.0 - - - - - 13 changed files: - + .gitignore - + .merlin - + .ocp-indent - − CHANGES - + CHANGES.md - FAQ - − INSTALL.adoc - + INSTALL.md - − META.in - + Makefile - − Makefile.in - README.adoc → README.md - + TODO.md The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlgraph/-/commit/f8752d1b2cf8ea80461925484c844d9520b23401 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlgraph/-/commit/f8752d1b2cf8ea80461925484c844d9520b23401 You're receiving this email because of your account on salsa.debian.org.
Re: State of ocamlgraph
Hello, On Mon, Dec 20, 2021 at 08:34:34AM +0100, Stéphane Glondu wrote: > Le 18/12/2021 à 22:17, Ralf Treinen a écrit : > >>> I've noticed with my opam monitoring [1] that ocamlgraph is not > >>> up-to-date in Debian unstable compared to opam (1.8.8 instead of 2.0.0). > >>> I've seen you've uploaded version 2.0.0 to experimental; are you > >>> planning to upload it to unstable? When? > >> > >> I think one of the reasons why I uploaded only to experimental is that > >> it was already quite close to the freeze. I think there were also some > >> packages that didn't compile with ocamlgraph 2.0.0, but I do not > >> remember which ones. It seems that at least alt-ergo,ben,frama-c,why3. > > Ben is Debian-specific and probably can be adapted easily if needed. ben compiles fine with ocamlgraph 2.0.0. > > In fact since the passage to dune, ocamlgraph does no longer produce > > graph.cmo (https://github.com/backtracking/ocamlgraph/issues/118), > > which is a problem at least for why3, unless we decide to give up on > > bytecode since apparently everybody else already has. > > I does produce graph.cma and graph.cmi. In fact the why3 upstream git has already a patch for this. I'll just have to fight a bit with dh_ocaml --no-defined-map. So I'll upload ocamlgraph right away. -Ralf.
Re: State of ocamlgraph
On Wed, Dec 15, 2021 at 07:17:15PM +0100, Ralf Treinen wrote: > Salut Stéphane, > > On Wed, Dec 15, 2021 at 06:19:19PM +0100, Stéphane Glondu wrote: > > > I've noticed with my opam monitoring [1] that ocamlgraph is not > > up-to-date in Debian unstable compared to opam (1.8.8 instead of 2.0.0). > > I've seen you've uploaded version 2.0.0 to experimental; are you > > planning to upload it to unstable? When? > > I think one of the reasons why I uploaded only to experimental is that > it was already quite close to the freeze. I think there were also some > packages that didn't compile with ocamlgraph 2.0.0, but I do not > remember which ones. It seems that at least alt-ergo,ben,frama-c,why3. In fact since the passage to dune, ocamlgraph does no longer produce graph.cmo (https://github.com/backtracking/ocamlgraph/issues/118), which is a problem at least for why3, unless we decide to give up on bytecode since apparently everybody else already has. -Ralf.
Re: State of ocamlgraph
Salut Stéphane, On Wed, Dec 15, 2021 at 06:19:19PM +0100, Stéphane Glondu wrote: > I've noticed with my opam monitoring [1] that ocamlgraph is not > up-to-date in Debian unstable compared to opam (1.8.8 instead of 2.0.0). > I've seen you've uploaded version 2.0.0 to experimental; are you > planning to upload it to unstable? When? I think one of the reasons why I uploaded only to experimental is that it was already quite close to the freeze. I think there were also some packages that didn't compile with ocamlgraph 2.0.0, but I do not remember which ones. It seems that at least alt-ergo,ben,frama-c,why3. I can check again but it will take some days. Cheers -Ralf.
Re: Building clean packages for coq theories
Hello, On Fri, Nov 19, 2021 at 08:04:44AM +0100, Julien Puydt wrote: > And for ssreflect, it ships a single libssreflect-coq package ; it's > shipping .v, .vo and .glob files and the html doc. It's arch-indep. > [aside: it needs updating to latest upstream.] > > In both cases, the package name doesn't seem to follow a convention, > and the package name bears little link to upstream's packaging names > (stdlib for coq, mathcomp for ssreflect). sslreflect should probably be repacked. For starters, the name "sslreflect" is due to the fact that when the package was created it also contained the sslreflect plugin, which is now part of the coq upstream distribution. The name should be something containing the words "coq" and "mathcomp". Then, there should be several binary packages. I suggest following the organisation of the opam packages since this is what users will find in the mathcomp documentation, I guess. Splitting of architecture independent packages would be plus. -Ralf.
Re: Lintian warnings with the coq package
Hello, thanks for the work on the coq package. First of all a general comment: in the ocaml team we usually use different branches for packaging work that is intended to go to experimental (branches experimental/master and experimental/upstream), but I don't think it is a drama when you commit to master. Is there a reason why you are not using the dune build system? I am myself not a big fan of the monolithic dune system but that is the primary build system that the upstream developers have decided for. This might also solve the build failures on bytecode-only architectures. (export COQ_USE_DUNE=1 in debian/rules) I tried to build (from commit a322bfa8547a1f88a3cadc8e543be0b495c00e8b) but it fails with: (cd _build/default && /bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision /bin/bash: dev/tools/make_git_revision.sh: /usr/bin/bash: bad interpreter: No such file or directory I have on my system /bin/bash, not /usr/bin/bash. Anyway, either bash should be replaced by /bin/sh, or we need a build-dependency on bash. On Wed, Nov 10, 2021 at 11:40:37AM +0100, Julien Puydt wrote: > PROBLEM I: shared-library-lacks-prerequisites lintian warnings I have also many of these on my packages, no idea what can be done about these. > PROBLEM II: ocaml-dangling-cmi lintian warnings > (many of them) No idea, and sicne the build fails for me I cannot reproduce. > PROBLEM III: unstripped-static-library lintian warnings No idea, either (sorry that I am not very helpful) > PROBLEM IV: coq's lib is not in /usr/lib/ocaml > > That was the case with the previous packaging (/usr/lib/coq)), it's > still the case (/usr/lib/coq-core), and it's incoherent with the > policy: > libcoq-ocaml-dev: ocaml-dev-file-not-in-usr-lib-ocaml 998 files in > usr/lib Isn't there a configuration option to chose the location of the the coq library? Or maybe it is the COQLIB environment variable that has to be set accordingly? Bon courage -Ralf.
Re: Updating coq
Hello Julien, good to hear that you are joining the team and that you are interested in coq and related packages. The coq package is (again) lacking behind upstream, so we could definitely use some help here. I had uopdated the last versions of the package when it was more or less abandoned, but in reality I am not even a regular coq user, so if you are motivated to take over the coq maintenance that would be from my point of view most appreciated. On Tue, Nov 02, 2021 at 09:00:36PM +0100, Julien Puydt wrote: > - debian/copyright says the source have to be edited, but doesn't say > how ; that file probably needs reviewing. > - debian/README.source says gbp.conf does the trick and the version > name should have a +dfsg suffix ; that file could probably also be cleaned since it contains stuff from the time when using package format 3 was new. Using a quilt patch queue is standard now. > - debian/gbp.conf does have a list of things not to put into the > tarball ; > > - debian/changelog show the +dfsg suffix got lost more than five years > ago. > > > With my Debian Science Team hat on, I would: > > - have the list of excluded files in d/copyright ; > > - have d/watch use that to do the repacking, adding the +dfsg > automatically. > > Shall I proceed? yes, please. We probably should just drop the doc/ directory completely since it is governed by a non-free licence. Some points that need review: - what kind of documentation can we build in debian ? - tests. In the past the package maintainers attempted to run as much of the upstream test suite as possible, but the problem is that this makes building the package on slower architectures very resource consuming (more than 10 hours !). We should rethink which tests it really makes sense to run, and whether we should turn some of them into as-installed tests. Cheers -Ralf.
[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-8
Ralf Treinen pushed new tag debian/2.0.0-8 at Debian OCaml Maintainers / alt-ergo -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/tree/debian/2.0.0-8 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/camlbz2] Pushed new tag debian/0.7.0-1
Ralf Treinen pushed new tag debian/0.7.0-1 at Debian OCaml Maintainers / camlbz2 -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlbz2/-/tree/debian/0.7.0-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/camlzip] Pushed new tag upstream/1.11
Ralf Treinen pushed new tag upstream/1.11 at Debian OCaml Maintainers / camlzip -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlzip/-/tree/upstream/1.11 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc] Pushed new tag upstream/2.35
Ralf Treinen pushed new tag upstream/2.35 at Debian OCaml Maintainers / hevea-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/tree/upstream/2.35 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc] Pushed new tag debian/2.35-1
Ralf Treinen pushed new tag debian/2.35-1 at Debian OCaml Maintainers / hevea-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/tree/debian/2.35-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc][master] 7 commits: New upstream version 2.35
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / hevea-doc Commits: 6c1d75ca by Ralf Treinen at 2021-10-17T21:07:55+02:00 New upstream version 2.35 - - - - - 4061468e by Ralf Treinen at 2021-10-17T21:08:31+02:00 Update upstream source from tag upstream/2.35 Update to upstream version 2.35 with Debian dir ab3d5f069eb5d83a3e348450b173f545b105c7bf - - - - - 727c638c by Ralf Treinen at 2021-10-17T21:13:08+02:00 uscan version 4 - - - - - cb474495 by Ralf Treinen at 2021-10-17T21:14:16+02:00 standards-version 4.6.0 - - - - - 1bd9112b by Ralf Treinen at 2021-10-17T21:15:45+02:00 DH compat level 13 - - - - - 25241d84 by Ralf Treinen at 2021-10-17T21:17:27+02:00 rules-requires-root=no - - - - - 3c032d5e by Ralf Treinen at 2021-10-17T21:23:54+02:00 d/{changelog,control}: clean trailing whitespace - - - - - 7 changed files: - browser.html - cutname.html - debian/changelog - debian/control - debian/watch - extras.html - index.html The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/compare/f4f9265314c54dae92dd4545d2a67396affcb9ec...3c032d5eb796e020c96a69c551501b2c76e0a2c1 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/compare/f4f9265314c54dae92dd4545d2a67396affcb9ec...3c032d5eb796e020c96a69c551501b2c76e0a2c1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc][pristine-tar] pristine-tar data for hevea-doc_2.35.orig.tar.gz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / hevea-doc Commits: 7178c15b by Ralf Treinen at 2021-10-17T21:07:56+02:00 pristine-tar data for hevea-doc_2.35.orig.tar.gz - - - - - 2 changed files: - + hevea-doc_2.35.orig.tar.gz.delta - + hevea-doc_2.35.orig.tar.gz.id Changes: = hevea-doc_2.35.orig.tar.gz.delta = Binary files /dev/null and b/hevea-doc_2.35.orig.tar.gz.delta differ = hevea-doc_2.35.orig.tar.gz.id = @@ -0,0 +1 @@ +2269b726fa7a2ba1e2a6e7d2ddff1354d5f7a9ab View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/commit/7178c15b67751b7e9728ac07f0b71725492910b1 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/commit/7178c15b67751b7e9728ac07f0b71725492910b1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea-doc][upstream] New upstream version 2.35
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / hevea-doc Commits: 6c1d75ca by Ralf Treinen at 2021-10-17T21:07:55+02:00 New upstream version 2.35 - - - - - 4 changed files: - browser.html - cutname.html - extras.html - index.html The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/commit/6c1d75cac5009a6243cd80ce636094c105e41120 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea-doc/-/commit/6c1d75cac5009a6243cd80ce636094c105e41120 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea] Pushed new tag upstream/2.35
Ralf Treinen pushed new tag upstream/2.35 at Debian OCaml Maintainers / hevea -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/tree/upstream/2.35 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea] Pushed new tag debian/2.35-1
Ralf Treinen pushed new tag debian/2.35-1 at Debian OCaml Maintainers / hevea -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/tree/debian/2.35-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea][master] 9 commits: New upstream version 2.35
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / hevea Commits: ba9b1359 by Ralf Treinen at 2021-10-02T06:29:36+02:00 New upstream version 2.35 - - - - - 1e973b4c by Ralf Treinen at 2021-10-02T06:29:36+02:00 upstream 2.35 - - - - - 1be5d482 by Ralf Treinen at 2021-10-02T06:29:36+02:00 debian/watch version 4 - - - - - 63f04fdf by Ralf Treinen at 2021-10-02T06:29:36+02:00 rule-requires-root=no - - - - - 3b9d3749 by Ralf Treinen at 2021-10-02T06:29:36+02:00 standards-version 4.6.0 - - - - - 8895c92e by Ralf Treinen at 2021-10-02T06:29:36+02:00 DH compat level 13 - - - - - 4a57bcec by Ralf Treinen at 2021-10-17T20:02:09+02:00 add upstream meta data - - - - - 151b7664 by Ralf Treinen at 2021-10-17T20:09:38+02:00 add patch to fix typos - - - - - d589772b by Ralf Treinen at 2021-10-17T20:09:49+02:00 convert iso8859-1 to utf8 - - - - - 30 changed files: - CHANGES - Makefile - README - amsmath.hva - articlecommon.hva - babel.hva - bookcommon.hva - + bugs/.gitignore - bugs/011/txt.tex - + bugs/012/txt.tex - + bugs/012/zyva.sh - + bugs/013/bug.tex - debian/changelog - debian/control - + debian/patches/iso8859-to-utf8 - debian/patches/series - + debian/patches/typos - + debian/upstream/metadata - debian/watch - esponja.ml - + examples/.gitignore - examples/Makefile - + examples/boxes.tex - − examples/hevea.sty - + examples/hevea.sty - examples/index.tex - hacha.ml - html.ml - html/book.hva - html/hevea.hva The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/compare/d1d71af24cc249e4b133153da91f9424576cfdac...d589772b7e347e66c88ce389521b5192166b219a -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/compare/d1d71af24cc249e4b133153da91f9424576cfdac...d589772b7e347e66c88ce389521b5192166b219a You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea][pristine-tar] pristine-tar data for hevea_2.35.orig.tar.gz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / hevea Commits: e249a763 by Ralf Treinen at 2021-10-02T06:05:31+02:00 pristine-tar data for hevea_2.35.orig.tar.gz - - - - - 2 changed files: - + hevea_2.35.orig.tar.gz.delta - + hevea_2.35.orig.tar.gz.id Changes: = hevea_2.35.orig.tar.gz.delta = Binary files /dev/null and b/hevea_2.35.orig.tar.gz.delta differ = hevea_2.35.orig.tar.gz.id = @@ -0,0 +1 @@ +f72e3b337f43dd53a966f1fa918d3827c68eb0d7 View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/commit/e249a76300e46b48dd5246c526a8670587420d65 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/commit/e249a76300e46b48dd5246c526a8670587420d65 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/hevea][upstream] New upstream version 2.35
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / hevea Commits: cd013282 by Ralf Treinen at 2021-10-02T06:05:28+02:00 New upstream version 2.35 - - - - - 30 changed files: - CHANGES - Makefile - README - amsmath.hva - articlecommon.hva - babel.hva - bookcommon.hva - + bugs/.gitignore - bugs/011/txt.tex - + bugs/012/txt.tex - + bugs/012/zyva.sh - + bugs/013/bug.tex - esponja.ml - + examples/.gitignore - examples/Makefile - + examples/boxes.tex - − examples/hevea.sty - + examples/hevea.sty - examples/index.tex - hacha.ml - html.ml - html/book.hva - html/hevea.hva - + html/lang.hva - htmlCommon.ml - htmlMath.ml - hyperref.hva - + hyphenat.hva - + imakeidx.hva - index.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/commit/cd01328245319d0ec9792a5fa25e6c7b2b7590c4 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/-/commit/cd01328245319d0ec9792a5fa25e6c7b2b7590c4 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/morbig] Pushed new tag debian/0.10.4-5
Ralf Treinen pushed new tag debian/0.10.4-5 at Debian OCaml Maintainers / morbig -- View it on GitLab: https://salsa.debian.org/ocaml-team/morbig/-/tree/debian/0.10.4-5 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/menhir] Pushed new tag upstream/20210929
Ralf Treinen pushed new tag upstream/20210929 at Debian OCaml Maintainers / menhir -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/tree/upstream/20210929 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/menhir] Pushed new tag debian/20210929-1
Ralf Treinen pushed new tag debian/20210929-1 at Debian OCaml Maintainers / menhir -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/tree/debian/20210929-1 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/menhir][upstream] New upstream version 20210929
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / menhir Commits: dba9a5d8 by Ralf Treinen at 2021-10-02T00:09:05+02:00 New upstream version 20210929 - - - - - 30 changed files: - LICENSE - check-tarball.sh - + compile-ocaml.sh - 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 - dune-project - − fix/Makefile - − fix/README.md - − fix/TODO.md - − fix/headers/library-header - fix/src/Fix.ml → fix/src/Vendored_fix.ml - fix/src/dune - fix/fix.opam → fix/vendored_fix.opam - lib/Engine.ml - + pprint/.exclude - + pprint/AUTHORS - + pprint/CHANGES.md - + pprint/LICENSE - + pprint/dune-project - + pprint/src/PPrintCombinators.ml - + pprint/src/PPrintCombinators.mli - + pprint/src/PPrintEngine.ml - + pprint/src/PPrintEngine.mli The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/commit/dba9a5d88c823101d30cffd0cc98dfce70a82d2d -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/commit/dba9a5d88c823101d30cffd0cc98dfce70a82d2d You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20210929.orig.tar.gz
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / menhir Commits: b4c9bed4 by Ralf Treinen at 2021-10-02T00:00:54+02:00 pristine-tar data for menhir_20210929.orig.tar.gz - - - - - 2 changed files: - + menhir_20210929.orig.tar.gz.delta - + menhir_20210929.orig.tar.gz.id Changes: = menhir_20210929.orig.tar.gz.delta = Binary files /dev/null and b/menhir_20210929.orig.tar.gz.delta differ = menhir_20210929.orig.tar.gz.id = @@ -0,0 +1 @@ +f3f99b33896483a5a8814d2483829f224bec9a9e View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/commit/b4c9bed4d3cdc7f3f598ea0e9e0234938aa22771 -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/commit/b4c9bed4d3cdc7f3f598ea0e9e0234938aa22771 You're receiving this email because of your account on salsa.debian.org.
[Git][ocaml-team/menhir][master] 6 commits: New upstream version 20210929
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / menhir Commits: 01d2cf62 by Ralf Treinen at 2021-10-01T22:34:02+02:00 New upstream version 20210929 - - - - - c0275a87 by Ralf Treinen at 2021-10-01T22:34:05+02:00 Update upstream source from tag upstream/20210929 Update to upstream version 20210929 with Debian dir f4029dad397eabca21054cd7223d4e26b3c9ff82 - - - - - 0a1dabad by Ralf Treinen at 2021-10-01T22:35:35+02:00 new upstream 20210929 - - - - - 17c558e3 by Ralf Treinen at 2021-10-01T22:55:48+02:00 fix file patterns in debian/copyright - - - - - b8c9179e by Ralf Treinen at 2021-10-01T23:01:14+02:00 d/copyright: drop some licences - - - - - 099bea61 by Ralf Treinen at 2021-10-01T23:03:40+02:00 standards version 4.6.0 - - - - - 30 changed files: - LICENSE - check-tarball.sh - + compile-ocaml.sh - debian/changelog - debian/control - debian/copyright - 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 - dune-project - − fix/Makefile - − fix/README.md - − fix/TODO.md - − fix/headers/library-header - fix/src/Fix.ml → fix/src/Vendored_fix.ml - fix/src/dune - fix/fix.opam → fix/vendored_fix.opam - lib/Engine.ml - + pprint/.exclude - + pprint/AUTHORS - + pprint/CHANGES.md - + pprint/LICENSE - + pprint/dune-project - + pprint/src/PPrintCombinators.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/27dd7a6358f69ed3682a3bc179c97f51ce01ab93...099bea6162cc4c02125f8cb9002a66e4cd843e79 -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/27dd7a6358f69ed3682a3bc179c97f51ce01ab93...099bea6162cc4c02125f8cb9002a66e4cd843e79 You're receiving this email because of your account on salsa.debian.org.