This website requires JavaScript.
Explore
Help
Sign In
Mirrors
/
freebsd-ports
mirror of
https://git.freebsd.org/ports.git
Watch
1
Star
0
Fork
You've already forked freebsd-ports
0
Code
Issues
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
…
pkg-descr
…
pkg-plist
math/hs-Agda: Fix plist
2024-03-16 14:51:15 +03:00