1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-20 20:09:11 +00:00
freebsd-ports/math/proofgeneral
2007-04-01 21:08:15 +00:00
..
files Fix deinstall and unbroke port. 2007-03-05 19:38:17 +00:00
distinfo * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00
Makefile Now appears to build on amd64 2007-04-01 21:08:15 +00:00
pkg-descr
pkg-plist * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00