[Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-2

Julien Puydt pushed new tag debian/8.14.0+dfsg-2 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.14.0+dfsg-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-3

Julien Puydt pushed new tag debian/8.14.0+dfsg-3 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.14.0+dfsg-3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-5

Julien Puydt pushed new tag debian/8.14.0+dfsg-5 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.14.0+dfsg-5 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-6

Julien Puydt pushed new tag debian/8.14.0+dfsg-6 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.14.0+dfsg-6 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-4

Julien Puydt pushed new tag debian/8.14.0+dfsg-4 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.14.0+dfsg-4 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag upstream/8.14.0+dfsg

Julien Puydt pushed new tag upstream/8.14.0+dfsg at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/upstream/8.14.0+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-1

Julien Puydt pushed new tag debian/8.14.0+dfsg-1 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.14.0+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][master] 5 commits: Rework things to simplify updating

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq Commits: a99782b9 by Julien Puydt at 2021-11-05T21:51:01+01:00 Rework things to simplify updating - - - - - 7af584de by Julien Puydt at 2021-11-05T21:51:30+01:00 New upstream version 8.14.0+dfsg - - - - - 2230da18 by

[Git][ocaml-team/coq][upstream] New upstream version 8.14.0+dfsg

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq Commits: 7af584de by Julien Puydt at 2021-11-05T21:51:30+01:00 New upstream version 8.14.0+dfsg - - - - - 24 changed files: - .github/CODEOWNERS - .github/ISSUE_TEMPLATE.md - .github/PULL_REQUEST_TEMPLATE.md -

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.14.1+dfsg.orig.tar.xz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq Commits: 31b972d4 by Julien Puydt at 2021-12-11T10:12:52+01:00 pristine-tar data for coq_8.14.1+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_8.14.1+dfsg.orig.tar.xz.delta - + coq_8.14.1+dfsg.orig.tar.xz.id

[Git][ocaml-team/coq][master] 4 commits: New upstream version 8.14.1+dfsg

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq Commits: 08b1c450 by Julien Puydt at 2021-12-11T10:12:33+01:00 New upstream version 8.14.1+dfsg - - - - - 68c9e112 by Julien Puydt at 2021-12-11T10:12:52+01:00 Update upstream source from tag upstream/8.14.1+dfsg Update to

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.13.0-2

Julien Puydt pushed new tag debian/1.13.0-2 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.13.0-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.14.1+dfsg-2

Julien Puydt pushed new tag debian/8.14.1+dfsg-2 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.14.1+dfsg-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][master] 2 commits: Make the ocaml libs available in /usr/lib/ocaml

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq Commits: 5aafdc03 by Julien Puydt at 2022-01-17T08:20:12+01:00 Make the ocaml libs available in /usr/lib/ocaml - - - - - e0160c4d by Julien Puydt at 2022-01-17T08:54:30+01:00 Prepare for upload - - - - - 2 changed

[Git][ocaml-team/coq] Pushed new tag debian/8.15.0+dfsg-1

Julien Puydt pushed new tag debian/8.15.0+dfsg-1 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.15.0+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag upstream/8.15.0+dfsg

Julien Puydt pushed new tag upstream/8.15.0+dfsg at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/upstream/8.15.0+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][upstream] New upstream version 8.15.0+dfsg

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq Commits: 711e564b by Julien Puydt at 2022-01-17T10:01:07+01:00 New upstream version 8.15.0+dfsg - - - - - 30 changed files: - .github/CODEOWNERS - .github/PULL_REQUEST_TEMPLATE.md - .github/workflows/ci.yml - +

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.0+dfsg.orig.tar.xz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq Commits: d6313718 by Julien Puydt at 2022-01-17T10:01:16+01:00 pristine-tar data for coq_8.15.0+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_8.15.0+dfsg.orig.tar.xz.delta - + coq_8.15.0+dfsg.orig.tar.xz.id

