Index of /ubuntu/pool/universe/f/flocq
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
libcoq-flocq_4.2.1-1build5_amd64v3.deb 2026-03-03 13:26 3.7M
libcoq-flocq_4.2.1-1build5_amd64.deb 2026-03-03 13:26 3.7M
![[TXT]](/icons/text.gif)
flocq_4.2.1-1build5.dsc 2026-03-03 13:25 2.0K
flocq_4.2.1-1build5.debian.tar.xz 2026-03-03 13:25 2.1K
libcoq-flocq_4.2.1-1build4_amd64v3.deb 2026-01-29 12:01 3.7M
libcoq-flocq_4.2.1-1build4_amd64.deb 2026-01-29 12:01 3.7M
flocq_4.2.1-1build4.dsc 2026-01-29 11:54 2.0K
flocq_4.2.1-1build4.debian.tar.xz 2026-01-29 11:54 2.1K
libcoq-flocq_4.2.1-1build3_amd64v3.deb 2026-01-05 12:07 3.7M
libcoq-flocq_4.2.1-1build3_amd64.deb 2026-01-05 12:07 3.7M
flocq_4.2.1-1build3.dsc 2026-01-05 12:02 2.0K
flocq_4.2.1-1build3.debian.tar.xz 2026-01-05 12:02 2.1K
libcoq-flocq_4.2.1-1build2_amd64.deb 2025-06-20 06:23 3.7M
flocq_4.2.1-1build2.dsc 2025-06-20 06:22 2.0K
flocq_4.2.1-1build2.debian.tar.xz 2025-06-20 06:22 2.0K
libcoq-flocq_4.2.1-1build1_amd64.deb 2025-02-18 13:25 3.7M
flocq_4.2.1-1build1.dsc 2025-02-18 13:25 2.0K
flocq_4.2.1-1build1.debian.tar.xz 2025-02-18 13:25 2.0K
libcoq-flocq_4.2.1-1_amd64.deb 2025-02-17 17:40 3.7M
flocq_4.2.1-1.debian.tar.xz 2025-02-17 17:39 1.9K
flocq_4.2.1.orig.tar.bz2 2025-02-17 17:39 323K
flocq_4.2.1-1.dsc 2025-02-17 17:39 2.0K
libcoq-flocq_4.2.0-1build3_amd64.deb 2025-02-13 16:54 3.7M
flocq_4.2.0-1build3.dsc 2025-02-13 16:54 2.0K
flocq_4.2.0-1build3.debian.tar.xz 2025-02-13 16:54 2.0K
libcoq-flocq_4.2.0-1build2_amd64.deb 2025-02-01 18:04 3.7M
flocq_4.2.0-1build2.dsc 2025-02-01 18:04 2.0K
flocq_4.2.0-1build2.debian.tar.xz 2025-02-01 18:04 2.0K
libcoq-flocq_4.2.0-1build1_amd64.deb 2024-11-20 19:11 3.7M
flocq_4.2.0-1build1.dsc 2024-11-20 19:11 2.0K
flocq_4.2.0-1build1.debian.tar.xz 2024-11-20 19:11 1.9K
libcoq-flocq_4.2.0-1_amd64.deb 2024-11-20 10:48 3.7M
flocq_4.2.0-1.debian.tar.xz 2024-11-20 10:47 1.9K
flocq_4.2.0.orig.tar.bz2 2024-11-20 10:47 326K
flocq_4.2.0-1.dsc 2024-11-20 10:47 2.0K
libcoq-flocq_4.1.4-2build3_amd64.deb 2024-09-07 08:43 3.7M
flocq_4.1.4-2build3.dsc 2024-09-07 08:43 2.0K
flocq_4.1.4-2build3.debian.tar.xz 2024-09-07 08:43 2.0K
libcoq-flocq_4.1.4-2build2_amd64.deb 2024-09-06 16:05 3.7M
flocq_4.1.4-2build2.dsc 2024-09-06 16:05 2.0K
flocq_4.1.4-2build2.debian.tar.xz 2024-09-06 16:05 2.0K
libcoq-flocq_4.1.4-2build1_amd64.deb 2024-09-06 11:54 3.7M
flocq_4.1.4-2build1.dsc 2024-08-21 02:17 2.0K
flocq_4.1.4-2build1.debian.tar.xz 2024-08-21 02:17 1.9K
libcoq-flocq_4.1.4-2_amd64.deb 2024-08-04 04:34 3.7M
flocq_4.1.4-2.debian.tar.xz 2024-08-04 04:34 1.9K
flocq_4.1.4-2.dsc 2024-08-04 04:34 1.7K
libcoq-flocq_4.1.4-1build2_amd64.deb 2024-06-15 08:23 3.7M
flocq_4.1.4-1build2.dsc 2024-06-15 07:43 2.0K
flocq_4.1.4-1build2.debian.tar.xz 2024-06-15 07:43 1.8K
flocq_4.1.4.orig.tar.bz2 2024-05-02 18:54 326K
libcoq-flocq_4.1.3-1build4_amd64.deb 2024-04-08 00:57 3.6M
flocq_4.1.3-1build4.dsc 2024-04-08 00:57 2.0K
flocq_4.1.3-1build4.debian.tar.xz 2024-04-08 00:57 2.0K
flocq_4.1.3.orig.tar.bz2 2023-12-22 09:26 326K
libcoq-flocq_4.1.1-1build1_amd64.deb 2023-07-25 23:22 3.6M
flocq_4.1.1-1build1.dsc 2023-07-25 22:19 2.0K
flocq_4.1.1-1build1.debian.tar.xz 2023-07-25 22:19 1.6K
flocq_4.1.1.orig.tar.bz2 2023-06-12 22:30 325K
libcoq-flocq_4.1.0-3build2_amd64.deb 2023-02-16 10:50 3.6M
flocq_4.1.0-3build2.dsc 2023-02-16 10:50 2.0K
flocq_4.1.0-3build2.debian.tar.xz 2023-02-16 10:50 1.6K
flocq_4.1.0.orig.tar.bz2 2022-06-29 16:34 325K