[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.0.orig.tar.bz2

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.0.orig.tar.bz2
From: "Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>
Date: Wed, 01 Jan 2025 15:06:19 +0000
Message-id: <[🔎] 677559ebb5535_278c8d71591e581385128b@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3

Commits:

566db020
by Ralf Treinen at 2024-12-28T02:05:20+01:00
```
pristine-tar data for why3_1.8.0.orig.tar.bz2
```

2 changed files:

+ why3_1.8.0.orig.tar.bz2.delta
+ why3_1.8.0.orig.tar.bz2.id

Changes:

why3_1.8.0.orig.tar.bz2.delta

No preview for this file type

why3_1.8.0.orig.tar.bz2.id

1

+84ff665688b4c533db8fffb87952b99ae9477b42

Reply to:

Prev by Date: [Git][ocaml-team/why3][upstream] New upstream version 1.8.0
Next by Date: [Git][ocaml-team/eliom][pristine-tar] 2 commits: pristine-tar data for eliom_11.1.0.orig.tar.gz
Previous by thread: [Git][ocaml-team/why3][upstream] New upstream version 1.8.0
Next by thread: [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.0.orig.tar.bz2
Index(es):
- Date
- Thread