[Git][ocaml-team/coq][master] 6 commits: Drop some Files-Excluded from d/copyright (removed upstream)

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq Commits: 0ebb8840 by Julien Puydt at 2022-01-17T10:00:36+01:00 Drop some Files-Excluded from d/copyright (removed upstream) - - - - - 03d729d5 by Julien Puydt at 2022-01-17T10:19:52+01:00 New upstream version 8.15.0+dfsg -

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-6

Julien Puydt pushed new tag debian/1.14.0-6 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-6 You're receiving this email because of your account on salsa.debian.org.

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

Julien Puydt pushed to branch master at Debian OCaml Maintainers / menhir Commits: dba9a5d8 by Ralf Treinen at 2021-10-02T00:09:05+02:00 New upstream version 20210929 - - - - - d8c37c89 by Julien Puydt at 2022-03-17T13:26:29+01:00 Rewrite d/watch and modify d/copyright so pre-built

[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20220210+ds.orig.tar.xz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / menhir Commits: d29a0ace by Julien Puydt at 2022-03-17T13:31:44+01:00 pristine-tar data for menhir_20220210+ds.orig.tar.xz - - - - - 2 changed files: - + menhir_20220210+ds.orig.tar.xz.delta - +

[Git][ocaml-team/menhir][upstream] New upstream version 20220210+ds

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / menhir Commits: 596ecf2f by Julien Puydt at 2022-03-17T13:31:43+01:00 New upstream version 20220210+ds - - - - - 30 changed files: - .gitignore - + Makefile.image - + benchmarks/Makefile - + benchmarks/README.md - +

[Git][ocaml-team/menhir][master] Prepare for upload (experimental)

Julien Puydt pushed to branch master at Debian OCaml Maintainers / menhir Commits: b35030e0 by Julien Puydt at 2022-03-18T10:44:52+01:00 Prepare for upload (experimental) - - - - - 1 changed file: - debian/changelog Changes: = debian/changelog

[Git][ocaml-team/menhir] Pushed new tag debian/20220210+ds-1

Julien Puydt pushed new tag debian/20220210+ds-1 at Debian OCaml Maintainers / menhir -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/tree/debian/20220210+ds-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir] Pushed new tag upstream/20220210+ds

Julien Puydt pushed new tag upstream/20220210+ds at Debian OCaml Maintainers / menhir -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/tree/upstream/20220210+ds You're receiving this email because of your account on salsa.debian.org.

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

Julien Puydt pushed new tag debian/8.15.0-2 at Debian OCaml Maintainers / coq-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/tree/debian/8.15.0-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.0-3

Julien Puydt pushed new tag debian/8.15.0-3 at Debian OCaml Maintainers / coq-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/tree/debian/8.15.0-3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag upstream/8.15.1+dfsg

Julien Puydt pushed new tag upstream/8.15.1+dfsg at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/upstream/8.15.1+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.1+dfsg.orig.tar.xz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq Commits: 750a3fbd by Julien Puydt at 2022-03-22T17:38:03+01:00 pristine-tar data for coq_8.15.1+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_8.15.1+dfsg.orig.tar.xz.delta - + coq_8.15.1+dfsg.orig.tar.xz.id

[Git][ocaml-team/coq] Pushed new tag debian/8.15.1+dfsg-1

Julien Puydt pushed new tag debian/8.15.1+dfsg-1 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.15.1+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][upstream] New upstream version 8.15.1+dfsg

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq Commits: f8715fec by Julien Puydt at 2022-03-22T17:37:51+01:00 New upstream version 8.15.1+dfsg - - - - - 30 changed files: - .github/workflows/ci.yml → .github/workflows/ci-macos.yml - +

[Git][ocaml-team/coq][master] 7 commits: New upstream version 8.15.0+dfsg

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq Commits: 711e564b by Julien Puydt at 2022-01-17T10:01:07+01:00 New upstream version 8.15.0+dfsg - - - - - 02ef96c2 by Julien Puydt at 2022-03-22T17:37:31+01:00 Better d/watch - - - - - f8715fec by Julien Puydt at

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-7

