cabal2nix/Migrate cabal2nix's Main module to a library-exposed module.9 years ago doc/Update mailing list.9 years ago hackage2nix/Require Cabal 2.x.9 years ago src/liquid-fixpoint: disable test suite to fix the build9 years ago test/Use cabal-doctests to run the doctest suite.9 years ago .gitignoregit: update list of ignored files9 years ago .travis.ymlRequire Cabal 2.x.9 years ago LICENSEtravis: switch CI builds from Stack to cabal-install10 years ago README.mdUpdate README.md9 years ago Setup.hsUse cabal-doctests to run the doctest suite.9 years ago cabal2nix.cabalBump version number for release.9 years ago package.yamlBump version number for release.9 years ago update-nixpkgs.shupdate-nixpkgs.sh: don't update the cabal-install tarball any more: it's unnecessary9 years ago update-stackage.shupdate-stackage.sh: always use the latest git-annex9 years ago