../ dune-functions_2.5.1-1.debian.tar.xz 18-Jul-2017 23:14 2732 dune-functions_2.5.1-1.dsc 18-Jul-2017 23:14 2775 dune-functions_2.5.1.orig.tar.gz 18-Jul-2017 23:14 252708 dune-functions_2.5.1.orig.tar.gz.asc 18-Jul-2017 23:14 1061 dune-functions_2.6~20180228-1build1.debian.tar.xz 19-Jul-2018 06:58 2972 dune-functions_2.6~20180228-1build1.dsc 19-Jul-2018 06:58 2540 dune-functions_2.6~20180228.orig.tar.xz 04-May-2018 19:29 262964 dune-functions_2.8.0-2.debian.tar.xz 22-Oct-2021 05:23 3384 dune-functions_2.8.0-2.dsc 22-Oct-2021 05:23 2430 dune-functions_2.8.0.orig.tar.xz 22-Oct-2021 05:23 107348 dune-functions_2.9.0-2.debian.tar.xz 13-Jan-2023 17:19 4312 dune-functions_2.9.0-2.dsc 13-Jan-2023 17:19 2440 dune-functions_2.9.0.orig.tar.xz 13-Jan-2023 17:19 114704 libdune-functions-dev_2.5.1-1_all.deb 19-Jul-2017 03:53 54654 libdune-functions-dev_2.6~20180228-1build1_all.deb 16-Aug-2018 10:58 57420 libdune-functions-dev_2.8.0-2_amd64.deb 23-Oct-2021 00:38 73478 libdune-functions-dev_2.9.0-2_amd64.deb 13-Jan-2023 22:15 79912 libdune-functions-doc_2.5.1-1_all.deb 19-Jul-2017 03:53 1768312 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 libdune-functions-doc_2.9.0-2_all.deb 13-Jan-2023 22:15 1613786