Julien Puydt pushed new tag debian/1.14.0-7 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-7 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-8

Julien Puydt pushed new tag debian/1.14.0-8 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-8 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect][master] 2 commits: Change b-dep from obsolete lua5.1 to lua5.4

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect Commits: c8e4a1ca by Julien Puydt at 2022-03-23T15:32:09+01:00 Change b-dep from obsolete lua5.1 to lua5.4 - - - - - 57f0b69a by Julien Puydt at 2022-03-23T16:45:08+01:00 Prepare for upload - - - - - 2 changed

[Git][ocaml-team/coq-doc][upstream] New upstream version 8.15.1

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc Commits: dca29b0c by Julien Puydt at 2022-03-30T08:46:26+02:00 New upstream version 8.15.1 - - - - - 30 changed files: - .github/workflows/ci.yml → .github/workflows/ci-macos.yml - +

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

Julien Puydt pushed new tag debian/8.15.1-1 at Debian OCaml Maintainers / coq-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/tree/debian/8.15.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.15.1.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc Commits: 7ed146e3 by Julien Puydt at 2022-03-30T08:46:47+02:00 pristine-tar data for coq-doc_8.15.1.orig.tar.gz - - - - - 2 changed files: - + coq-doc_8.15.1.orig.tar.gz.delta - + coq-doc_8.15.1.orig.tar.gz.id

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

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc Commits: dca29b0c by Julien Puydt at 2022-03-30T08:46:26+02:00 New upstream version 8.15.1 - - - - - 3cb611eb by Julien Puydt at 2022-03-30T08:46:47+02:00 Update upstream source from tag upstream/8.15.1 Update to

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

Julien Puydt pushed new tag upstream/8.15.1 at Debian OCaml Maintainers / coq-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/tree/upstream/8.15.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.15.0.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / aac-tactics Commits: 6aca4ff6 by Julien Puydt at 2022-04-03T21:28:00+02:00 pristine-tar data for aac-tactics_8.15.0.orig.tar.gz - - - - - 2 changed files: - + aac-tactics_8.15.0.orig.tar.gz.delta - +

[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.15.1.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / aac-tactics Commits: d33e3826 by Julien Puydt at 2022-04-03T21:39:09+02:00 pristine-tar data for aac-tactics_8.15.1.orig.tar.gz - - - - - 2 changed files: - + aac-tactics_8.15.1.orig.tar.gz.delta - +

[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.15.1

Julien Puydt pushed new tag upstream/8.15.1 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/upstream/8.15.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-1

Julien Puydt pushed new tag debian/8.15.1-1 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/debian/8.15.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.0-1

Julien Puydt pushed new tag debian/8.15.0-1 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/debian/8.15.0-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.15.0

Julien Puydt pushed new tag upstream/8.15.0 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/upstream/8.15.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.15.0+dfsg-2

Julien Puydt pushed new tag debian/8.15.0+dfsg-2 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.15.0+dfsg-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect][master] 2 commits: Make the package adapt to coq's layout

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect Commits: 56876c50 by Julien Puydt at 2022-02-05T08:45:48+01:00 Make the package adapt to coqs layout - - - - - 17902e20 by Julien Puydt at 2022-02-05T09:55:27+01:00 Make ssreflect adapt to coqs library layout - - -

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-2

Julien Puydt pushed new tag debian/1.14.0-2 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect][master] 2 commits: Depend on the coq library under its new name

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect Commits: fb52239e by Julien Puydt at 2022-02-06T08:55:13+01:00 Depend on the coq library under its new name - - - - - 2beb6080 by Julien Puydt at 2022-02-06T08:56:04+01:00 Prepare for upload - - - - - 2 changed

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-3

Julien Puydt pushed new tag debian/1.14.0-3 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-4

Julien Puydt pushed new tag debian/1.14.0-4 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-4 You're receiving this email because of your account on salsa.debian.org.

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

