Index of /debian/pool/main/f/flocq/
name
size
date
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_arm64.deb
3.27M
2025-12-28 04:25:21
libcoq-flocq_4.2.1-1+b3_ppc64el.deb
3.27M
2025-12-28 04:25:19
libcoq-flocq_4.2.1-1+b3_amd64.deb
3.27M
2025-12-28 04:25:18
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-3_amd64.deb
3.30M
2025-11-11 18:20:39
libcoq-flocq_4.2.1-2_s390x.deb
3.27M
2025-10-29 14:43:30
libcoq-flocq_4.2.1-2_ppc64el.deb
3.27M
2025-10-29 12:36:43
libcoq-flocq_4.2.1-2_arm64.deb
3.27M
2025-10-29 12:21:20
flocq_4.2.1-2.debian.tar.xz
2.0K
2025-10-29 08:59:13
flocq_4.2.1-2.dsc
2.0K
2025-10-29 08:59:13
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