From e350183823b887d25df58129141251d56616e8ae Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 4 Jan 2025 20:16:51 +0100
Subject: Pull orthotope from git

---
 cabal.project | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'cabal.project')

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
-- 
cgit v1.2.3-70-g09d2