../ dune-functions_2.9.0-2.debian.tar.xz 31-Jul-2024 11:58 4312 dune-functions_2.9.0-2.dsc 31-Jul-2024 11:58 2440 dune-functions_2.9.0.orig.tar.xz 31-Jul-2024 11:58 114704 libdune-functions-dev_2.9.0-2_amd64.deb 31-Jul-2024 11:53 83196 libdune-functions-dev_2.9.0-2_arm64.deb 31-Jul-2024 12:26 83196 libdune-functions-dev_2.9.0-2_i386.deb 31-Jul-2024 12:03 83200 libdune-functions-doc_2.9.0-2_all.deb 31-Jul-2024 12:27 1780104