| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| prooftree_0.13.orig.tar.gz | 113178 | 2017-Jan-14 18:21 |
| prooftree_0.13-2.debian.tar.xz | 2464 | 2020-May-13 13:33 |
| prooftree_0.13-2.dsc | 1976 | 2020-May-13 13:33 |
| prooftree_0.13-2+b1_amd64.deb | 1086312 | 2020-Oct-14 05:26 |
| prooftree_0.13-2+b2_amd64.deb | 1084116 | 2021-Aug-15 18:43 |