Skip site navigation (1)Skip section navigation (2) 
Date:      Wed, 21 Dec 2011 02:58:24 +0000 (UTC)
From:      Brendan Fabeny <bf@FreeBSD.org>
To:        ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   cvs commit: ports/math Makefile ports/math/alt-ergo Makefile distinfo pkg-descr pkg-plist
Message-ID:  <201112210258.pBL2wObT050395@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help 

bf          2011-12-21 02:58:24 UTC

  FreeBSD ports repository

  Modified files:
    math                 Makefile 
  Added files:
    math/alt-ergo        Makefile distinfo pkg-descr pkg-plist 
  Log:
  Add alt-ergo 0.94, an automatic theorem prover dedicated to program
  verification.
  
  Revision  Changes    Path
  1.746     +1 -0      ports/math/Makefile
  1.1       +65 -0     ports/math/alt-ergo/Makefile (new)
  1.1       +2 -0      ports/math/alt-ergo/distinfo (new)
  1.1       +10 -0     ports/math/alt-ergo/pkg-descr (new)
  1.1       +10 -0     ports/math/alt-ergo/pkg-plist (new)

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