Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-extructures/
../
coq-extructures_0.3.1-2.debian.tar.xz 31-Jul-2022 17:29 1964
coq-extructures_0.3.1-2.dsc 31-Jul-2022 17:29 2161
coq-extructures_0.3.1.orig.tar.gz 18-Jul-2022 23:49 38296
libcoq-extructures_0.3.1-2_amd64.deb 31-Jul-2022 17:29 669818
libcoq-extructures_0.3.1-2_arm64.deb 31-Jul-2022 17:29 669724
libcoq-extructures_0.3.1-2_armhf.deb 31-Jul-2022 17:29 669538
libcoq-extructures_0.3.1-2_ppc64el.deb 31-Jul-2022 17:29 669616
libcoq-extructures_0.3.1-2_riscv64.deb 31-Jul-2022 18:18 669680
libcoq-extructures_0.3.1-2_s390x.deb 31-Jul-2022 17:29 669694