| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-quickchick_2.0.3-3_loong64.buildinfo | 8195 bytes | 2024-08-05 00:03:03 |
| 📄 libcoq-quickchick-dbgsym_2.0.3-3_loong64.deb | 73524 bytes | 2024-08-05 00:03:03 |
| 📄 libcoq-quickchick_2.0.3-3_loong64.deb | 3580616 bytes | 2024-08-05 00:03:03 |
| 📄 quickchick-dbgsym_2.0.3-3_loong64.deb | 112476 bytes | 2024-08-05 00:03:03 |
| 📄 quickchick_2.0.3-3_loong64.deb | 431704 bytes | 2024-08-05 00:03:03 |