index
:
freebsd-ports
2024Q1
2024Q2
2025Q1
LuaLS
golang-allow_triage-2025Q1
main
mcwm-from-git
p5-HTTP-DAV_0.50
py-calendar-cli
py-calendar_cli
py-calendar_cli@2025Q1
py-icalendar-6.1.1@2025Q1
wp-cli
FreeBSD ports tree
cos
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
math
/
proofgeneral
Age
Commit message (
Expand
)
Author
2007-04-01
Now appears to build on amd64
Kris Kennaway
2007-03-05
Fix deinstall and unbroke port.
Andrey Slusar
2007-02-27
BROKEN: Incomplete pkg-plist
Kris Kennaway
2007-02-06
* Remove the direct inclusion of bsd.emacs.mk
Andrey Slusar
2006-12-09
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
Kris Kennaway
2006-11-30
BROKEN: incomplete pkg-plist
Kris Kennaway
2006-11-11
Fix plist and unbroken port.
Andrey Slusar
2006-10-15
BROKEN: Incorrect pkg-plist
Kris Kennaway
2006-07-10
Remove zero-sized files.
Erwin Lansing
2006-05-16
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat
Sergey Matveychuk
2006-05-10
Remove USE_REINPLACE from ports starting with M
Edwin Groothuis
2006-05-06
- Add USE_EMACS=yes. It should present in all emacsen ports.
Sergey Matveychuk
2006-05-01
- Update to 3.6
Sergey Matveychuk
2006-01-22
SHA256ify
Edwin Groothuis
2006-01-22
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
Edwin Groothuis
2005-10-28
BROKEN on amd64: Does not build
Kris Kennaway
2005-09-15
Fix plist.
Simon Barner
2005-09-15
Fix build:
Simon Barner
2005-08-31
Add proofgeneral 3.5, a generic interface for proof assistants.
Simon Barner
