../ dune-functions_2.6~20180228-1.debian.tar.xz 10-Apr-2018 20:49 2900 dune-functions_2.6~20180228-1.dsc 10-Apr-2018 20:49 2516 dune-functions_2.6~20180228.orig.tar.xz 10-Apr-2018 20:49 262964 dune-functions_2.7.1-2.debian.tar.xz 13-Jan-2021 09:59 3204 dune-functions_2.7.1-2.dsc 13-Jan-2021 09:59 2423 dune-functions_2.7.1.orig.tar.xz 07-Jan-2021 14:06 87424 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.6~20180228-1_all.deb 10-Apr-2018 23:03 58032 libdune-functions-dev_2.7.1-2_all.deb 13-Jan-2021 11:55 66776 libdune-functions-dev_2.9.0-2_armhf.deb 27-Jan-2023 10:08 83196 libdune-functions-doc_2.6~20180228-1_all.deb 10-Apr-2018 23:03 1565724 libdune-functions-doc_2.7.1-2_all.deb 13-Jan-2021 11:55 1355488 libdune-functions-doc_2.9.0-2_all.deb 13-Jan-2023 15:56 1780104