distinfo « hs-Agda « 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/hs-Agda/distinfo

blob: 485c853062a9f03f877c61414ebe16f41214b25d (plain) (blame)

1 2	`SHA256 (cabal/Agda-2.3.2.tar.gz) = d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 SIZE (cabal/Agda-2.3.2.tar.gz) = 726462`