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: | 489 |
Nodes: | 16 (2 / 14) |
Uptime: | 43:08:11 |
Calls: | 9,670 |
Calls today: | 1 |
Files: | 13,716 |
Messages: | 6,169,853 |