#1014358 src:why3: fails to migrate to testing for too long: blocked by dependency

Package:
src:why3
Source:
why3
Submitter:
Paul Gevers
Date:
2022-07-04 20:18:05 UTC
Severity:
serious
Tags: