mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-02 06:03:50 +00:00
Code Issues Releases Activity
157,106 Commits 45 Branches 101 Tags 3.3 GiB
f76141e4cd
Commit Graph

4 Commits

Author SHA1 Message Date
Shaun Amott
b194feb0a6 Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX 
PR:		ports/99341
Submitted by:	shaun (me)
Approved by:	ahze (mentor)
 2006-06-23 02:29:06 +00:00
Edwin Groothuis
a2b985d4dc add SHA256 checksum 2006-06-07 14:19:41 +00:00
Sergey Matveychuk
b445a12fa5 - Update to 2005 
PR:		ports/94671
Submitted by:	maintainer
 2006-05-01 18:01:58 +00:00
Simon Barner
80bd7289ee Add isabelle 2004, a generic proof assistant. 
PR:		84859
Submitted by:	Timothy Bourke <timbob@bigpond.com>
 2005-09-01 10:03:58 +00:00