haskell-hans: drop obsolete patch
This commit is contained in:
parent
d6f38f5fd8
commit
e771dc4b06
@ -765,9 +765,6 @@ self: super: {
|
|||||||
elm-server = markBroken super.elm-server;
|
elm-server = markBroken super.elm-server;
|
||||||
elm-yesod = markBroken super.elm-yesod;
|
elm-yesod = markBroken super.elm-yesod;
|
||||||
|
|
||||||
# https://github.com/GaloisInc/HaNS/pull/8
|
|
||||||
hans = appendPatch super.hans ./patches/hans-disable-webserver.patch;
|
|
||||||
|
|
||||||
# https://github.com/athanclark/sets/issues/2
|
# https://github.com/athanclark/sets/issues/2
|
||||||
sets = dontCheck super.sets;
|
sets = dontCheck super.sets;
|
||||||
|
|
||||||
|
@ -1,11 +0,0 @@
|
|||||||
diff -Naur hans-2.5.0.0/hans.cabal hans-2.5.0.1/hans.cabal
|
|
||||||
--- hans-2.5.0.0/hans.cabal 2015-08-06 14:48:45.453072822 +0300
|
|
||||||
+++ hans-2.5.0.1/hans.cabal 2015-08-06 14:49:13.044391528 +0300
|
|
||||||
@@ -30,6 +30,7 @@
|
|
||||||
description: Build the example program
|
|
||||||
|
|
||||||
flag web-server
|
|
||||||
+ default: False
|
|
||||||
description: Build a simple web-server example
|
|
||||||
|
|
||||||
flag word32-in-random
|
|
Loading…
x
Reference in New Issue
Block a user