packages feed

crucible-debug-0.1.0: test-data/obligation.txt

> obligation

No proof obligations

> quit

Ok