freebsd-ports/math/hs-Agda
2021-04-06 16:31:07 +02:00
..
distinfo
Makefile
pkg-descr
pkg-plist