1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-03 01:23:49 +00:00
freebsd-ports/math/hs-Agda
2020-08-31 10:58:30 +00:00
..
files math/hs-Agda: Fix build with new GHC. 2020-08-23 15:57:48 +00:00
distinfo
Makefile math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve 2020-08-31 10:58:30 +00:00
pkg-descr
pkg-plist