Name Last modified Size Description
Parent Directory -
libcoq-flocq_4.2.1-1+b4_arm64.deb 2026-02-12 16:59 3.3M
libcoq-flocq_4.2.1-1+b4_amd64.deb 2026-02-12 17:04 3.3M
flocq_4.2.1.orig.tar.bz2 2025-02-17 18:37 323K
flocq_4.2.1-1.dsc 2025-02-17 18:37 2.0K
flocq_4.2.1-1.debian.tar.xz 2025-02-17 18:37 1.9K