File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
libcoq-reduction-effects_0.1.5-5_loong64.deb | 14.8 KiB | 2024-Aug-04 15:03 |
libcoq-reduction-effects-dbgsym_0.1.5-5_loong64..> | 3.0 KiB | 2024-Aug-04 15:03 |
coq-reduction-effects_0.1.5-5_loong64.buildinfo | 6.8 KiB | 2024-Aug-04 15:03 |