distinfo « why3 « math - 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/math/why3/distinfo

blob: 2c961b8aba6163dcbbd65ee6fa20db9ab73b0d08 (plain) (blame)

1 2	`SHA256 (why3-0.83.tar.gz) = cabf67e939e3422e491ef596f1a09ceaf1615642904182097cebde90e42e9ac9 SIZE (why3-0.83.tar.gz) = 5347628`