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
2013-10-22
- Remove manual creation and removal of share/applications, as it's now in th...
Dmitry Marakasov
2013-09-20
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
Baptiste Daroussin
2013-09-16
Convert to new perl framework
Baptiste Daroussin
2013-04-15
- Don't delete gnomehier directories
Bryan Drewery
2013-03-31
- Fix packaging by removing unneeded PACKAGE_BUILDING hack
Bryan Drewery
2013-03-30
GNU Emacs updates
Ashish SHUKLA
2012-09-04
Chase Emacs updates
Ashish SHUKLA
2012-08-01
- Bump PORTREVISION to chase Emacs port updates
Ashish SHUKLA
2012-07-12
- Fix build with new texi2html
Alex Kozlov
2012-06-27
- Mark BROKEN: does not build
Pav Lucistnik
2012-06-01
- update png to 1.5.10
Dirk Meyer
2012-04-19
- Update to 4.1
Michael Scheidell
2011-06-18
- Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.
Hiroki Sato
2011-05-02
Bump PORTREVISION after open-mofit update
Max Brazhnikov
2011-03-20
- Get Rid MD5 support
Martin Wilke
2010-03-28
- update to 1.4.1
Dirk Meyer
2010-02-26
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
Martin Wilke
2010-02-05
- update to jpeg-8
Dirk Meyer
2009-07-31
- bump all port that indirectly depends on libjpeg and have not yet been bump...
Dirk Meyer
2008-08-15
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
Edwin Groothuis
2008-06-06
Bump portrevision due to upgrade of devel/gettext.
Edwin Groothuis
2008-04-10
- Remove empty files
Pav Lucistnik
2008-04-04
- Update to 3.7
Rong-En Fan
2007-10-27
Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..
Jeremy Messenger
2007-10-25
Fix the *.desktop installation, bump the PORTREVISION.
Jeremy Messenger
2007-10-24
Presenting GNOME 2.20.1 and all related works for FreeBSD. The official
Joe Marcus Clarke
2007-05-19
- Welcome X.org 7.2 \o/.
Florent Thoumie
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