Index of /debian/pool/main/f/flocq/
name
size
date
libcoq-flocq_4.2.1-3+b1_amd64.deb
3.30M
2026-02-15 10:22:59
libcoq-flocq_4.2.1-3_riscv64.deb
3.30M
2026-02-15 08:36:27
libcoq-flocq_4.2.1-3_s390x.deb
3.30M
2026-02-13 03:23:06
libcoq-flocq_4.2.1-1+b4_amd64.deb
3.27M
2026-02-12 15:04:12
libcoq-flocq_4.2.1-1+b4_arm64.deb
3.27M
2026-02-12 14:59:02
libcoq-flocq_4.2.1-3_i386.deb
3.30M
2026-02-11 11:27:15
libcoq-flocq_4.2.1-3_armhf.deb
3.30M
2026-02-11 10:31:12
libcoq-flocq_4.2.1-3_ppc64el.deb
3.30M
2026-02-11 10:00:30
libcoq-flocq_4.2.1-3_arm64.deb
3.30M
2026-02-11 10:00:26
libcoq-flocq_4.2.1-1+b3_riscv64.deb
3.27M
2025-12-28 06:47:36
libcoq-flocq_4.2.1-1+b3_s390x.deb
3.27M
2025-12-28 04:25:22
libcoq-flocq_4.2.1-1+b3_ppc64el.deb
3.27M
2025-12-28 04:25:19
flocq_4.2.1-3.debian.tar.xz
2.0K
2025-11-11 18:20:39
flocq_4.2.1-3.dsc
2.0K
2025-11-11 18:20:39
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