Mouse

Is there a difference between `stack setup 8.8.2` and `ghcup install 8.8.2`? I'm trying to avoid keeping extraneous copies of GHC if at all possible, as reach of them takes...

Here's what I tried: ```sh $ ghcup set 8.8.2 Setting GHC to 8.8.2 Done $ stack setup 8.8.2 Stack has not been tested with GHC versions above 8.6, and using...

@alanz very same error. I've disabled using system-ghc, made stack download it's "own" GHC-8.8.2, and ran the build. Here's the complete log: ```sh $ stack setup 8.8.2 Stack has not...

I'll have some projects using GHC-8.6.5, and some - using GCH-8.8.2. If I don't need *two* HIE builds to support them both - I'll happily use `hie-8.6.5`. Changed everything to...

Reverted to `lts-14.11`: ```sh $ stack clean --full The same package name is used in multiple local packages haddock-api used in: - PLImmutable (PLIHackage (PackageIdentifier {pkgName = PackageName "haddock-api", pkgVersion...

> Mmm, ok, maybe building the script can give us more clues about the cause, `cd ./install && stack build --stack-yaml shake.yaml` gives you more info? ``` $ cd ./install...

> ... it seems you have somewhere some config option set to pass ... `-Wall -Werror=all` ... in the stack build. I'm pretty sure I have `-Wall` in `$STACK_ROOT/config.yaml` -...

> There is another way: you can copy the working `cabal-project` for `ghc-8.8.2` as `cabal.project-8.8.2`... @jneira do you know if there's a way to have several `cabal.project.*` files, **and** have...

> Afaik there is no an automatic way built in cabal (and neither hie cause it follows cabal here). :-( > However i am improving the install script to have...

I wonder how liboqs generates certificates with PQ algorithms, considering that OIDs for them haven't been assigned yet (as far as I know)? Also, I thought that liboqs tracks all...