Custom Query
Resolution: fixed (2 matches)
| Ticket | Summary | Owner | Type | Priority | Version | Operating System |
|---|---|---|---|---|---|---|
| #5076 | No instance Show [: Int :] in dph-diophantine-opt | chak | bug | normal | 7.1 | Unknown/Multiple |
| #5065 | dph tests failing | benl | bug | high | 7.1 | Unknown/Multiple |
Note: See TracQuery
for help on using queries.
