Index of /deb.debian.org/debian/pool/main/d/dune-functions/

../
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.9.0-2_amd64.deb            13-Jan-2023 15:56               83196
libdune-functions-dev_2.9.0-2_i386.deb             13-Jan-2023 18:09               83200
libdune-functions-doc_2.9.0-2_all.deb              13-Jan-2023 15:56             1780104