This website requires JavaScript.
Explore
Help
Sign In
mirror
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
mirror of
https://git.FreeBSD.org/ports.git
synced
2024-11-19 00:13:33 +00:00
Code
Issues
Releases
Activity
b7eb23438a
freebsd-ports
/
math
/
hs-Agda
History
Andrey Korobkov
d9edbdde5d
math/hs-Agda: Fix LICENSE
...
PR: 277730
2024-03-16 14:58:29 +03:00
..
distinfo
Makefile
math/hs-Agda: Fix LICENSE
2024-03-16 14:58:29 +03:00
pkg-descr
pkg-plist
math/hs-Agda: Fix plist
2024-03-16 14:51:15 +03:00