Index of /by-release/changes-files/ubuntu/c/coq-stdpp

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-stdpp_1.7.0-1_source.changes.bz2	2022-07-09 12:35	744
	coq-stdpp_1.7.0-2_source.changes.bz2	2022-07-23 20:50	638
	coq-stdpp_1.8.0-1_source.changes.bz2	2022-08-20 09:06	739
	coq-stdpp_1.8.0-2build3_source.changes.bz2	2022-12-07 04:37	718
	coq-stdpp_1.8.0-3build1_source.changes.bz2	2023-01-30 02:36	696
	coq-stdpp_1.8.0-3build2_source.changes.bz2	2023-02-28 18:41	651
	coq-stdpp_1.8.0-4_source.changes.bz2	2023-06-25 19:11	626
	coq-stdpp_1.8.0-4build1_source.changes.bz2	2023-07-31 09:38	650
	coq-stdpp_1.8.0-4build3_source.changes.bz2	2023-11-25 09:37	690
	coq-stdpp_1.9.0-1_source.changes.bz2	2024-01-30 05:07	848
	coq-stdpp_1.9.0-1build1_source.changes.bz2	2024-03-29 09:18	702
	coq-stdpp_1.9.0-1build2_source.changes.bz2	2024-04-02 15:57	684
	coq-stdpp_1.9.0-1build3_source.changes.bz2	2024-04-10 11:06	689
	coq-stdpp_1.10.0-1build2_source.changes.bz2	2024-05-21 03:36	727
	coq-stdpp_1.10.0-1build3_source.changes.bz2	2024-06-17 23:36	653
	coq-stdpp_1.10.0-2_source.changes.bz2	2024-08-06 02:36	692
	coq-stdpp_1.10.0-2build3_source.changes.bz2	2024-09-12 12:54	693
	coq-stdpp_1.11.0-1build1_source.changes.bz2	2024-11-27 08:36	687
	coq-stdpp_1.11.0-1build4_source.changes.bz2	2025-02-21 23:45	698
	coq-stdpp_1.11.0-1build5_source.changes	2025-07-03 01:52	1.0K