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-15 03:14:23 +00:00
Code
Issues
Releases
Activity
3165248e8b
freebsd-ports
/
math
/
proofgeneral
History
Erwin Lansing
70480582d4
Remove zero-sized files.
2006-07-10 20:44:48 +00:00
..
files
Remove zero-sized files.
2006-07-10 20:44:48 +00:00
distinfo
- Update to 3.6
2006-05-01 18:00:51 +00:00
Makefile
Remove USE_REINPLACE from ports starting with M
2006-05-10 22:37:39 +00:00
pkg-descr
pkg-plist
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat
2006-05-16 12:03:31 +00:00