This website requires JavaScript.
Explore
Help
Register
Sign In
kpriv
/
freebsd-ports
Watch
1
Star
0
Fork
You've already forked freebsd-ports
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
main
freebsd-ports
/
math
/
hs-Agda
History
Andrey Korobkov
d9edbdde5d
math/hs-Agda: Fix LICENSE
...
PR: 277730
2024-03-16 14:58:29 +03:00
..
Makefile
math/hs-Agda: Fix LICENSE
2024-03-16 14:58:29 +03:00
distinfo
math/hs-Agda: Update to 2.6.4.3
2024-03-16 14:51:15 +03:00
pkg-descr
…
pkg-plist
math/hs-Agda: Fix plist
2024-03-16 14:51:15 +03:00