edwin 2006-06-07 14:17:39 UTC FreeBSD ports repository Modified files: math/isabelle distinfo Log: add SHA256 checksum Revision Changes Path 1.3 +3 -0 ports/math/isabelle/distinfo