index
:
freebsd-ports
2024Q1
2024Q2
2025Q1
LuaLS
golang-allow_triage-2025Q1
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
1449
log
plain
-rw-r--r--
distinfo
188
log
plain
-rw-r--r--
pkg-descr
795
log
plain
-rw-r--r--
pkg-plist
13050
log
plain
