Filename Modification time Size 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.orig.tar.gz 2023-12-26 18:17 CET 41 KiB coq-extructures_0.5.0-1build6.debian.tar.xz 2025-02-19 08:52 CET 2548 B coq-extructures_0.5.0-1build6.dsc 2025-02-19 08:52 CET 2165 B coq-extructures_0.5.0-1build10.debian.tar.xz 2025-08-31 21:42 CEST 2616 B coq-extructures_0.5.0-1build10.dsc 2025-08-31 21:42 CEST 2169 B coq-extructures_0.5.0-1build13.debian.tar.xz 2026-01-05 00:06 CET 2668 B coq-extructures_0.5.0-1build13.dsc 2026-01-05 00:06 CET 2169 B coq-extructures_0.5.0-1build14.debian.tar.xz 2026-01-28 01:59 CET 2676 B coq-extructures_0.5.0-1build14.dsc 2026-01-28 01:59 CET 2169 B coq-extructures_0.5.0-1build15.debian.tar.xz 2026-03-08 18:18 CET 2720 B coq-extructures_0.5.0-1build15.dsc 2026-03-08 18:18 CET 2169 B coq-extructures_0.5.0.orig.tar.gz 2024-12-19 00:41 CET 42 KiB libcoq-extructures_0.4.0-1build5_amd64.deb 2024-04-09 08:03 CEST 715 KiB libcoq-extructures_0.5.0-1build6_amd64.deb 2025-02-20 10:57 CET 823 KiB libcoq-extructures_0.5.0-1build10_amd64.deb 2025-09-02 10:36 CEST 821 KiB libcoq-extructures_0.5.0-1build13_amd64.deb 2026-01-06 09:32 CET 821 KiB libcoq-extructures_0.5.0-1build13_amd64v3.deb 2026-01-06 09:32 CET 821 KiB libcoq-extructures_0.5.0-1build14_amd64.deb 2026-01-31 09:17 CET 821 KiB libcoq-extructures_0.5.0-1build14_amd64v3.deb 2026-01-31 09:17 CET 821 KiB libcoq-extructures_0.5.0-1build15_amd64.deb 2026-03-08 18:19 CET 822 KiB libcoq-extructures_0.5.0-1build15_amd64v3.deb 2026-03-08 18:19 CET 822 KiB
