tag -1 pendingBug #1005254 [src:ssreflect] libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4)
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 490 |
Nodes: | 16 (3 / 13) |
Uptime: | 69:28:24 |
Calls: | 9,678 |
Calls today: | 2 |
Files: | 13,722 |
Messages: | 6,172,044 |