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