notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC		 Ukraine
The recently imposed "must be logged in" restriction is a response to increased bot traffic on the site. This affects search, commits, and vuxml pages.
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
non port: math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop

Number of commits found: 3

Thursday, 19 Apr 2012
22:38 scheidell search for other commits by this committer 
- Update to 4.1
- Fix build on amd64
- XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs
may be used
- Omit pdf compilation since a newer version of latex then is in ports is needed
- Use PORTDOCS= macros to simplefy Makefile and pkg-plist

PR:             ports/166867
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer0
Original commit
Monday, 1 May 2006
18:00 sem search for other commits by this committer 
- Update to 3.6

PR:             ports/94670
Submitted by:   maintainer
Original commit
Wednesday, 31 Aug 2005
10:36 barner search for other commits by this committer 
Add proofgeneral 3.5, a generic interface for proof assistants.

PR:             84788
Submitted by:   Timothy Bourke <timbob@bigpond.com>
Original commit

Number of commits found: 3
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
mariadb1011-server*Jun 30
mariadb106-server*Jun 30
mariadb114-server*Jun 30
mariadb118-server*Jun 30
gitlabJun 12
h2oJun 11
h2oJun 11
h2oJun 11
chromiumJun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10
erlang-runtime27Jun 10

30 vulnerabilities affecting 310 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-06-12 04:54:21 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 34582
Broken 97
Deprecated 322
Ignore 211
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 41
Expired 15
Set to expire 251
Interactive 0
new 24 hours 3
new 48 hours4
new 7 days24
new fortnight59
new month148
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.