| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| DEPENDS.txt | 221 | 2024-Oct-11 20:51 | |
| LICENSE.txt | 1083 | 2024-Oct-11 20:51 | |
| README.md | 1534 | 2024-Oct-11 20:51 | |
| to-be-determined.dtx | 5252 | 2024-Oct-11 20:51 | |
| to-be-determined.ins | 2658 | 2024-Oct-11 20:51 | |
| to-be-determined.pdf | 261545 | 2024-Oct-11 20:51 | |