Index of /ubuntu-ports/pool/universe/d/dune-functions/

../
libdune-functions-dev_2.6~20180228-1build1_all.deb 16-Aug-2018 10:58               57420
libdune-functions-dev_2.8.0-2_arm64.deb            03-Nov-2021 18:38               73476
libdune-functions-doc_2.6~20180228-1build1_all.deb 16-Aug-2018 10:58             1565016
libdune-functions-doc_2.8.0-2_all.deb              23-Oct-2021 00:38             1491580