From 37eec011de921504dc16fd16ec9bb0e5008347fd Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 3 Mar 2025 23:28:34 +0100
Subject: Orthotope has been updated: less hacks

---
 cabal.project | 8 --------
 1 file changed, 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
-- 
cgit v1.2.3-70-g09d2