Index of /mirrors/ubuntu/pool/universe/f/flocq/

directories: 0, files: 15

NameLast modifiedSize
../
libcoq-flocq_4.2.1-1build2_amd64.deb2025-06-20 15:23:363.69 MiB
libcoq-flocq_4.2.1-1build1_amd64.deb2025-02-18 22:25:293.69 MiB
libcoq-flocq_4.1.4-2build3_amd64.deb2024-09-07 17:43:593.72 MiB
libcoq-flocq_4.1.3-1build4_amd64.deb2024-04-08 09:57:463.59 MiB
flocq_4.2.1.orig.tar.bz22025-02-18 02:39:09323.29 KiB
flocq_4.2.1-1build2.dsc2025-06-20 15:22:261.97 KiB
flocq_4.2.1-1build2.debian.tar.xz2025-06-20 15:22:262.04 KiB
flocq_4.2.1-1build1.dsc2025-02-18 22:25:061.97 KiB
flocq_4.2.1-1build1.debian.tar.xz2025-02-18 22:25:061.97 KiB
flocq_4.1.4.orig.tar.bz22024-05-03 03:54:10325.78 KiB
flocq_4.1.4-2build3.dsc2024-09-07 17:43:551.97 KiB
flocq_4.1.4-2build3.debian.tar.xz2024-09-07 17:43:552.00 KiB
flocq_4.1.3.orig.tar.bz22023-12-22 18:26:56325.66 KiB
flocq_4.1.3-1build4.dsc2024-04-08 09:57:402.05 KiB
flocq_4.1.3-1build4.debian.tar.xz2024-04-08 09:57:401.96 KiB