/gentoo-portage/dev-lang/dafny-bin/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| metadata.xml | 1.8 KiB | 2025-Mar-20 14:38 |
| dafny-bin-4.10.0-r1.ebuild | 1.3 KiB | 2025-Sep-13 18:09 |
| dafny-bin-4.11.0-r1.ebuild | 1.3 KiB | 2025-Nov-07 22:18 |
| Manifest | 1.5 KiB | 2025-Nov-07 22:18 |