Failed to setup the stack in Debian Stretch

[decaprox]

I'm trying to set the stack, but I get the following error

$ cd tools/capDL
$ make sandbox
stack setup
No information found for ghc-8.0.1.
Supported versions for OS key 'linux64-nopie': GhcVersion 8.0.2, GhcVersion 8.2.1, GhcVersion 8.2.2
Makefile:37: recipe for target 'sandbox' failed
make: *** [sandbox] Error 1

[ajaysusarla]

I just tried to build it and this works for me, maybe because I have 8.0.1 installed locally. The 7.10 resolver still seems valid. We potentially might have to bump up the version of the resolver if this turns out to be a problem.