| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| DEPENDS.txt | 21 | 2022-Oct-31 05:29 |
| LICENSE.txt | 1083 | 2022-Oct-31 05:29 |
| README.md | 1430 | 2022-Oct-31 05:29 |
| to-be-determined.dtx | 4711 | 2022-Oct-31 05:29 |
| to-be-determined.ins | 2658 | 2022-Oct-31 05:29 |
| to-be-determined.pdf | 250268 | 2022-Oct-31 05:29 |