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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 dune-functions_2.5.1..> 18-Jul-2017 23:14  2.7K  
 dune-functions_2.5.1..> 18-Jul-2017 23:14  2.7K  
 dune-functions_2.5.1..> 18-Jul-2017 23:14  247K  
 dune-functions_2.5.1..> 18-Jul-2017 23:14  1.0K  
 dune-functions_2.6~2..> 19-Jul-2018 06:58  2.9K  
 dune-functions_2.6~2..> 19-Jul-2018 06:58  2.5K  
 dune-functions_2.6~2..> 04-May-2018 19:29  257K  
 dune-functions_2.8.0..> 22-Oct-2021 05:23  3.3K  
 dune-functions_2.8.0..> 22-Oct-2021 05:23  2.4K  
 dune-functions_2.8.0..> 22-Oct-2021 05:23  105K  
 dune-functions_2.9.0..> 22-Apr-2024 15:47  4.3K  
 dune-functions_2.9.0..> 22-Apr-2024 15:47  2.5K  
 dune-functions_2.9.0..> 13-Jan-2023 17:19  112K  
 dune-functions_2.10...> 19-Nov-2024 05:59  5.6K  
 dune-functions_2.10...> 19-Nov-2024 05:59  2.4K  
 dune-functions_2.10...> 15-Nov-2024 06:43  151K  
 libdune-functions-de..> 19-Jul-2017 03:53   53K  
 libdune-functions-de..> 16-Aug-2018 10:58   56K  
 libdune-functions-de..> 23-Oct-2021 00:38   72K  
 libdune-functions-de..> 22-Apr-2024 15:49   78K  
 libdune-functions-de..> 19-Nov-2024 06:00   85K  
 libdune-functions-do..> 19-Jul-2017 03:53  1.7M  
 libdune-functions-do..> 16-Aug-2018 10:58  1.5M  
 libdune-functions-do..> 23-Oct-2021 00:38  1.4M  
 libdune-functions-do..> 22-Apr-2024 15:49  2.0M  
 libdune-functions-do..> 19-Nov-2024 06:00  2.5M