diff options
author | Tom Smeding <tom@tomsmeding.com> | 2025-03-03 23:28:34 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-03 23:28:34 +0100 |
commit | 37eec011de921504dc16fd16ec9bb0e5008347fd (patch) | |
tree | 01dc19fb804e3b817aa608dabf3ffeabcca0d7e8 | |
parent | d5402b39f31f4cf56a8f583f1d6ceaf7a8aa5acf (diff) |
Orthotope has been updated: less hacks
-rw-r--r-- | cabal.project | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/cabal.project b/cabal.project index 87e4919..d102ed6 100644 --- a/cabal.project +++ b/cabal.project @@ -1,10 +1,2 @@ packages: . with-compiler: ghc-9.8.4 - -allow-newer: - orthotope:deepseq - -source-repository-package - type: git - location: https://github.com/augustss/orthotope - tag: master |