on master help sign in
Merge pull request #2512 from RyanGlScott/master
3c7aaaeMihai Maruseac
build-constraints.yaml−3
@@ -3401,9 +3401,6 @@ skipped-tests:
3401 # criterion
3401 # criterion
3402 - store
3402 - store
3403
3403
3404− # requires custom setup?
3405− - ersatz # https://github.com/fpco/stackage/issues/2508
3406−
3407# end of skipped-tests
3404# end of skipped-tests
3408
3405
3409# Tests which we should build and run, but which are expected to fail. We
3406# Tests which we should build and run, but which are expected to fail. We
debian-bootstrap.sh+1
@@ -117,6 +117,7 @@ apt-get install -y \
117 llvm-3.7 \
117 llvm-3.7 \
118 locales \
118 locales \
119 m4 \
119 m4 \
120+ minisat \
120 mono-mcs \
121 mono-mcs \
121 nettle-dev \
122 nettle-dev \
122 nodejs \
123 nodejs \