| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 20230823-201452-hdlist.cz 🔗 → hdlist.cz | - | 2023-08-23 20:14:52 |
| 📄 20230823-201452-synthesis.hdlist.cz 🔗 → synthesis.hdlist.cz | - | 2023-08-23 20:14:52 |
| 📄 hdlist.cz | 2572326 bytes | 2023-08-23 20:14:52 |
| 📄 MD5SUM | 228 bytes | 2023-08-23 20:14:52 |
| 📄 pubkey | 1631 bytes | 2019-06-21 21:16:16 |
| 📄 synthesis.hdlist.cz | 36280 bytes | 2023-08-23 20:14:52 |