distinfo « uppaal « devel - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/devel/uppaal/distinfo

blob: db27ba68238f0108336bfbee87b955c9eb7a143c (plain) (blame)

1
2
3

MD5 (uppaal-4.0.6.zip) = d4feef3db9dc6b23b3aada01f32efbb8
SHA256 (uppaal-4.0.6.zip) = 043e3e0930519f1e59edf3ebe541c4a4ac7db3ebbfff2d0aa34514ac8014da8e
SIZE (uppaal-4.0.6.zip) = 6992522