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: | 493 |
Nodes: | 16 (0 / 16) |
Uptime: | 168:10:20 |
Calls: | 9,703 |
Calls today: | 3 |
Files: | 13,733 |
Messages: | 6,178,173 |