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