mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-18 19:49:40 +00:00
Code Issues Releases Activity
75b95e59bd
freebsd-ports/math/hs-Agda
History
Gleb Popov ef619face3 math/hs-Agda: Update to latest version and unbreak. 
Approved by:	tcberner (mentor, implicit)
2019-06-13 18:51:51 +00:00
..
distinfo math/hs-Agda: Update to latest version and unbreak. 2019-06-13 18:51:51 +00:00
Makefile math/hs-Agda: Update to latest version and unbreak. 2019-06-13 18:51:51 +00:00
pkg-descr
pkg-plist math/hs-Agda: Update to latest version and unbreak. 2019-06-13 18:51:51 +00:00