cvs commit: ports/math/hs-Agda Makefile distinfo ports/math/hs-Agda/files patch-Agda.cabal patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs

[Gabor Pali]

pgj         2012-06-03 22:09:29 UTC

  FreeBSD ports repository

  Modified files:
    math/hs-Agda         Makefile distinfo 
    math/hs-Agda/files   patch-Agda.cabal 
  Added files:
    math/hs-Agda/files   
                         patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs 
  Log:
  - Update to 2.3.0.1
  
  Obtained from:  FreeBSD Haskell
  
  Revision  Changes    Path
  1.9       +6 -5      ports/math/hs-Agda/Makefile
  1.6       +2 -2      ports/math/hs-Agda/distinfo
  1.3       +15 -7     ports/math/hs-Agda/files/patch-Agda.cabal
  1.1       +11 -0     ports/math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs (new)