.github/tweaks to the PR template text8 years ago Stackage/ automated/run-nightly.sh: output date after stackage format conversion8 years ago etc/Bump ghc version to 8.6.1 in ./check and ./etc/ci-script.sh8 years ago stackage/Update links to this repo8 years ago .dir-locals.el .dockerignore .gitignore .gitlab-ci.ymlAdd a Gitlab CI configuration8 years ago .gitmodules .project-settings.yml .travis.ymlTry disabling container-based builds for Travis8 years ago CURATORS.mdUpdate link to docker image8 years ago DATA-FLOW.mdUpdate links to this repo8 years ago Dockerfileupdate to cuda-108 years ago LICENSE MAINTAINERS.mdFix "maintainng" typo in MAINTAINERS.md8 years ago README.mdGitter badge8 years ago become-a-curator.mdUpdate links to this repo8 years ago build-constraints.yamlAdd user @eschnett and package mpi-hs8 years ago checkBump ghc version to 8.6.1 in ./check and ./etc/ci-script.sh8 years ago debian-bootstrap.shAdd user @eschnett and package mpi-hs8 years ago