Merge pull request #3433 from Daniel-Diaz/patch-3

Restore HaTeX
This commit is contained in:
Joe Kachmar 2018-03-20 22:39:28 -04:00 committed by GitHub
commit 9089999abd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3383,7 +3383,6 @@ packages:
# round 2:
- HSet < 0 # DependencyFailed (PackageName "hashtables")
- HaTeX < 0 # DependencyFailed (PackageName "matrix")
- bookkeeping < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
- cartel < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
- cases < 0 # DependencyFailed (PackageName "loch-th")