distinfo « isabelle « 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/isabelle/distinfo

blob: 725a1b51e2aad40699b6d6d1ab91ab3803aca7b8 (plain) (blame)

SHA256 (Isabelle2009-2.tar.gz) = f92a275b78bd8844de47a5902e339b58f3b768c07a7fb19d8e606b68499d5ac4
SIZE (Isabelle2009-2.tar.gz) = 25193255
SHA256 (Isabelle2009-2_library.tar.gz) = 1cf4cc438185146367938308e01be2f29b793d6c343299aa697def9a098e63aa
SIZE (Isabelle2009-2_library.tar.gz) = 54438382