Index of /pub/ubuntu/pool/universe/f/flocq/
directories: 0, files: 17
Name
Last modified
Size
../
libcoq-flocq_4.2.1-1build5_arm64.deb
2026-03-03 22:27:16
3.69 MiB
libcoq-flocq_4.2.1-1build5_amd64v3.deb
2026-03-03 22:26:54
3.69 MiB
libcoq-flocq_4.2.1-1build5_amd64.deb
2026-03-03 22:26:26
3.69 MiB
libcoq-flocq_4.2.1-1build2_arm64.deb
2025-06-20 15:24:41
3.69 MiB
libcoq-flocq_4.2.1-1build2_amd64.deb
2025-06-20 15:23:36
3.69 MiB
libcoq-flocq_4.2.1-1build1_amd64.deb
2025-02-18 22:25:29
3.69 MiB
libcoq-flocq_4.1.3-1build4_amd64.deb
2024-04-08 09:57:46
3.59 MiB
flocq_4.2.1.orig.tar.bz2
2025-02-18 02:39:09
323.29 KiB
flocq_4.2.1-1build5.dsc
2026-03-03 22:25:18
1.97 KiB
flocq_4.2.1-1build5.debian.tar.xz
2026-03-03 22:25:18
2.12 KiB
flocq_4.2.1-1build2.dsc
2025-06-20 15:22:26
1.97 KiB
flocq_4.2.1-1build2.debian.tar.xz
2025-06-20 15:22:26
2.04 KiB
flocq_4.2.1-1build1.dsc
2025-02-18 22:25:06
1.97 KiB
flocq_4.2.1-1build1.debian.tar.xz
2025-02-18 22:25:06
1.97 KiB
flocq_4.1.3.orig.tar.bz2
2023-12-22 18:26:56
325.66 KiB
flocq_4.1.3-1build4.dsc
2024-04-08 09:57:40
2.05 KiB
flocq_4.1.3-1build4.debian.tar.xz
2024-04-08 09:57:40
1.96 KiB