cvs commit: ports/math/isabelle distinfo

Edwin Groothuis edwin at FreeBSD.org
Wed Jun 7 16:57:25 UTC 2006


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


More information about the cvs-ports mailing list