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

Filename	Modification time	Size
coq-stdpp_1.8.0-3build2.debian.tar.xz	2023-02-16 19:50 CET	2468 B
coq-stdpp_1.8.0-3build2.dsc	2023-02-16 19:50 CET	2055 B
coq-stdpp_1.8.0-4build1.debian.tar.xz	2023-07-26 07:19 CEST	2488 B
coq-stdpp_1.8.0-4build1.dsc	2023-07-26 07:19 CEST	2055 B
coq-stdpp_1.8.0.orig.tar.gz	2022-08-19 19:34 CEST	249 KiB
coq-stdpp_1.9.0-1build3.debian.tar.xz	2024-04-08 09:57 CEST	2792 B
coq-stdpp_1.9.0-1build3.dsc	2024-04-08 09:57 CEST	2144 B
coq-stdpp_1.9.0.orig.tar.gz	2023-12-22 18:26 CET	291 KiB
coq-stdpp_1.10.0-1build2.debian.tar.xz	2024-05-13 20:39 CEST	2712 B
coq-stdpp_1.10.0-1build2.dsc	2024-05-13 20:39 CEST	2072 B
coq-stdpp_1.10.0.orig.tar.gz	2024-05-02 14:38 CEST	296 KiB
libcoq-stdpp_1.8.0-3build2_amd64.deb	2023-02-16 19:50 CET	4598 KiB
libcoq-stdpp_1.8.0-4build1_amd64.deb	2023-07-26 08:22 CEST	4585 KiB
libcoq-stdpp_1.9.0-1build3_amd64.deb	2024-04-08 09:57 CEST	5127 KiB
libcoq-stdpp_1.10.0-1build2_amd64.deb	2024-05-13 20:40 CEST	5370 KiB