| Parent directory/ | - | - |
| dune-functions_2.7.1-2.dsc | 2423 | 2021-Jan-13 09:59 |
| dune-functions_2.9.0-2.dsc | 2440 | 2023-Jan-13 11:52 |
| dune-functions_2.6~20180228-1.dsc | 2516 | 2018-Apr-10 20:49 |
| dune-functions_2.6~20180228-1.debian.tar.xz | 2900 | 2018-Apr-10 20:49 |
| dune-functions_2.7.1-2.debian.tar.xz | 3204 | 2021-Jan-13 09:59 |
| dune-functions_2.9.0-2.debian.tar.xz | 4312 | 2023-Jan-13 11:52 |
| libdune-functions-dev_2.6~20180228-1_all.deb | 58032 | 2018-Apr-10 23:03 |
| libdune-functions-dev_2.7.1-2_all.deb | 66776 | 2021-Jan-13 11:55 |
| libdune-functions-dev_2.9.0-2_armhf.deb | 83196 | 2023-Jan-27 10:08 |
| dune-functions_2.7.1.orig.tar.xz | 87424 | 2021-Jan-07 14:06 |
| dune-functions_2.9.0.orig.tar.xz | 114704 | 2023-Jan-08 12:59 |
| dune-functions_2.6~20180228.orig.tar.xz | 262964 | 2018-Apr-10 20:49 |
| libdune-functions-doc_2.7.1-2_all.deb | 1355488 | 2021-Jan-13 11:55 |
| libdune-functions-doc_2.6~20180228-1_all.deb | 1565724 | 2018-Apr-10 23:03 |
| libdune-functions-doc_2.9.0-2_all.deb | 1780104 | 2023-Jan-13 15:56 |