Name					Size	Modified
----					----	--------
flocq_4.1.3-1build4.debian.tar.xz	2.0 KiB	April 8, 2024 at 07:57:40
flocq_4.1.3-1build4.dsc			2.0 KiB	April 8, 2024 at 07:57:40
flocq_4.1.3.orig.tar.bz2		326 KiB	December 22, 2023 at 17:26:56
flocq_4.2.1-1build1.debian.tar.xz	2.0 KiB	February 18, 2025 at 21:25:06
flocq_4.2.1-1build1.dsc			2.0 KiB	February 18, 2025 at 21:25:06
flocq_4.2.1-1build2.debian.tar.xz	2.0 KiB	June 20, 2025 at 13:22:26
flocq_4.2.1-1build2.dsc			2.0 KiB	June 20, 2025 at 13:22:26
flocq_4.2.1-1build5.debian.tar.xz	2.1 KiB	March 3, 2026 at 21:25:18
flocq_4.2.1-1build5.dsc			2.0 KiB	March 3, 2026 at 21:25:18
flocq_4.2.1.orig.tar.bz2		323 KiB	February 18, 2025 at 01:39:09
libcoq-flocq_4.1.3-1build4_amd64.deb	3.6 MiB	April 8, 2024 at 07:57:46
libcoq-flocq_4.2.1-1build1_amd64.deb	3.7 MiB	February 18, 2025 at 21:25:29
libcoq-flocq_4.2.1-1build2_amd64.deb	3.7 MiB	June 20, 2025 at 13:23:36
libcoq-flocq_4.2.1-1build5_amd64.deb	3.7 MiB	March 3, 2026 at 21:26:26
libcoq-flocq_4.2.1-1build5_amd64v3.deb	3.7 MiB	March 3, 2026 at 21:26:54