Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - dune-istl_2.6.0-2.debian.tar.xz 2022-04-11 05:02 6.5K dune-istl_2.6.0-2.dsc 2022-04-11 05:02 2.5K dune-istl_2.6.0.orig.tar.gz 2022-04-11 05:02 329K dune-istl_2.6.0.orig.tar.gz.asc 2022-04-11 05:02 473 libdune-istl-dev_2.6.0-2_all.deb 2022-04-11 05:40 181K libdune-istl-doc_2.6.0-2_all.deb 2022-04-11 05:24 2.8M