/pool/main/f/flocq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
flocq_4.1.0-3.debian.tar.xz1.5 KiB2023-Jan-25 10:53
flocq_4.1.0-3.dsc2.0 KiB2023-Jan-25 10:53
flocq_4.1.0.orig.tar.bz2325.3 KiB2022-Jun-29 14:40
flocq_4.1.4-1.debian.tar.xz1.7 KiB2024-Apr-26 16:01
flocq_4.1.4-1.dsc2.0 KiB2024-Apr-26 16:01
flocq_4.1.4.orig.tar.bz2325.8 KiB2024-Apr-26 16:01
libcoq-flocq_4.1.0-3+b2_armhf.deb3.2 MiB2023-May-21 03:16
libcoq-flocq_4.1.4-1+b1_armhf.deb3.3 MiB2024-Jun-25 00:08