1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-15 03:14:23 +00:00
freebsd-ports/math/proofgeneral
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