Index of /ubuntu-old-releases/ubuntu/pool/universe/m/mathcomp-bigenough/

../
libcoq-mathcomp-bigenough_1.0.1-8build1_amd64.deb  18-Jul-2022 22:43               27752
libcoq-mathcomp-bigenough_1.0.1-8build1_arm64.deb  18-Jul-2022 22:43               27772
libcoq-mathcomp-bigenough_1.0.1-8build1_armhf.deb  18-Jul-2022 22:43               27724
libcoq-mathcomp-bigenough_1.0.1-8build1_ppc64el..> 18-Jul-2022 22:43               27762
libcoq-mathcomp-bigenough_1.0.1-8build1_riscv64..> 19-Jul-2022 00:45               27768
libcoq-mathcomp-bigenough_1.0.1-8build1_s390x.deb  18-Jul-2022 22:43               27756
mathcomp-bigenough_1.0.1-8build1.debian.tar.xz     18-Jul-2022 22:43                8692
mathcomp-bigenough_1.0.1-8build1.dsc               18-Jul-2022 22:43                2161
mathcomp-bigenough_1.0.1.orig.tar.gz               12-Feb-2022 17:34               12248