This mirror is donated by creoline GmbH. If you wish to report a bug or request listing please feel free to contact us at mirror@creoline.de
../ flocq_4.1.0-2.debian.tar.xz 16-Jul-2022 11:13 1488 flocq_4.1.0-2.dsc 16-Jul-2022 11:13 2016 flocq_4.1.0.orig.tar.bz2 29-Jun-2022 12:40 333149 libcoq-flocq_4.1.0-2+b1_amd64.deb 07-Sep-2022 07:11 3307532 libcoq-flocq_4.1.0-2+b1_arm64.deb 07-Sep-2022 07:26 3307488 libcoq-flocq_4.1.0-2+b1_armhf.deb 07-Sep-2022 07:11 3307396 libcoq-flocq_4.1.0-2+b1_i386.deb 07-Sep-2022 07:06 3307424 libcoq-flocq_4.1.0-2+b1_ppc64el.deb 07-Sep-2022 07:11 3307100 libcoq-flocq_4.1.0-2+b1_s390x.deb 07-Sep-2022 08:31 3307476