index
:
freebsd-ports
2024Q1
2024Q2
2025Q1
LuaLS
main
mcwm-from-git
p5-HTTP-DAV_0.50
py-calendar-cli
py-calendar_cli
py-calendar_cli@2025Q1
py-icalendar-6.1.1@2025Q1
wp-cli
FreeBSD ports tree
cos
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
math
/
coq
Mode
Name
Size
-rw-r--r--
Makefile
1770
log
plain
-rw-r--r--
distinfo
129
log
plain
-rw-r--r--
pkg-descr
795
log
plain
-rw-r--r--
pkg-plist
37815
log
plain
