New Upstream Snapshot - agda
Refreshing quilt patches after merging in a new upstream source failed.
More details
Historical runs
- quilt-refresh-error: An error occurred refreshing quilt patch var-lib-agda
- quilt-refresh-error: An error occurred refreshing quilt patch var-lib-agda: Applying patch p/agda/debian/patches/var-lib-agda can't find file to patch at input line 7 Perhaps you used the wrong -p or --strip option? The text leading up to this was: -------------------------- |See https://github.com/agda/agda/issues/2804 | |Index: b/src/full/Agda/Interaction/Library.hs |=================================================================== |--- a/src/full/Agda/Interaction/Library.hs |+++ b/src/full/Agda/Interaction/Library.hs -------------------------- No file to patch. Skipping patch. 1 out of 1 hunk ignored Patch p/agda/debian/patches/var-lib-agda does not apply (enforce with -f)