tentatively add orthotope (#7799)

Author: juhp

build-constraints.yaml

@@ -5709,6 +5709,7 @@ packages:
         - options
         - optparse-applicative
         - optparse-simple
+        - orthotope
         - parallel
         - parallel-io
         - paramtree
@@ -7449,6 +7450,7 @@ packages:
         - optparse-generic < 0 # tried optparse-generic-1.5.2, but its *library* requires optparse-applicative >=0.16.0.0 && < 0.19 and the snapshot contains optparse-applicative-0.19.0.0
         - optparse-generic < 0 # tried optparse-generic-1.5.2, but its *library* requires time >=1.5 && < 1.13 and the snapshot contains time-1.14
         - ormolu < 0 # tried ormolu-0.8.0.0, but its *executable* requires optparse-applicative >=0.14 && < 0.19 and the snapshot contains optparse-applicative-0.19.0.0
+        - orthotope < 0 # tried orthotope-0.1.7.0, but its *library* requires QuickCheck >=2.14.3 && < 2.16 and the snapshot contains QuickCheck-2.16.0.0
         - packdeps < 0 # tried packdeps-0.6.0.0, but its *executable* requires optparse-applicative >=0.14 && < 0.17 and the snapshot contains optparse-applicative-0.19.0.0
         - packdeps < 0 # tried packdeps-0.6.0.0, but its *library* requires Cabal >=3.2 && < 3.3 and the snapshot contains Cabal-3.14.1.0
         - packdeps < 0 # tried packdeps-0.6.0.0, but its *library* requires tar >=0.4 && < 0.6 and the snapshot contains tar-0.6.4.0