[Git][ocaml-team/aac-tactics][pristine-tar] 2 commits: pristine-tar data for aac-tactics_9.0.0.orig.tar.gz

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/aac-tactics][pristine-tar] 2 commits: pristine-tar data for aac-tactics_9.0.0.orig.tar.gz
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Wed, 29 Oct 2025 07:02:53 +0000
Message-id: <[🔎] 6901bc1d7ca78_4d4c768d4934526@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / aac-tactics

Commits:

60874522

by Julien Puydt at 2025-10-28T23:48:36+01:00

pristine-tar data for aac-tactics_9.0.0.orig.tar.gz

fa444292

by Julien Puydt at 2025-10-28T23:58:11+01:00

pristine-tar data for aac-tactics_9.0.0.orig.tar.gz

2 changed files:

+ aac-tactics_9.0.0.orig.tar.gz.delta
+ aac-tactics_9.0.0.orig.tar.gz.id

Changes:

aac-tactics_9.0.0.orig.tar.gz.delta

No preview for this file type

aac-tactics_9.0.0.orig.tar.gz.id

1

+c207e492c854a44310dd8463b4e25465ac92544d

Reply to:

Prev by Date: [Git][ocaml-team/aac-tactics][master] 7 commits: Adapt to renaming from Coq to Rocq
Next by Date: [Git][ocaml-team/aac-tactics][upstream] New upstream version 9.0.0
Previous by thread: [Git][ocaml-team/aac-tactics][master] 7 commits: Adapt to renaming from Coq to Rocq
Next by thread: [Git][ocaml-team/aac-tactics][upstream] New upstream version 9.0.0
Index(es):
- Date
- Thread