Index of /debian/pool/main/f/flocq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-flocq_4.2.1-1_s390x.deb 34290042025-Feb-17 19:47
libcoq-flocq_4.2.1-1_arm64.deb 34290122025-Feb-17 17:17
libcoq-flocq_4.2.1-1_amd64.deb 34295002025-Feb-17 17:12
libcoq-flocq_4.2.1-1_ppc64el.deb 34292682025-Feb-17 17:12
flocq_4.2.1-1.debian.tar.xz 19402025-Feb-17 16:37
flocq_4.2.1-1.dsc 20332025-Feb-17 16:37
flocq_4.2.1.orig.tar.bz2 3310472025-Feb-17 16:37
libcoq-flocq_4.2.0-1+b3_riscv64.deb 34385802025-Feb-14 08:23
libcoq-flocq_4.2.0-1+b3_s390x.deb 34378442025-Feb-14 06:50
libcoq-flocq_4.2.0-1+b3_arm64.deb 34382802025-Feb-14 05:38
libcoq-flocq_4.2.0-1+b3_ppc64el.deb 34381122025-Feb-14 05:23
libcoq-flocq_4.2.0-1+b4_amd64.deb 34385922025-Feb-14 05:23
libcoq-flocq_4.2.0-1+b2_riscv64.deb 34385242025-Jan-30 15:34
libcoq-flocq_4.2.0-1+b2_s390x.deb 34380522025-Jan-30 07:52
libcoq-flocq_4.2.0-1+b2_arm64.deb 34379722025-Jan-30 07:32
libcoq-flocq_4.2.0-1+b2_ppc64el.deb 34387762025-Jan-30 07:21
libcoq-flocq_4.2.0-1+b3_amd64.deb 34380122025-Jan-30 07:21
libcoq-flocq_4.2.0-1+b1_s390x.deb 34385082024-Nov-21 04:06
libcoq-flocq_4.2.0-1+b1_arm64.deb 34388562024-Nov-20 16:46
libcoq-flocq_4.2.0-1+b1_riscv64.deb 34381602024-Nov-20 16:40
libcoq-flocq_4.2.0-1+b2_amd64.deb 34377962024-Nov-20 16:40
libcoq-flocq_4.2.0-1+b1_ppc64el.deb 34381362024-Nov-20 16:40
flocq_4.2.0-1.debian.tar.xz 19202024-Nov-20 10:02
flocq_4.2.0-1.dsc 20212024-Nov-20 10:02
flocq_4.2.0.orig.tar.bz2 3340082024-Nov-20 10:02
libcoq-flocq_4.1.0-3+b1_armhf.deb 33075962023-Feb-13 05:42
libcoq-flocq_4.1.0-3+b1_ppc64el.deb 33074642023-Feb-13 05:42
libcoq-flocq_4.1.0-3+b1_arm64.deb 33077082023-Feb-13 05:27
libcoq-flocq_4.1.0-3+b1_i386.deb 33074522023-Feb-13 05:26
libcoq-flocq_4.1.0-3+b1_amd64.deb 33076642023-Feb-13 05:26
libcoq-flocq_4.1.0-3+b1_s390x.deb 33072762023-Feb-13 05:16
flocq_4.1.0-3.debian.tar.xz 15402023-Jan-25 08:53
flocq_4.1.0-3.dsc 20212023-Jan-25 08:53
flocq_4.1.0.orig.tar.bz2 3331492022-Jun-29 12:40