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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dune-functions_2.5.1-1.debian.tar.xz2017-07-19 01:14 2.7K 
[TXT]dune-functions_2.5.1-1.dsc2017-07-19 01:14 2.7K 
[   ]dune-functions_2.5.1.orig.tar.gz2017-07-19 01:14 247K 
[   ]dune-functions_2.5.1.orig.tar.gz.asc2017-07-19 01:14 1.0K 
[   ]dune-functions_2.6~20180228-1build1.debian.tar.xz2018-07-19 08:58 2.9K 
[TXT]dune-functions_2.6~20180228-1build1.dsc2018-07-19 08:58 2.5K 
[   ]dune-functions_2.6~20180228.orig.tar.xz2018-05-04 21:29 257K 
[   ]dune-functions_2.8.0-2.debian.tar.xz2021-10-22 07:23 3.3K 
[TXT]dune-functions_2.8.0-2.dsc2021-10-22 07:23 2.4K 
[   ]dune-functions_2.8.0.orig.tar.xz2021-10-22 07:23 105K 
[   ]dune-functions_2.9.0-2.debian.tar.xz2023-01-13 18:19 4.2K 
[TXT]dune-functions_2.9.0-2.dsc2023-01-13 18:19 2.4K 
[   ]dune-functions_2.9.0-2build1.debian.tar.xz2024-04-22 17:47 4.3K 
[TXT]dune-functions_2.9.0-2build1.dsc2024-04-22 17:47 2.5K 
[   ]dune-functions_2.9.0.orig.tar.xz2023-01-13 18:19 112K 
[   ]dune-functions_2.10.0-2.debian.tar.xz2024-11-19 06:59 5.6K 
[TXT]dune-functions_2.10.0-2.dsc2024-11-19 06:59 2.4K 
[   ]dune-functions_2.10.0.orig.tar.xz2024-11-15 07:43 151K 
[   ]libdune-functions-dev_2.5.1-1_all.deb2017-07-19 05:53 53K 
[   ]libdune-functions-dev_2.6~20180228-1build1_all.deb2018-08-16 12:58 56K 
[   ]libdune-functions-dev_2.8.0-2_amd64.deb2021-10-23 02:38 72K 
[   ]libdune-functions-dev_2.9.0-2_amd64.deb2023-01-13 23:15 78K 
[   ]libdune-functions-dev_2.9.0-2build1_amd64.deb2024-04-22 17:49 78K 
[   ]libdune-functions-dev_2.10.0-2_amd64.deb2024-11-19 07:00 85K 
[   ]libdune-functions-doc_2.5.1-1_all.deb2017-07-19 05:53 1.7M 
[   ]libdune-functions-doc_2.6~20180228-1build1_all.deb2018-08-16 12:58 1.5M 
[   ]libdune-functions-doc_2.8.0-2_all.deb2021-10-23 02:38 1.4M 
[   ]libdune-functions-doc_2.9.0-2_all.deb2023-01-13 23:15 1.5M 
[   ]libdune-functions-doc_2.9.0-2build1_all.deb2024-04-22 17:49 2.0M 
[   ]libdune-functions-doc_2.10.0-2_all.deb2024-11-19 07:00 2.5M 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443