Skip site navigation (1)Skip section navigation (2) 
Date:      Fri, 15 Aug 2008 01:03:23 +0000 (UTC)
From:      Edwin Groothuis <edwin@FreeBSD.org>
To:        ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-isar-interface
Message-ID:  <200808150103.m7F13Nru084562@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help 

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@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

Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200808150103.m7F13Nru084562>