../ dune-functions_2.9.0-2.debian.tar.xz 13-Jan-2023 11:52 4312 dune-functions_2.9.0-2.dsc 13-Jan-2023 11:52 2440 dune-functions_2.9.0.orig.tar.xz 08-Jan-2023 12:59 114704 libdune-functions-dev_2.10.0-2+b1_amd64.deb 23-Jan-2025 15:31 91948 libdune-functions-dev_2.9.0-2_amd64.deb 13-Jan-2023 15:56 83196 libdune-functions-doc_2.10.0-2_all.deb 18-Nov-2024 22:48 2611088 libdune-functions-doc_2.9.0-2_all.deb 13-Jan-2023 15:56 1780104