Andreas Abel

Prompted by this issue, Agda 2.8 might have more usable `DISPLAY` pragmas: - https://github.com/agda/agda/pull/7543 This should fix your problem (albeit not right now).

Isn't this fixed by switching to Agda 2.8.0?

> Error: The following Agda errors are not covered by the testsuite: > - GenericError That's a good thing! There is a list of errors we do not need to...

I squashed these, removing the commit debugging the pkg-config issue. Will merge this regardless of the CI failure, which is unrelated.

2025-03-26 Agda dev meeting: - needs CI: ask @wenkokke for ideas - testsuite needs some patching to work with wasm - release unix-compat

> Unfortunately, the [only existing project I can find](https://hackage.haskell.org/package/lock-file) to do this seems pretty unmaintained, This project still builds, but it is not in Stackage so one should add it...

> > Instead of depending on it, we could simply merge it wholesale into `Agda.Utils` and use it when compiling to WASM. > > That package does not have the...

@andy130tw Do you want to push these updates here?

Closed in favor of - #8205

Recent PR that _could_ be related: - #10089