File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
flocq_4.1.0-3.debian.tar.xz	1.5 KiB	2023-01-25 10:53
flocq_4.2.1-1.debian.tar.xz	1.9 KiB	2025-02-17 18:37
flocq_4.2.1-2.debian.tar.xz	2.0 KiB	2025-10-29 10:59
flocq_4.1.0-3.dsc	2.0 KiB	2023-01-25 10:53
flocq_4.2.1-1.dsc	2.0 KiB	2025-02-17 18:37
flocq_4.2.1-2.dsc	2.0 KiB	2025-10-29 10:59
flocq_4.2.1-3.dsc	2.0 KiB	2025-11-11 20:20
flocq_4.2.1-3.debian.tar.xz	2.0 KiB	2025-11-11 20:20
flocq_4.2.1.orig.tar.bz2	323.3 KiB	2025-02-17 18:37
flocq_4.1.0.orig.tar.bz2	325.3 KiB	2022-06-29 14:40
libcoq-flocq_4.1.0-3+b1_i386.deb	3.2 MiB	2023-02-13 07:26
libcoq-flocq_4.1.0-3+b1_ppc64el.deb	3.2 MiB	2023-02-13 07:42
libcoq-flocq_4.1.0-3+b1_armhf.deb	3.2 MiB	2023-02-13 07:42
libcoq-flocq_4.1.0-3+b1_amd64.deb	3.2 MiB	2023-02-13 07:26
libcoq-flocq_4.1.0-3+b1_arm64.deb	3.2 MiB	2023-02-13 07:27
libcoq-flocq_4.2.1-1+b2_riscv64.deb	3.3 MiB	2025-06-15 13:30
libcoq-flocq_4.2.1-2_ppc64el.deb	3.3 MiB	2025-10-29 14:36
libcoq-flocq_4.2.1-2_arm64.deb	3.3 MiB	2025-10-29 14:21
libcoq-flocq_4.2.1-1+b3_ppc64el.deb	3.3 MiB	2025-12-28 06:25
libcoq-flocq_4.2.1-1+b3_amd64.deb	3.3 MiB	2025-12-28 06:25
libcoq-flocq_4.2.1-1+b2_ppc64el.deb	3.3 MiB	2025-06-15 12:55
libcoq-flocq_4.2.1-1+b2_arm64.deb	3.3 MiB	2025-06-15 12:55
libcoq-flocq_4.2.1-1+b3_riscv64.deb	3.3 MiB	2025-12-28 08:47
libcoq-flocq_4.2.1-1+b3_arm64.deb	3.3 MiB	2025-12-28 06:25
libcoq-flocq_4.2.1-1+b2_amd64.deb	3.3 MiB	2025-06-15 12:49
libcoq-flocq_4.2.1-3_amd64.deb	3.3 MiB	2025-11-11 20:20