Packages can cause the SAT to drastically slow down or even stop
Using the following nimble(v0.16.4)
```nim


# Package

version       = "0.1.0"
author        = "author"
description   = "A new awesome nimble package"
license       = "MIT"
srcDir        = "src"


# Dependencies

requires "nim >= 2.3.1"
requires "https://github.com/disruptek/frosty"
```

when the command `nimble install -D --verbose` is ran it seemingly does nothing after printing the following
```
Info: Package cache path /home/jason/.nimble/pkgcache
Info:  Nimble data file "/home/jason/.nimble/nimbledata2.json" has been loaded.
 ```