New Upstream Release - coq-interval
No unpublished successful runs for coq-interval.
Historical runs
- nothing-to-do: Last upstream version 4.8.0 already imported.
- success: Merged new upstream version 4.8.0
- nothing-to-do: Last upstream version 4.6.1 already imported.
- nothing-to-do: Last upstream version 4.6.1 already imported.
- command-failed: Script ['deb-new-upstream', '--refresh-patches'] failed to run with code 1