Index of /by-release/changes-files/ubuntu/c/coq-ext-lib

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-ext-lib_0.11.6-1_source.changes.bz2	2022-07-08 19:49	768
	coq-ext-lib_0.11.6-2_source.changes.bz2	2022-07-17 12:07	629
	coq-ext-lib_0.11.7-1_source.changes.bz2	2022-08-22 15:08	747
	coq-ext-lib_0.11.7-1build3_source.changes.bz2	2022-12-07 04:37	681
	coq-ext-lib_0.11.7-2build1_source.changes.bz2	2023-01-30 02:36	712
	coq-ext-lib_0.11.7-2build2_source.changes.bz2	2023-02-28 18:40	664
	coq-ext-lib_0.11.8-1_source.changes.bz2	2023-06-25 19:10	770
	coq-ext-lib_0.11.8-1build1_source.changes.bz2	2023-07-31 09:38	663
	coq-ext-lib_0.11.8-1build3_source.changes.bz2	2023-11-25 09:37	683
	coq-ext-lib_0.12.0-1build1_source.changes.bz2	2024-01-30 05:06	817
	coq-ext-lib_0.12.0-1build2_source.changes.bz2	2024-03-29 09:18	698
	coq-ext-lib_0.12.0-1build3_source.changes.bz2	2024-04-02 15:57	696
	coq-ext-lib_0.12.0-1build4_source.changes.bz2	2024-04-10 11:06	705
	coq-ext-lib_0.12.1-1build2_source.changes.bz2	2024-05-21 03:36	709
	coq-ext-lib_0.12.1-1build3_source.changes.bz2	2024-06-17 23:36	671
	coq-ext-lib_0.12.1-2_source.changes.bz2	2024-08-04 03:37	652
	coq-ext-lib_0.12.1-2build1_source.changes.bz2	2024-08-06 02:36	661
	coq-ext-lib_0.12.1-2build4_source.changes.bz2	2024-09-12 12:54	703
	coq-ext-lib_0.12.2-1build1_source.changes.bz2	2024-11-27 08:36	696
	coq-ext-lib_0.13.0-1_source.changes.bz2	2025-01-11 01:06	769
	coq-ext-lib_0.13.0-1build3_source.changes.bz2	2025-02-21 23:45	701
	coq-ext-lib_0.13.0-1build4_source.changes	2025-07-03 01:52	1.1K