tag -1 pendingBug #1005920 [src:coq-doc] coq-doc: FTBFS: Error: Library "zarith" not found. Added tag(s) pending.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 296 |
Nodes: | 16 (2 / 14) |
Uptime: | 53:17:13 |
Calls: | 6,650 |
Calls today: | 2 |
Files: | 12,200 |
Messages: | 5,330,489 |