mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-19 08:13:21 +00:00
Code Issues Releases Activity
78e8367614
freebsd-ports/math/coq
History
Tobias Kortkamp 9284bc5ac0 math: Add missing USES={gl,gnome,php,sdl,xorg}
2019-11-08 14:11:45 +00:00
..
files
distinfo
Makefile math: Add missing USES={gl,gnome,php,sdl,xorg} 2019-11-08 14:11:45 +00:00
pkg-descr
pkg-plist