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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 dune-functions_2.10...> 2024-11-19 00:59  5.6K  tar archive
 dune-functions_2.10...> 2024-11-19 00:59  2.4K  
 dune-functions_2.10...> 2024-11-15 01:43  151K  tar archive
 dune-functions_2.5.1..> 2017-07-18 19:14  2.7K  tar archive
 dune-functions_2.5.1..> 2017-07-18 19:14  2.7K  
 dune-functions_2.5.1..> 2017-07-18 19:14  247K  GZIP compressed docume>
 dune-functions_2.5.1..> 2017-07-18 19:14  1.0K  GZIP compressed docume>
 dune-functions_2.6~2..> 2018-07-19 02:58  2.9K  tar archive
 dune-functions_2.6~2..> 2018-07-19 02:58  2.5K  
 dune-functions_2.6~2..> 2018-05-04 15:29  257K  tar archive
 dune-functions_2.8.0..> 2021-10-22 01:23  3.3K  tar archive
 dune-functions_2.8.0..> 2021-10-22 01:23  2.4K  
 dune-functions_2.8.0..> 2021-10-22 01:23  105K  tar archive
 dune-functions_2.9.0..> 2024-04-22 11:47  4.3K  tar archive
 dune-functions_2.9.0..> 2024-04-22 11:47  2.5K  
 dune-functions_2.9.0..> 2023-01-13 12:19  112K  tar archive
 libdune-functions-de..> 2024-11-19 01:00   85K  
 libdune-functions-de..> 2017-07-18 23:53   53K  
 libdune-functions-de..> 2018-08-16 06:58   56K  
 libdune-functions-de..> 2021-10-22 20:38   72K  
 libdune-functions-de..> 2024-04-22 11:49   78K  
 libdune-functions-do..> 2024-11-19 01:00  2.5M  
 libdune-functions-do..> 2017-07-18 23:53  1.7M  
 libdune-functions-do..> 2018-08-16 06:58  1.5M  
 libdune-functions-do..> 2021-10-22 20:38  1.4M  
 libdune-functions-do..> 2024-04-22 11:49  2.0M