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