Packages can cause the SAT to drastically slow down or even stop

[beef331]

Using the following nimble(v0.16.4)

# 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.