packages:
    cryptol.cabal
    cryptol-remote-api
    tests
    deps/argo/argo