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

../
coq-libhyps_2.0.6-1.debian.tar.xz                  23-Sep-2022 14:34                1860
coq-libhyps_2.0.6-1.dsc                            23-Sep-2022 14:34                2067
coq-libhyps_2.0.6.orig.tar.gz                      23-Sep-2022 14:34               36241
libcoq-libhyps_2.0.6-1+b1_arm64.deb                29-Nov-2022 23:43               84888
libcoq-libhyps_2.0.6-1+b1_armhf.deb                29-Nov-2022 23:43               84816
libcoq-libhyps_2.0.6-1+b1_i386.deb                 29-Nov-2022 23:43               84876
libcoq-libhyps_2.0.6-1+b1_ppc64el.deb              30-Nov-2022 00:29               84904
libcoq-libhyps_2.0.6-1+b1_s390x.deb                30-Nov-2022 03:57               84856
libcoq-libhyps_2.0.6-1+b2_amd64.deb                29-Nov-2022 23:43               84888