dafni-cli-dafn-facility package intelligence

Package intelligence report

PyPI lists dafni-cli-dafn-facility as a project, but its Simple API currently contains zero distribution files and its project metadata API has no release record.

• Installation: pip install dafni-cli-dafn-facility cannot resolve an installable release from PyPI right now.
• Dependencies and compatibility: unavailable until the project publishes a distribution.
• Index source: verified against the live PyPI Simple API.

PyDeps will replace this status automatically when PyPI publishes usable package metadata.