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-12-04 01:48:54 +00:00
Code
Issues
Releases
Activity
d8324afa4f
freebsd-ports
/
math
/
proofgeneral
History
Edwin Groothuis
53354e7e9c
SHA256ify
...
Approved by: krion@
2006-01-22 12:59:47 +00:00
..
files
distinfo
SHA256ify
2006-01-22 12:59:47 +00:00
Makefile
BROKEN on amd64: Does not build
2005-10-28 06:34:44 +00:00
pkg-descr
pkg-plist
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
2006-01-22 02:30:01 +00:00