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

name size date
libcoq-flocq_4.2.1-1build4_amd64v3.deb 3.69M 2026-01-29 20:01:45
libcoq-flocq_4.2.1-1build4_amd64.deb 3.69M 2026-01-29 20:01:37
flocq_4.2.1-1build4.debian.tar.xz 2.1K 2026-01-29 19:54:59
flocq_4.2.1-1build4.dsc 2.0K 2026-01-29 19:54:59
libcoq-flocq_4.2.1-1build3_amd64v3.deb 3.69M 2026-01-05 20:07:40
libcoq-flocq_4.2.1-1build3_amd64.deb 3.69M 2026-01-05 20:07:27
flocq_4.2.1-1build3.dsc 2.0K 2026-01-05 20:02:53
flocq_4.2.1-1build3.debian.tar.xz 2.1K 2026-01-05 20:02:52
libcoq-flocq_4.2.1-1build2_amd64.deb 3.69M 2025-06-20 13:23:36
flocq_4.2.1-1build2.debian.tar.xz 2.0K 2025-06-20 13:22:26
flocq_4.2.1-1build2.dsc 2.0K 2025-06-20 13:22:26
libcoq-flocq_4.2.1-1build1_amd64.deb 3.69M 2025-02-18 21:25:29
flocq_4.2.1-1build1.debian.tar.xz 2.0K 2025-02-18 21:25:06
flocq_4.2.1-1build1.dsc 2.0K 2025-02-18 21:25:06
flocq_4.2.1.orig.tar.bz2 323.3K 2025-02-18 01:39:09
libcoq-flocq_4.1.3-1build4_amd64.deb 3.59M 2024-04-08 07:57:46
flocq_4.1.3-1build4.debian.tar.xz 2.0K 2024-04-08 07:57:40
flocq_4.1.3-1build4.dsc 2.0K 2024-04-08 07:57:40
flocq_4.1.3.orig.tar.bz2 325.7K 2023-12-22 17:26:56