cvs commit: ports/math Makefile ports/math/alt-ergo Makefile distinfo pkg-descr pkg-plist

[Brendan Fabeny]

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)