Merge branch 'adinapoli/issue-3' into 'master'

Upgrade nixpkgs, use GHC 9.6.6, make it build with cabal

Closes #3

See merge request !1
Status Job ID Name Coverage
  Cabal
failed #17295
cabal

 
  Test
skipped #17296
test
 
Name Stage Failure
failed
cabal Cabal There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job trace