kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
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