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

../
dune-functions_2.6~20180228-1build1.debian.tar.xz  30-Aug-2023 22:40                2972
dune-functions_2.6~20180228-1build1.dsc            30-Aug-2023 22:40                2540
dune-functions_2.6~20180228.orig.tar.xz            30-Aug-2023 22:40              262964
dune-functions_2.8.0-2.debian.tar.xz               30-Aug-2023 22:40                3384
dune-functions_2.8.0-2.dsc                         30-Aug-2023 22:40                2430
dune-functions_2.8.0.orig.tar.xz                   30-Aug-2023 22:40              107348
dune-functions_2.9.0-2build1.debian.tar.xz         23-Apr-2024 00:08                4428
dune-functions_2.9.0-2build1.dsc                   23-Apr-2024 00:08                2572
dune-functions_2.9.0.orig.tar.xz                   16-Dec-2023 00:37              114704
libdune-functions-dev_2.6~20180228-1build1_all.deb 30-Aug-2023 22:40               57420
libdune-functions-dev_2.8.0-2_arm64.deb            30-Aug-2023 22:40               73476
libdune-functions-dev_2.9.0-2build1_arm64.deb      23-Apr-2024 00:08               80056
libdune-functions-doc_2.6~20180228-1build1_all.deb 30-Aug-2023 22:40             1565016
libdune-functions-doc_2.8.0-2_all.deb              30-Aug-2023 22:40             1491580
libdune-functions-doc_2.9.0-2build1_all.deb        23-Apr-2024 00:08             2115432