Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 3 Jun 2012 22:09:29 +0000 (UTC)
From:      Gabor Pali <pgj@FreeBSD.org>
To:        ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   cvs commit: ports/math/hs-Agda Makefile distinfo ports/math/hs-Agda/files patch-Agda.cabal patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs
Message-ID:  <201206032209.q53M9T6x012056@repoman.freebsd.org>

next in thread | raw e-mail | index | archive | help
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)



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201206032209.q53M9T6x012056>