Skip to content
Snippets Groups Projects

Add patches for updated Cabal versions and liquid-fixpoint

Failed
Matthew Pickering created pipeline for commit 687895ef
, finished
Related merge request !336 to merge wip/liquidhaskell
latest merge request
14 jobs 323 minutes 9 seconds, queued for 5 seconds