../ dune-functions_2.10.0-2.debian.tar.xz 19-Nov-2024 09:29 5760 dune-functions_2.10.0-2.dsc 19-Nov-2024 09:29 2444 dune-functions_2.10.0.orig.tar.xz 15-Nov-2024 10:13 151K dune-functions_2.5.1-1.debian.tar.xz 19-Jul-2017 02:44 2732 dune-functions_2.5.1-1.dsc 19-Jul-2017 02:44 2775 dune-functions_2.5.1.orig.tar.gz 19-Jul-2017 02:44 247K dune-functions_2.5.1.orig.tar.gz.asc 19-Jul-2017 02:44 1061 dune-functions_2.6~20180228-1build1.debian.tar.xz 19-Jul-2018 10:28 2972 dune-functions_2.6~20180228-1build1.dsc 19-Jul-2018 10:28 2540 dune-functions_2.6~20180228.orig.tar.xz 04-May-2018 22:59 257K dune-functions_2.8.0-2.debian.tar.xz 22-Oct-2021 08:53 3384 dune-functions_2.8.0-2.dsc 22-Oct-2021 08:53 2430 dune-functions_2.8.0.orig.tar.xz 22-Oct-2021 08:53 105K dune-functions_2.9.0-2build1.debian.tar.xz 22-Apr-2024 19:17 4428 dune-functions_2.9.0-2build1.dsc 22-Apr-2024 19:17 2572 dune-functions_2.9.0.orig.tar.xz 13-Jan-2023 20:49 112K libdune-functions-dev_2.10.0-2_amd64.deb 19-Nov-2024 09:30 85K libdune-functions-dev_2.5.1-1_all.deb 19-Jul-2017 07:23 53K libdune-functions-dev_2.6~20180228-1build1_all.deb 16-Aug-2018 14:28 56K libdune-functions-dev_2.8.0-2_amd64.deb 23-Oct-2021 04:08 72K libdune-functions-dev_2.9.0-2build1_amd64.deb 22-Apr-2024 19:19 78K libdune-functions-doc_2.10.0-2_all.deb 19-Nov-2024 09:30 3M libdune-functions-doc_2.5.1-1_all.deb 19-Jul-2017 07:23 2M libdune-functions-doc_2.6~20180228-1build1_all.deb 16-Aug-2018 14:28 1M libdune-functions-doc_2.8.0-2_all.deb 23-Oct-2021 04:08 1M libdune-functions-doc_2.9.0-2build1_all.deb 22-Apr-2024 19:19 2M