| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| dolfin-bin_2019.2.0~git20200218.027d9cc-5_all.deb | 51620 | 2020-May-12 09:31 |
| dolfin-doc_2019.2.0~git20200218.027d9cc-5_all.deb | 5907524 | 2020-May-12 09:31 |
| libdolfin-dev_2019.2.0~git20200218.027d9cc-5_am..> | 233244 | 2020-May-12 09:36 |
| libdolfin2019.2_2019.2.0~git20200218.027d9cc-5_..> | 1878896 | 2020-May-12 09:36 |
| python3-dolfin_2019.2.0~git20200218.027d9cc-5_a..> | 771360 | 2020-May-12 09:44 |