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: | 489 |
Nodes: | 16 (2 / 14) |
Uptime: | 54:46:00 |
Calls: | 9,673 |
Calls today: | 4 |
Files: | 13,719 |
Messages: | 6,170,888 |