cvs commit: ports/math/hs-Agda Makefile distinfo pkg-descr ports/math/hs-Agda/files patch-Agda.cabal patch-src__full__Agda__Interaction__Highlighting__Generate.hs patch-src__full__Agda__Utils__Generics.hs

[Gabor Pali]

pgj         2012-02-13 05:04:03 UTC

  FreeBSD ports repository

  Modified files:
    math/hs-Agda         Makefile distinfo pkg-descr 
    math/hs-Agda/files   patch-Agda.cabal 
  Removed files:
    math/hs-Agda/files   
                         patch-src__full__Agda__Interaction__Highlighting__Generate.hs 
                         patch-src__full__Agda__Utils__Generics.hs 
  Log:
  - Update to 2.3.0
  
  Obtained from:  FreeBSD Haskell
  
  Revision  Changes    Path
  1.8       +23 -6     ports/math/hs-Agda/Makefile
  1.5       +2 -2      ports/math/hs-Agda/distinfo
  1.2       +20 -20    ports/math/hs-Agda/files/patch-Agda.cabal
  1.2       +0 -11     ports/math/hs-Agda/files/patch-src__full__Agda__Interaction__Highlighting__Generate.hs (dead)
  1.2       +0 -11     ports/math/hs-Agda/files/patch-src__full__Agda__Utils__Generics.hs (dead)
  1.2       +1 -1      ports/math/hs-Agda/pkg-descr