cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-isar-interface

[Edwin Groothuis]

edwin       2008-08-15 01:03:23 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
    math/proofgeneral/files patch-Makefile 
  Added files:
    math/proofgeneral/files patch-isar-interface 
  Log:
  [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
  
  PR:             ports/126066
  Submitted by:   Timothy Bourke <timbob at bigpond.com>
  
  Revision  Changes    Path
  1.21      +5 -4      ports/math/proofgeneral/Makefile
  1.7       +3 -3      ports/math/proofgeneral/distinfo
  1.7       +9 -5      ports/math/proofgeneral/files/patch-Makefile
  1.1       +11 -0     ports/math/proofgeneral/files/patch-isar-interface (new)
  1.10      +6 -0      ports/math/proofgeneral/pkg-plist