Index of /debian/pool/main/c/coq-equations/

../
coq-equations_1.3-8.16-1.debian.tar.xz             06-Sep-2022 09:09                2176
coq-equations_1.3-8.16-1.dsc                       06-Sep-2022 09:09                2161
coq-equations_1.3-8.16.orig.tar.gz                 06-Sep-2022 09:09             1097638
libcoq-equations_1.3-8.16-1+b1_amd64.deb           30-Nov-2022 00:29             1422844
libcoq-equations_1.3-8.16-1+b1_arm64.deb           30-Nov-2022 01:25             1445776
libcoq-equations_1.3-8.16-1+b1_armhf.deb           30-Nov-2022 00:45             1405888
libcoq-equations_1.3-8.16-1+b1_i386.deb            30-Nov-2022 00:24             1364588
libcoq-equations_1.3-8.16-1+b1_ppc64el.deb         30-Nov-2022 02:56             1429072
libcoq-equations_1.3-8.16-1+b1_s390x.deb           30-Nov-2022 04:53             1434740