Arthur Zamarin 4cdfdaf245 dev-lang/dafny-bin: Stabilize 4.7.0 amd64, #937076 ...

Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>

2024-08-01 19:47:12 +03:00

..

dafny-bin-4.6.0.ebuild

dev-lang/dafny-bin: Stabilize 4.6.0 amd64, #930843

2024-04-29 01:06:22 +01:00

dafny-bin-4.7.0.ebuild

dev-lang/dafny-bin: Stabilize 4.7.0 amd64, #937076

2024-08-01 19:47:12 +03:00

Manifest

dev-lang/dafny-bin: bump to 4.7.0

2024-06-28 00:42:19 +02:00

metadata.xml

…