mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-18 03:46:03 +00:00
Code Issues Releases Activity
152,597 Commits 45 Branches 100 Tags 3.4 GiB
a2b985d4dc
Commit Graph

3 Commits

Author SHA1 Message Date
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