Index of /by-release/changes-files/ubuntu/c/coq-simple-io

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-simple-io_1.7.0-1ubuntu2_source.changes.bz2	2022-07-19 19:06	722
	coq-simple-io_1.7.0-2ubuntu1_source.changes.bz2	2022-08-22 15:08	796
	coq-simple-io_1.8.0-1ubuntu3_source.changes.bz2	2022-12-07 04:37	868
	coq-simple-io_1.8.0-2ubuntu1_source.changes.bz2	2023-01-30 02:36	794
	coq-simple-io_1.8.0-2ubuntu2_source.changes.bz2	2023-02-28 18:41	660
	coq-simple-io_1.8.0-3ubuntu1_source.changes.bz2	2023-06-25 19:11	817
	coq-simple-io_1.8.0-3ubuntu2_source.changes.bz2	2023-07-31 09:38	658
	coq-simple-io_1.8.0-3ubuntu5_source.changes.bz2	2023-11-25 09:37	718
	coq-simple-io_1.8.0-4ubuntu1_source.changes.bz2	2024-01-30 05:07	888
	coq-simple-io_1.8.0-4ubuntu2_source.changes.bz2	2024-03-29 09:18	699
	coq-simple-io_1.8.0-4ubuntu4_source.changes.bz2	2024-04-10 11:06	748
	coq-simple-io_1.9.0-1_source.changes.bz2	2024-05-07 11:27	784
	coq-simple-io_1.9.0-1build2_source.changes.bz2	2024-05-21 03:36	674
	coq-simple-io_1.9.0-1build3_source.changes.bz2	2024-06-17 23:36	663
	coq-simple-io_1.9.0-2_source.changes.bz2	2024-08-06 02:36	655
	coq-simple-io_1.9.0-2build3_source.changes.bz2	2024-09-12 12:54	697
	coq-simple-io_1.10.0-1build1_source.changes.bz2	2024-11-27 08:36	695
	coq-simple-io_1.10.0-1build2_source.changes.bz2	2025-01-11 01:06	671
	coq-simple-io_1.10.0-1build6_source.changes.bz2	2025-02-21 23:45	711
	coq-simple-io_1.11.0-1_source.changes	2025-05-30 16:08	1.3K
	coq-simple-io_1.11.0-1build1_source.changes	2025-07-03 01:52	1.1K