Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 13 Feb 2012 05:04:03 +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 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
Message-ID:  <201202130504.q1D543sn085713@repoman.freebsd.org>

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



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