![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | Manifest | 2025-03-20 12:38 | 129K |
![]() | dafny-4.8.0.ebuild | 2025-03-20 12:38 | 21K |
![]() | dafny-4.8.1.ebuild | 2025-03-20 12:38 | 21K |
![]() | dafny-4.9.0.ebuild | 2025-03-20 12:38 | 20K |
![]() | dafny-4.9.1.ebuild | 2025-03-20 12:38 | 19K |
![]() | dafny-4.10.0.ebuild | 2025-03-20 12:38 | 18K |
![]() | files/ | 2025-04-05 09:44 | - |
![]() | metadata.xml | 2025-03-20 12:38 | 1.8K |