cvs commit: ports/math Makefile ports/math/hs-Agda-executable Makefile distinfo pkg-descr pkg-plist

[Gabor Pali]

pgj         2010-01-04 03:26:20 UTC

  FreeBSD ports repository

  Modified files:
    math                 Makefile 
  Added files:
    math/hs-Agda-executable Makefile distinfo pkg-descr pkg-plist 
  Log:
  This package provides a command-line program for type-checking and
  compiling Agda programs. The program can also generate hyperlinked,
  highlighted HTML files from Agda sources.
  
  WWW:    http://wiki.portal.chalmers.se/agda/
  
  PR:             ports/142141
  Submitted by:   Jacula Modyun <jacula(at)gmail.com>
  
  Revision  Changes    Path
  1.626     +1 -0      ports/math/Makefile
  1.1       +75 -0     ports/math/hs-Agda-executable/Makefile (new)
  1.1       +3 -0      ports/math/hs-Agda-executable/distinfo (new)
  1.1       +5 -0      ports/math/hs-Agda-executable/pkg-descr (new)
  1.1       +4 -0      ports/math/hs-Agda-executable/pkg-plist (new)