Julien Puydt pushed new tag debian/8.15.0-1 at Debian OCaml Maintainers / coq-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/tree/debian/8.15.0-1 You're receiving this email because of your account on salsa.debian.org.

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

Julien Puydt pushed new tag upstream/8.15.0 at Debian OCaml Maintainers / coq-doc -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/tree/upstream/8.15.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq-doc][upstream] New upstream version 8.15.0

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc Commits: f70ccf62 by Julien Puydt at 2022-02-06T21:35:10+01:00 New upstream version 8.15.0 - - - - - 13 changed files: - − .gitattributes - + .github/CODEOWNERS - + .github/ISSUE_TEMPLATE.md - +

[Git][ocaml-team/coq-doc][master] 10 commits: Switch from debian/compat to depend on debhelper-compat (and level 13)

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc Commits: 8152918d by Julien Puydt at 2022-02-06T21:32:28+01:00 Switch from debian/compat to depend on debhelper-compat (and level 13) - - - - - ee49c538 by Julien Puydt at 2022-02-06T21:32:58+01:00 Bump

[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.15.0.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc Commits: 99bab276 by Julien Puydt at 2022-02-06T21:35:28+01:00 pristine-tar data for coq-doc_8.15.0.orig.tar.gz - - - - - 2 changed files: - + coq-doc_8.15.0.orig.tar.gz.delta - + coq-doc_8.15.0.orig.tar.gz.id

[Git][ocaml-team/ssreflect][master] 2 commits: Fix libcoq-mathcomp's doc-base

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect Commits: d7d807bb by Julien Puydt at 2022-02-06T18:14:00+01:00 Fix libcoq-mathcomps doc-base - - - - - 1d8c6351 by Julien Puydt at 2022-02-06T18:14:09+01:00 Prepare for upload - - - - - 2 changed files: -

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-5

Julien Puydt pushed new tag debian/1.14.0-5 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-5 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-1

Julien Puydt pushed new tag debian/1.14.0-1 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.14.0.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / ssreflect Commits: 7a78eef6 by Julien Puydt at 2022-01-22T08:33:31+01:00 pristine-tar data for ssreflect_1.14.0.orig.tar.gz - - - - - 2 changed files: - + ssreflect_1.14.0.orig.tar.gz.delta - +

[Git][ocaml-team/ssreflect] Pushed new tag upstream/1.14.0

Julien Puydt pushed new tag upstream/1.14.0 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/upstream/1.14.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-2

Julien Puydt pushed new tag debian/8.15.1-2 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/debian/8.15.1-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.4.1.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-atd Commits: 03cb2a30 by Julien Puydt at 2022-04-07T10:18:00+02:00 pristine-tar data for ocaml-atd_2.4.1.orig.tar.gz - - - - - 2 changed files: - + ocaml-atd_2.4.1.orig.tar.gz.delta - +

[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.4.1-1

Julien Puydt pushed new tag debian/2.4.1-1 at Debian OCaml Maintainers / ocaml-atd -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-atd/-/tree/debian/2.4.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.4.1

Julien Puydt pushed new tag upstream/2.4.1 at Debian OCaml Maintainers / ocaml-atd -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-atd/-/tree/upstream/2.4.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/alt-ergo][master] Fix d/watch

Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo Commits: ec83c5d0 by Julien Puydt at 2022-04-07T13:06:24+02:00 Fix d/watch - - - - - 2 changed files: - debian/changelog - debian/watch Changes: = debian/changelog

[Git][ocaml-team/ssreflect][master] 3 commits: New upstream version 2.1.0

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect Commits: 2248765d by Julien Puydt at 2023-11-04T11:47:42+01:00 New upstream version 2.1.0 - - - - - 6d57e579 by Julien Puydt at 2023-11-04T11:47:49+01:00 Update upstream source from tag upstream/2.1.0 Update to

[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.1.0.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / ssreflect Commits: 3d03972a by Julien Puydt at 2023-11-04T11:47:48+01:00 pristine-tar data for ssreflect_2.1.0.orig.tar.gz - - - - - 2 changed files: - + ssreflect_2.1.0.orig.tar.gz.delta - +

[Git][ocaml-team/ssreflect][upstream] New upstream version 2.1.0

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect Commits: 2248765d by Julien Puydt at 2023-11-04T11:47:42+01:00 New upstream version 2.1.0 - - - - - 29 changed files: - .nix/config.nix - .nix/coq-nix-toolbox.nix - − .nix/coq-overlays/coquelicot/default.nix - −

[Git][ocaml-team/ssreflect] Pushed new tag upstream/2.1.0

Julien Puydt pushed new tag upstream/2.1.0 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/upstream/2.1.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.0.0.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / ssreflect Commits: b08f0564 by Julien Puydt at 2023-09-27T08:56:55+02:00 pristine-tar data for ssreflect_2.0.0.orig.tar.gz - - - - - 2 changed files: - + ssreflect_2.0.0.orig.tar.gz.delta - +

[Git][ocaml-team/ssreflect][master] 3 commits: New upstream version 2.0.0

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect Commits: 9a3a06ee by Julien Puydt at 2023-09-27T08:56:50+02:00 New upstream version 2.0.0 - - - - - d31c225d by Julien Puydt at 2023-09-27T08:56:55+02:00 Update upstream source from tag upstream/2.0.0 Update to

[Git][ocaml-team/ssreflect][upstream] New upstream version 2.0.0

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect Commits: 9a3a06ee by Julien Puydt at 2023-09-27T08:56:50+02:00 New upstream version 2.0.0 - - - - - 23 changed files: - .nix/config.nix - + .nix/coq-overlays/coquelicot/default.nix - +

[Git][ocaml-team/ssreflect] Pushed new tag upstream/2.0.0

Julien Puydt pushed new tag upstream/2.0.0 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/upstream/2.0.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][master] 9 commits: Fix a patch metadata

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq Commits: 688786a1 by Julien Puydt at 2023-09-26T11:57:16+02:00 Fix a patch metadata - - - - - 780ff73f by Julien Puydt at 2023-09-26T11:57:56+02:00 New upstream version 8.18.0+dfsg - - - - - 86680b1e by Julien Puydt at

[Git][ocaml-team/coq][upstream] New upstream version 8.18.0+dfsg

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq Commits: 780ff73f by Julien Puydt at 2023-09-26T11:57:56+02:00 New upstream version 8.18.0+dfsg - - - - - 30 changed files: - .github/workflows/ci-macos.yml - .gitlab-ci.yml - CODE_OF_CONDUCT.md - CONTRIBUTING.md -

[Git][ocaml-team/coq] Pushed new tag upstream/8.18.0+dfsg

Julien Puydt pushed new tag upstream/8.18.0+dfsg at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/upstream/8.18.0+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.18.0+dfsg.orig.tar.xz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq Commits: 3591c332 by Julien Puydt at 2023-09-26T11:58:06+02:00 pristine-tar data for coq_8.18.0+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_8.18.0+dfsg.orig.tar.xz.delta - + coq_8.18.0+dfsg.orig.tar.xz.id

[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.18.0.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / aac-tactics Commits: b24ecf21 by Julien Puydt at 2023-09-26T14:44:45+02:00 pristine-tar data for aac-tactics_8.18.0.orig.tar.gz - - - - - 2 changed files: - + aac-tactics_8.18.0.orig.tar.gz.delta - +

[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.18.0

Julien Puydt pushed new tag upstream/8.18.0 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/upstream/8.18.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/alt-ergo][master] Prepare for upload

Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo Commits: 445134a7 by Julien Puydt at 2022-04-22T11:07:53+02:00 Prepare for upload - - - - - 1 changed file: - debian/changelog Changes: = debian/changelog

[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-1

Julien Puydt pushed new tag debian/2.4.1-1 at Debian OCaml Maintainers / alt-ergo -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/tree/debian/2.4.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/alt-ergo][master] 11 commits: New upstream version 2.4.1

Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo Commits: 0637ce5a by Julien Puydt at 2022-04-07T13:09:58+02:00 New upstream version 2.4.1 - - - - - 82154412 by Julien Puydt at 2022-04-07T13:10:04+02:00 Update upstream source from tag upstream/2.4.1 Update to

[Git][ocaml-team/alt-ergo][upstream] New upstream version 2.4.1

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / alt-ergo Commits: 0637ce5a by Julien Puydt at 2022-04-07T13:09:58+02:00 New upstream version 2.4.1 - - - - - 27 changed files: - + .github/workflows/README.md - + .github/workflows/build_docker.yml - +

[Git][ocaml-team/ocaml-atd][master] 5 commits: Fix d/watch

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ocaml-atd Commits: ca4f38a6 by Julien Puydt at 2022-03-17T18:34:41+01:00 Fix d/watch - - - - - 6f576565 by Julien Puydt at 2022-03-17T18:34:45+01:00 New upstream version 2.3.3 - - - - - 73f961dd by Julien Puydt at

[Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.3.3

Julien Puydt pushed new tag upstream/2.3.3 at Debian OCaml Maintainers / ocaml-atd -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-atd/-/tree/upstream/2.3.3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.3.3.orig.tar.gz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-atd Commits: 486693fd by Julien Puydt at 2022-03-17T18:11:20+01:00 pristine-tar data for ocaml-atd_2.3.3.orig.tar.gz - - - - - 2 changed files: - + ocaml-atd_2.3.3.orig.tar.gz.delta - +

[Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.3.3

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ocaml-atd Commits: fb543992 by Julien Puydt at 2022-03-17T18:11:14+01:00 New upstream version 2.3.3 - - - - - 30 changed files: - + .circleci/config.yml - + .circleci/setup-opam - + .circleci/setup-system - + .dockerignore

[Git][ocaml-team/coq] Pushed new tag debian/8.15.2+dfsg-1

Julien Puydt pushed new tag debian/8.15.2+dfsg-1 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.15.2+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.15.1+dfsg-2

Julien Puydt pushed new tag debian/8.15.1+dfsg-2 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/debian/8.15.1+dfsg-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag upstream/8.15.2+dfsg

Julien Puydt pushed new tag upstream/8.15.2+dfsg at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/tree/upstream/8.15.2+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.2+dfsg.orig.tar.xz

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq Commits: feb74b46 by Julien Puydt at 2022-05-31T18:00:49+02:00 pristine-tar data for coq_8.15.2+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_8.15.2+dfsg.orig.tar.xz.delta - + coq_8.15.2+dfsg.orig.tar.xz.id

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-10

Julien Puydt pushed new tag debian/1.14.0-10 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-10 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-4

Julien Puydt pushed new tag debian/8.15.1-4 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/debian/8.15.1-4 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-11

Julien Puydt pushed new tag debian/1.14.0-11 at Debian OCaml Maintainers / ssreflect -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/tree/debian/1.14.0-11 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-5

Julien Puydt pushed new tag debian/8.15.1-5 at Debian OCaml Maintainers / aac-tactics -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/tree/debian/8.15.1-5 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/menhir] Pushed new tag debian/20220210+ds-2

Julien Puydt pushed new tag debian/20220210+ds-2 at Debian OCaml Maintainers / menhir -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/tree/debian/20220210+ds-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/frama-c][master] 3 commits: Add crude depend on libppx-import-ocaml (why does dh-ocaml fail to detect it?)

Julien Puydt pushed to branch master at Debian OCaml Maintainers / frama-c Commits: ee53d15e by Julien Puydt at 2022-06-23T11:01:01+02:00 Add crude depend on libppx-import-ocaml (why does dh-ocaml fail to detect it?) - - - - - 179566bc by Julien Puydt at 2022-06-23T11:40:54+02:00 Add

  1   2   3   4   >