cvs commit: ports/misc Makefile ports/misc/otter Makefile distinfo pkg-descr pkg-plist

[Renato Botelho]

garga       2006-02-06 17:36:47 UTC

  FreeBSD ports repository

  Modified files:
    misc                 Makefile 
  Added files:
    misc/otter           Makefile distinfo pkg-descr pkg-plist 
  Log:
  Otter is an automated deduction system (theorem prover) for
  first-order logic with equality developed at Argonne National
  Laboratories.
  
  WWW: http://www-unix.mcs.anl.gov/AR/otter/
  
  PR:             ports/92834
  Submitted by:   wollman
  
  Revision  Changes    Path
  1.793     +1 -0      ports/misc/Makefile
  1.1       +38 -0     ports/misc/otter/Makefile (new)
  1.1       +3 -0      ports/misc/otter/distinfo (new)
  1.1       +5 -0      ports/misc/otter/pkg-descr (new)
  1.1       +339 -0    ports/misc/otter/pkg-plist (new)