Filename Modification time Size flocq_4.1.3-1build4.debian.tar.xz 2024-04-08 09:57 CEST 2008 B flocq_4.1.3-1build4.dsc 2024-04-08 09:57 CEST 2099 B flocq_4.1.3.orig.tar.bz2 2023-12-22 18:26 CET 326 KiB flocq_4.2.1-1build1.debian.tar.xz 2025-02-18 22:25 CET 2016 B flocq_4.2.1-1build1.dsc 2025-02-18 22:25 CET 2020 B flocq_4.2.1-1build2.debian.tar.xz 2025-06-20 15:22 CEST 2084 B flocq_4.2.1-1build2.dsc 2025-06-20 15:22 CEST 2020 B flocq_4.2.1-1build5.debian.tar.xz 2026-03-03 22:25 CET 2168 B flocq_4.2.1-1build5.dsc 2026-03-03 22:25 CET 2020 B flocq_4.2.1-1build6.debian.tar.xz 2026-07-08 17:26 CEST 2196 B flocq_4.2.1-1build6.dsc 2026-07-08 17:26 CEST 2020 B flocq_4.2.1.orig.tar.bz2 2025-02-18 02:39 CET 323 KiB flocq_4.2.2-2.debian.tar.xz 2026-07-28 19:29 CEST 2024 B flocq_4.2.2-2.dsc 2026-07-28 19:29 CEST 2040 B flocq_4.2.2.orig.tar.bz2 2026-07-28 19:29 CEST 322 KiB libcoq-flocq_4.1.3-1build4_amd64.deb 2024-04-08 09:57 CEST 3678 KiB libcoq-flocq_4.2.1-1build1_amd64.deb 2025-02-18 22:25 CET 3782 KiB libcoq-flocq_4.2.1-1build2_amd64.deb 2025-06-20 15:23 CEST 3779 KiB libcoq-flocq_4.2.1-1build2_arm64.deb 2025-06-20 15:24 CEST 3779 KiB libcoq-flocq_4.2.1-1build5_amd64.deb 2026-03-03 22:26 CET 3779 KiB libcoq-flocq_4.2.1-1build5_amd64v3.deb 2026-03-03 22:26 CET 3779 KiB libcoq-flocq_4.2.1-1build5_arm64.deb 2026-03-03 22:27 CET 3779 KiB libcoq-flocq_4.2.1-1build6_amd64.deb 2026-07-08 23:23 CEST 3779 KiB libcoq-flocq_4.2.1-1build6_amd64v3.deb 2026-07-08 23:25 CEST 3779 KiB libcoq-flocq_4.2.1-1build6_arm64.deb 2026-07-08 23:28 CEST 3779 KiB