diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-01-04 20:16:51 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-01-04 20:17:07 +0100 |
| commit | e350183823b887d25df58129141251d56616e8ae (patch) | |
| tree | f33794ef46ca982516e4b45aa352a96dbc55d55a /cabal.project | |
| parent | 237128fc3aa8ad6478a5cf759ba31e967b24fd77 (diff) | |
Pull orthotope from git
Diffstat (limited to 'cabal.project')
| -rw-r--r-- | cabal.project | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cabal.project b/cabal.project index 697d3bd..63831f5 100644 --- a/cabal.project +++ b/cabal.project @@ -3,3 +3,8 @@ with-compiler: ghc-9.8.2 allow-newer: orthotope:deepseq + +source-repository-package + type: git + location: https://github.com/augustss/orthotope + tag: master |