Index of /by-release/changes-files/ubuntu/p/paramcoq

	Name	Last modified	Size	Description
	Parent Directory		-
	paramcoq_1.1.3+coq8.16-2build2_source.changes.bz2	2022-12-07 04:39	789
	paramcoq_1.1.3+coq8.16-3build1_source.changes.bz2	2023-01-30 02:38	724
	paramcoq_1.1.3+coq8.16-3build2_source.changes.bz2	2023-02-28 18:42	673
	paramcoq_1.1.3+coq8.17-1_source.changes.bz2	2023-06-25 19:11	818
	paramcoq_1.1.3+coq8.17-2_source.changes.bz2	2023-07-31 09:39	683
	paramcoq_1.1.3+coq8.17-2build2_source.changes.bz2	2023-11-25 09:47	697
	paramcoq_1.1.3+coq8.18-1_source.changes.bz2	2024-01-30 05:07	811
	paramcoq_1.1.3+coq8.18-1build1_source.changes.bz2	2024-03-29 10:47	712
	paramcoq_1.1.3+coq8.18-1build2_source.changes.bz2	2024-04-10 11:06	710
	paramcoq_1.1.3+coq8.19-1_source.changes.bz2	2024-05-21 03:37	751
	paramcoq_1.1.3+coq8.19-1build1_source.changes.bz2	2024-06-17 23:37	669
	paramcoq_1.1.3+coq8.19-2_source.changes.bz2	2024-08-06 02:36	668
	paramcoq_1.1.3+coq8.19-2build2_source.changes.bz2	2024-09-12 13:21	700
	paramcoq_1.1.3+coq8.20-1_source.changes.bz2	2024-11-27 08:37	761
	paramcoq_1.1.3+coq8.20-1build3_source.changes.bz2	2025-02-21 23:51	734
	paramcoq_1.1.3+coq8.20-1build4_source.changes	2025-07-03 02:07	1.1K
	paramcoq_1.1.3-1_source.changes.bz2	2022-05-16 15:38	759
	paramcoq_1.1.3-2_source.changes.bz2	2022-05-18 14:06	653
	paramcoq_1.1.3-3_source.changes.bz2	2022-05-23 04:04	655
	paramcoq_1.1.3-4_source.changes.bz2	2022-06-03 20:38	648
	paramcoq_1.1.3-5_source.changes.bz2	2022-06-05 17:10	718
	paramcoq_1.1.3-6_source.changes.bz2	2022-06-09 05:37	744
	paramcoq_1.1.3-7_source.changes.bz2	2022-06-12 22:06	675