Use github cause dhall-lang.org throws handshake exception

eta-lang · Aug 29, 2019 · 444f08d · 444f08d
1 parent 21b459f
commit 444f08d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dhall/utils/mapBuildInfo.dhall b/dhall/utils/mapBuildInfo.dhall
@@ -1,8 +1,8 @@
 let types = ../types.dhall
 
-let mapOptional = https://prelude.dhall-lang.org/v8.0.0/Optional/map
+let mapOptional = https://github.com/dhall-lang/dhall-lang/raw/v8.0.0/Prelude/Optional/map
 
-let mapList = https://prelude.dhall-lang.org/v8.0.0/List/map
+let mapList = https://github.com/dhall-lang/dhall-lang/raw/v8.0.0/Prelude/List/map
 
 let mapGuarded =
         λ(a : Type)