added 1 commit
changed title from Attempt to add liquidhaskell-boot to Add patches for updated Cabal versions and liquid-fixpoint
enabled an automatic merge when the pipeline for 687895ef succeeds
aborted the automatic merge because target branch was updated