cvs commit: ports/math/coq Makefile distinfo

Johan van Selst johans at FreeBSD.org
Mon Apr 25 17:48:54 UTC 2011

Previous message: cvs commit: ports/mail/rmilter Makefile distinfo pkg-descr
Next message: cvs commit: ports/www/WebMagick Makefile ports/www/WebMagick/files patch-aa
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

johans      2011-04-25 17:48:54 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile distinfo 
  Log:
  Update coq to 8.3.2
  
  Revision  Changes    Path
  1.29      +4 -3      ports/math/coq/Makefile
  1.13      +2 -2      ports/math/coq/distinfo

Previous message: cvs commit: ports/mail/rmilter Makefile distinfo pkg-descr
Next message: cvs commit: ports/www/WebMagick Makefile ports/www/WebMagick/files patch-aa
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cvs-all mailing list