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: 1aa95268493b1be5282c72ee6b573bd6cd96072d (plain) (blame)

1
2
3

MD5 (uppaal-4.0.2.zip) = 6698f31403a6543d850e43d4a85025f4
SHA256 (uppaal-4.0.2.zip) = b415a981415499d7a587915f28451f95445d345c7fa91f4c19f390d8e766c6ff
SIZE (uppaal-4.0.2.zip) = 6996650