@@ -41,7 +41,7 @@ configureCabalFlags (PackageIdentifier (PackageName name) version)
41 | name == "idris" = [enable "gmp", enable "ffi", enable "curses"]
41 | name == "idris" = [enable "gmp", enable "ffi", enable "curses"]
42 | name == "io-streams" = [enable "NoInteractiveTests"]
42 | name == "io-streams" = [enable "NoInteractiveTests"]
43 | name == "liquid-fixpoint" = [enable "build-external"]
43 | name == "liquid-fixpoint" = [enable "build-external"]
44− | name == "pandoc" = [enable "https"]
44+ | name == "pandoc" = [enable "https", disable "trypandoc"]
45 | name == "reactive-banana-wx" = [disable "buildExamples"]
45 | name == "reactive-banana-wx" = [disable "buildExamples"]
46 | name == "snap-server" = [enable "openssl"]
46 | name == "snap-server" = [enable "openssl"]
47 | name == "xmobar" = [enable "all_extensions"]
47 | name == "xmobar" = [enable "all_extensions"]