File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
coq-quickchick_2.0.3-3_loong64.buildinfo | 8.0 KiB | 2024-Aug-05 09:03 |
libcoq-quickchick-dbgsym_2.0.3-3_loong64.deb | 71.8 KiB | 2024-Aug-05 09:03 |
quickchick-dbgsym_2.0.3-3_loong64.deb | 109.8 KiB | 2024-Aug-05 09:03 |
quickchick_2.0.3-3_loong64.deb | 421.6 KiB | 2024-Aug-05 09:03 |
libcoq-quickchick_2.0.3-3_loong64.deb | 3.4 MiB | 2024-Aug-05 09:03 |