This website requires JavaScript.
Explore
Help
Sign In
cpet
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
2913a9c328
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