New Upstream Snapshot - coq-interval
More details
Historical runs
- apt-broken-packages: Broken apt packages: ['libcoq-bignums-fe460']
- command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code 1
- success: Merged new upstream version 4.6.0+git20221027.1.ab6a9e2
- success: Merged new upstream version 4.5.2+git20220825.1.64c29f2
- result-push-failed: Failed to push result branch: Connection closed: Connection closed early The remote server unexpectedly closed the connection.
- 401-unauthorized: Unexpected HTTP status 401 for https://salsa.debian.org/ocaml-team/interval.git/info/refs?service=git-upload-pack: Unable to handle http code: Unauthorized