diff --git a/cabal.project b/cabal.project
index 70f0cdceb3..7124923104 100644
--- a/cabal.project
+++ b/cabal.project
@@ -31,7 +31,6 @@ packages:
     deps/dwarf
     deps/argo/argo
     deps/argo/tasty-script-exitcode
-    deps/argo/python
     deps/cryptol/cryptol-remote-api
 
 allow-newer: uuid:random
diff --git a/saw-remote-api/saw-remote-api.cabal b/saw-remote-api/saw-remote-api.cabal
index bfd9aabd49..48486dece2 100644
--- a/saw-remote-api/saw-remote-api.cabal
+++ b/saw-remote-api/saw-remote-api.cabal
@@ -111,8 +111,7 @@ test-suite test-saw-remote-api
   hs-source-dirs:      test
   main-is:             Test.hs
   other-modules:       Paths_saw_remote_api
-  build-depends:       argo-python,
-                       cryptol-remote-api,
+  build-depends:       cryptol-remote-api,
                        filepath,
                        process,
                        quickcheck-instances,