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 | |
| lunar | universe | base | 2.3.0+dfsg-0.1 | |
| noble | universe | base | 2.3.0+dfsg-0.1 | |
| mantic | universe | base | 2.3.0+dfsg-0.1 | |
| bionic | universe | base | 1.9.7-1 |
Search Package
About
-
Send Feedback to @ubuntu_updates
