tag -1 pendingBug #1003797 [libssreflect-coq] libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 296 |
Nodes: | 16 (2 / 14) |
Uptime: | 35:34:11 |
Calls: | 6,648 |
Calls today: | 3 |
Files: | 12,193 |
Messages: | 5,328,927 |