mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-29 05:38:00 +00:00
Code Issues Releases Activity
15a01eb990
freebsd-ports/math/hs-Agda
History
Gleb Popov 7fbb9efab1 Update some hs-* ports that were previously IGNORE'd. 
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16308
2018-07-29 10:40:28 +00:00
..
files Update some hs-* ports that were previously IGNORE'd. 2018-07-29 10:40:28 +00:00
distinfo Update some hs-* ports that were previously IGNORE'd. 2018-07-29 10:40:28 +00:00
Makefile Update some hs-* ports that were previously IGNORE'd. 2018-07-29 10:40:28 +00:00
pkg-descr