Théophile Choutri de Tarlé

Results 214 comments of Théophile Choutri de Tarlé

@lucasdicioccio cool, thanks for the explanation. :)

@lucasdicioccio Hi! Could you please rebase your PR on current `master`? This will trigger a build of the cookbook. :)

@lucasdicioccio thanks! I and others will take a look. :)

> If feasible, it would be good if Flora could handle unknown introduced/fixed versions in advisories and use comparison operators on the Version type to deduce whether some known package...

Note that using `cabal-install` 3.14.2.0 works perfectly fine. Here is a `-v3` log of the cabal command run by HLS: Details ``` ❯ cabal -v3 \ --builddir=/home/tchoutri/.cache/hie-bios/dist-kitty-keyboard-protocol-1388541a692403313ef229670782cab8 \ v2-repl --with-compiler...

Edit: It would appear that starting with 3.15.0.0, response files are used, and as such the hie-bios wrapper expecting `--interactive` only gets something like `@/tmp/ghc152255-0.rsp`. If HLS has a way...

@intolerable Hi, thanks for reporting this. I'd be really grateful if you could submit a PR to fix this, if you have the time. :)

@michaelpj I do believe there's a button somewhere, but maybe I'm misremembering

> Because there is no way to confirm that package x from hackage.haskell.org and package x from Cardano (or any other source) are the same package, we do need a...