diff options
| author | Andrés Sicard-Ramírez <asr@eafit.edu.co> | 2020-04-07 13:12:47 (GMT) |
|---|---|---|
| committer | Andrés Sicard-Ramírez <asr@eafit.edu.co> | 2020-04-07 13:13:15 (GMT) |
| commit | 777e8eed1230bcb31ba073b5e9ef3fffd0287a2a (patch) | |
| tree | 6071524a9e3a4ebe3521879409357ea723cb2501 | |
| parent | f4eecc87e0662cc93f70111bb2377b623f76b16f (diff) | |
| download | agda-777e8eed1230bcb31ba073b5e9ef3fffd0287a2a.zip agda-777e8eed1230bcb31ba073b5e9ef3fffd0287a2a.tar.gz agda-777e8eed1230bcb31ba073b5e9ef3fffd0287a2a.tar.bz2 | |
[ stackage ] Bumped LTS for GHC 8.8.3 (15.6 -> 15.7)
| -rw-r--r-- | stack-8.8.3.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stack-8.8.3.yaml b/stack-8.8.3.yaml index 4738852..4d43403 100644 --- a/stack-8.8.3.yaml +++ b/stack-8.8.3.yaml @@ -1,4 +1,4 @@ -resolver: lts-15.6 +resolver: lts-15.7 extra-deps: - data-hash-0.2.0.1 |