Steadfast Chicago Mirror
Index of /gentoo-portage/dev-lang/dafny/
![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | files/ | 2024-06-13 05:44 | - | |
![]() | metadata.xml | 2023-09-17 14:40 | 1.8K | |
![]() | dafny-4.6.0.ebuild | 2024-05-28 08:01 | 19K | |
![]() | Manifest | 2024-06-07 08:10 | 113K | |