Commit 6df193a4bf9327ec3043f7857cd04f588f407167 - coq

Prepare for upload Julien Puydt 1 year, 11 months ago

1 changed file(s) with 5 addition(s) and 5 deletion(s). Raw diff Collapse all Expand all

-5

debian/changelog less more

0		coq (8.15.2+dfsg-1) UNRELEASED; urgency=medium
1
2		* New upstream release.
3
4		-- Julien Puydt <jpuydt@debian.org> Tue, 31 May 2022 18:00:57 +0200
	0	coq (8.15.2+dfsg-1) unstable; urgency=medium
	1
	2	* New upstream release.
	3
	4	-- Julien Puydt <jpuydt@debian.org> Tue, 31 May 2022 21:39:53 +0200
5	5
6	6	coq (8.15.1+dfsg-2) unstable; urgency=medium
7	7