File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
libcoq-flocq_4.1.0-2_armhf.deb | 3270372 | 2022-Jul-16 11:43 |
libcoq-flocq_4.1.0-2_ppc64el.deb | 3270656 | 2022-Jul-16 11:43 |
libcoq-flocq_4.1.0-2_s390x.deb | 3270484 | 2022-Jul-16 11:43 |
libcoq-flocq_4.1.0-2_amd64.deb | 3270732 | 2022-Jul-16 11:43 |
libcoq-flocq_4.1.0-2_arm64.deb | 3270764 | 2022-Jul-16 11:43 |
libcoq-flocq_4.1.0-2_i386.deb | 3270400 | 2022-Jul-16 11:33 |
flocq_4.1.0-2.debian.tar.xz | 1488 | 2022-Jul-16 11:13 |
flocq_4.1.0-2.dsc | 2016 | 2022-Jul-16 11:13 |
flocq_4.1.0.orig.tar.bz2 | 333149 | 2022-Jun-29 12:40 |