hatex-guide setup fails (#885)
setup: /home/stackage/.hatex-guide: createDirectory: permission denied
commit48ad48aa64cef6082d6bf73d36d3157fd3f4aa29
authorJens Petersen <juhpetersen@gmail.com>
dateMon 12 Oct 2015, 11:30 (11 years ago)
parentb5638fb
build-constraints.yaml+2−1
@@ -435,7 +435,8 @@ packages:
435435 - grouped-list
436436 - haskintex
437437 - HaTeX
438− - hatex-guide
438+ # fails see #885
439+ #- hatex-guide
439440 - include-file
440441 - matrix
441442 - pcre-light