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

blob: 6adb590872cbf8d3a7d58a94b1e6c140120c4ab9 (plain) (blame)

1 2	`SHA256 (cabal/Agda-executable-2.3.0.1.tar.gz) = 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 SIZE (cabal/Agda-executable-2.3.0.1.tar.gz) = 1765`