Index of /debian/pool/main/f/flocq/
name
size
date
libcoq-flocq_4.2.2-2_riscv64.deb
3.30M
2026-07-28 15:34:07
libcoq-flocq_4.2.2-2_loong64.deb
3.30M
2026-07-28 11:06:13
libcoq-flocq_4.2.2-2_i386.deb
3.30M
2026-07-28 10:40:59
libcoq-flocq_4.2.2-2+b1_amd64.deb
3.31M
2026-07-28 10:35:58
libcoq-flocq_4.2.2-2_armhf.deb
3.30M
2026-07-28 10:30:50
libcoq-flocq_4.2.2-2_s390x.deb
3.31M
2026-07-28 10:20:43
libcoq-flocq_4.2.2-2_ppc64el.deb
3.31M
2026-07-28 10:20:39
libcoq-flocq_4.2.2-2_arm64.deb
3.30M
2026-07-28 10:15:35
flocq_4.2.2-2.debian.tar.xz
2.0K
2026-07-28 09:55:05
flocq_4.2.2-2.dsc
2.0K
2026-07-28 09:55:05
flocq_4.2.2.orig.tar.bz2
322.0K
2026-07-10 15:53:53
libcoq-flocq_4.2.1-1+b4_riscv64.deb
3.27M
2026-06-22 07:14:31
libcoq-flocq_4.2.1-1+b5_arm64.deb
3.27M
2026-06-20 14:50:39
libcoq-flocq_4.2.1-1+b4_s390x.deb
3.27M
2026-06-20 14:50:36
libcoq-flocq_4.2.1-1+b4_ppc64el.deb
3.27M
2026-06-20 14:50:33
libcoq-flocq_4.2.1-1+b5_amd64.deb
3.27M
2026-06-20 14:50:32
libcoq-flocq_4.2.1-1+b2_s390x.deb
3.27M
2025-06-17 08:21:36
libcoq-flocq_4.2.1-1+b2_riscv64.deb
3.27M
2025-06-15 11:30:25
libcoq-flocq_4.2.1-1+b2_ppc64el.deb
3.27M
2025-06-15 10:55:04
libcoq-flocq_4.2.1-1+b2_arm64.deb
3.27M
2025-06-15 10:55:01
libcoq-flocq_4.2.1-1+b2_amd64.deb
3.27M
2025-06-15 10:49:54
flocq_4.2.1-1.debian.tar.xz
1.9K
2025-02-17 16:37:08
flocq_4.2.1-1.dsc
2.0K
2025-02-17 16:37:08
flocq_4.2.1.orig.tar.bz2
323.3K
2025-02-17 16:37:08
libcoq-flocq_4.1.0-3+b1_armhf.deb
3.15M
2023-02-13 05:42:14
libcoq-flocq_4.1.0-3+b1_ppc64el.deb
3.15M
2023-02-13 05:42:10
libcoq-flocq_4.1.0-3+b1_arm64.deb
3.15M
2023-02-13 05:27:04
libcoq-flocq_4.1.0-3+b1_i386.deb
3.15M
2023-02-13 05:26:58
libcoq-flocq_4.1.0-3+b1_amd64.deb
3.15M
2023-02-13 05:26:51
libcoq-flocq_4.1.0-3+b1_s390x.deb
3.15M
2023-02-13 05:16:47
flocq_4.1.0-3.debian.tar.xz
1.5K
2023-01-25 08:53:12
flocq_4.1.0-3.dsc
2.0K
2023-01-25 08:53:12
flocq_4.1.0.orig.tar.bz2
325.3K
2022-06-29 12:40:00