mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-02 01:20:54 +00:00
Code Issues Releases Activity
970f719615
freebsd-ports/math/isabelle
History
Rong-En Fan aa57d936aa - Update to 2007 
PR:		ports/121000
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-04 12:15:22 +00:00
..
files - Update to 2007 2008-04-04 12:15:22 +00:00
distinfo - Update to 2007 2008-04-04 12:15:22 +00:00
Makefile - Update to 2007 2008-04-04 12:15:22 +00:00
pkg-descr
pkg-plist - Update to 2007 2008-04-04 12:15:22 +00:00