| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-quickchick_2.0-2+b3_hurd-i386.buildinfo | 7970 bytes | 2023-10-01 12:03:01 |
| 📄 libcoq-quickchick-dbgsym_2.0-2+b3_hurd-i386.deb | 30068 bytes | 2023-10-01 12:03:01 |
| 📄 libcoq-quickchick_2.0-2+b3_hurd-i386.deb | 1798848 bytes | 2023-10-01 12:03:01 |
| 📄 quickchick_2.0-2+b3_hurd-i386.deb | 58688 bytes | 2023-10-01 12:03:01 |