Skip to content
Snippets Groups Projects
Commit fea2790a authored by Ryan Scott's avatar Ryan Scott
Browse files

Mark diagrams-core as broken due to ghc#20539

parent d303d951
No related branches found
No related tags found
1 merge request!180Update patches to accommodate the new type-level (<=)
......@@ -83,6 +83,7 @@ case $version in
9.3.*)
# package ticket
broken "Agda" 20294
broken "diagrams-core" 20539
broken "doctest" 30 # head.hackage#30, that is
;;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment