Index of /mirrors/gentoo-portage/dev-lang/dafny-bin

      Name                              Last modified      Size  Description
Parent Directory - Manifest 2023-09-30 15:40 2.1K dafny-bin-3.12.0.ebuild 2023-09-18 06:11 1.2K dafny-bin-4.2.0.ebuild 2023-09-17 20:40 1.2K dafny-bin-4.3.0.ebuild 2023-09-30 15:40 1.2K metadata.xml 2023-02-28 18:10 1.8K
ftp.heanet.ie