[Jenkins]Jenkins

Änderungen

Summary

  1. Use cabal -f old-patch (commit: 819fbc6) (details)
Commit 819fbc6f7e1b6c184e9c09bd373f781b9e962570 by lep.delete
Use cabal -f old-patch

I guess that works now. I don't care about cabal one bit.
 (commit: 819fbc6)
The file was modifiedMain.hs (diff)
The file was removedcabal.project.local.128
The file was removedcabal.project.local.133
The file was modifiedGNUmakefile (diff)