sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-19 03:30:32 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
199215 commits 47 branches 104 tags 1.8 GiB
Commit graph

3 commits

Author SHA1 Message Date
Rong-En Fan
111ea77efc - Update to 3.7 
PR:		ports/120987
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
 2008-04-04 12:13:33 +00:00
Sergey Matveychuk
7a50243ff9 - Update to 3.6 
PR:		ports/94670
Submitted by:	maintainer
 2006-05-01 18:00:51 +00:00
Simon Barner
f6925bfda8 Add proofgeneral 3.5, a generic interface for proof assistants. 
PR:		84788
Submitted by:	Timothy Bourke <timbob@bigpond.com>
 2005-08-31 10:36:36 +00:00