mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-22 04:17:44 +00:00
Code Issues Releases Activity
1e885c58fb
freebsd-ports/math/isabelle
History
Martin Wilke 6c11582094 - Fix crash with lang/polyml. 
PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
2007-03-22 11:32:00 +00:00
..
files - Fix crash with lang/polyml. 2007-03-22 11:32:00 +00:00
distinfo
Makefile - Fix crash with lang/polyml. 2007-03-22 11:32:00 +00:00
pkg-descr
pkg-plist - Fix crash with lang/polyml. 2007-03-22 11:32:00 +00:00