Index of /raspbian.ip-connect.info/raspbian/pool/main/c/coq-libhyps/

../
coq-libhyps_2.0.6-2.debian.tar.xz                  25-Jan-2023 07:27                1916
coq-libhyps_2.0.6-2.dsc                            25-Jan-2023 07:27                2072
coq-libhyps_2.0.6.orig.tar.gz                      23-Sep-2022 14:34               36241
coq-libhyps_2.0.8-1.debian.tar.xz                  22-Dec-2023 10:16                2080
coq-libhyps_2.0.8-1.dsc                            22-Dec-2023 10:16                2072
coq-libhyps_2.0.8.orig.tar.gz                      22-Dec-2023 10:16               37247
libcoq-libhyps_2.0.6-2+b2_armhf.deb                21-May-2023 01:16               84936
libcoq-libhyps_2.0.8-1+b1_armhf.deb                24-Jan-2024 04:08               68704