diff --git a/linear-smc.cabal b/linear-smc.cabal
--- a/linear-smc.cabal
+++ b/linear-smc.cabal
@@ -1,6 +1,6 @@
 Cabal-Version:  3.0
 name:           linear-smc
-version:        2.0.1
+version:        2.0.2
 category:       control
 synopsis:       Build SMC morphisms using linear types
 description:
@@ -21,7 +21,7 @@
 
 library
   build-depends:       base >=4.13 && < 666
-  build-depends: constraints
+  build-depends: constraints >= 0.13.4 && < 666
 
   default-language: Haskell2010
   exposed-modules:
@@ -34,7 +34,7 @@
 
 Test-Suite test-unitary
   build-depends: constraints
-  build-depends: array
+  build-depends: array >= 0.5.4 && < 666
   default-language: Haskell2010
   type:       exitcode-stdio-1.0
   main-is:    examples/Unitary.hs
