Index of /pub/gwdg/ubuntu/22.04/pool/universe/a/armadillo/

../
libarmadillo-dev_10.8.2+dfsg-1_amd64.deb           09-Feb-2022 09:04              399398
libarmadillo10_10.8.2+dfsg-1_amd64.deb             09-Feb-2022 09:04              104552