UbuntuUpdates.org

All "dafny" versions

Deleted packages are displayed in grey.

Release Repository Level Version PPA
focal universe base 2.3.0+dfsg-0.1
jammy universe base 2.3.0+dfsg-0.1
noble universe base 2.3.0+dfsg-0.1
bionic universe base 1.9.7-1


Search Package




About   -   Send Feedback to @ubuntu_updates