Index of /pub/linux/ubuntu/pool/universe/c/coq-extructures/

Filename	Modification time	Size
coq-extructures_0.3.1-3build2.debian.tar.xz	2023-02-16 19:50 CET	2104 B
coq-extructures_0.3.1-3build2.dsc	2023-02-16 19:50 CET	2165 B
coq-extructures_0.3.1-4build1.debian.tar.xz	2023-07-24 19:37 CEST	2120 B
coq-extructures_0.3.1-4build1.dsc	2023-07-24 19:37 CEST	2165 B
coq-extructures_0.3.1.orig.tar.gz	2022-07-19 01:49 CEST	37 KiB
coq-extructures_0.4.0-1build5.debian.tar.xz	2024-04-08 09:57 CEST	2484 B
coq-extructures_0.4.0-1build5.dsc	2024-04-08 09:57 CEST	2244 B
coq-extructures_0.4.0-3build3.debian.tar.xz	2024-05-21 13:24 CEST	2380 B
coq-extructures_0.4.0-3build3.dsc	2024-05-21 13:24 CEST	2165 B
coq-extructures_0.4.0.orig.tar.gz	2023-12-26 18:17 CET	41 KiB
libcoq-extructures_0.3.1-3build2_amd64.deb	2023-02-16 20:44 CET	654 KiB
libcoq-extructures_0.3.1-4build1_amd64.deb	2023-07-25 21:49 CEST	654 KiB
libcoq-extructures_0.4.0-1build5_amd64.deb	2024-04-09 08:03 CEST	715 KiB
libcoq-extructures_0.4.0-3build3_amd64.deb	2024-05-21 17:48 CEST	761 KiB