[Git][ocaml-team/coq][master] Prepare for upload

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq

Commits:

• 18367e09
  by Julien Puydt at 2024-11-20T10:37:32+01:00

  Prepare for upload
  

1 changed file:

• debian/changelog

Changes:

debian/changelog

---

1		-coq (8.20.0+dfsg-1) UNRELEASED; urgency=medium
	1	+coq (8.20.0+dfsg-1) unstable; urgency=medium
2	2
3	3	* New upstream release.
4	4	* Refresh patches.
5	5
6		- -- Julien Puydt <jpuydt@debian.org> Mon, 16 Sep 2024 07:09:52 +0200
	6	+ -- Julien Puydt <jpuydt@debian.org> Wed, 20 Nov 2024 10:37:25 +0100
7	7
8	8	coq (8.19.1+dfsg-3) unstable; urgency=medium
9	9

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help