hs-Agda-executable 2.3.0 math =0

Command-line program for type-checking and compiling Agda programs
Maintained by: haskell@FreeBSD.org
Port Added: 04 Jan 2010 03:26:46
Also Listed In: haskell
License: not specified in port

---

---

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/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: lang/ghc, lang/ghc, math/hs-Agda, math/hs-Agda, devel/hs-haddock
Required Libraries: math/gmp, converters/libiconv
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/math/hs-Agda-executable/ && make install clean
To add the package: pkg_add -r hs-Agda-executable

---

Configuration Options

     No options to configure

---

Master Sites:

http://hackage.haskell.org/packages/archive/Agda-executable/2.3.0/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/cabal/

• 2012-02-13

  Affects: users of lang/ghc and */hs-*

  Author: pgj@FreeBSD.org

  Reason: 
    GHC has been updated to version 7.0.4, and Haskell Platform to version
    2011.4.0.0, and other Haskell ports are also updated to their Haskell
    Platform versions or latest versions.
  
    To update all affected ports:
  
    # portmaster -r lang/ghc
    or
    # portupgrade -r lang/ghc
  
  



• 2011-05-09

  Affects: users of lang/ghc and */hs-*

  Author: ashish@FreeBSD.org

  Reason: 
    GHC has been updated to version 7.0.3 and other Haskell ports are also
    updated to their Haskell Platform versions or latest versions.
  
    To update all affected ports:
  
    # portmaster -r lang/ghc
    or
    # portupgrade -r lang/ghc
  
  

- Update to 2.3.0

Obtained from:  FreeBSD Haskell

- Update devel/hs-blaze-builder to 0.3.0.1
- Update devel/hs-blaze-builder-enumerator to 0.2.0.1
- Update devel/hs-darcs to 2.5.2
- Update devel/hs-hashed-storage to 0.5.7
- Update devel/hs-haskeline to 0.6.4.0
- Update devel/hs-haskell-src-exts to 1.11.1
- Update devel/hs-hoogle to 4.2.5
- Update devel/hs-test-framework to 0.4.0
- Update devel/hs-test-framework-quickcheck2 to 0.2.10
- Update www/hs-wai to 0.4.0
- Update www/hs-warp to 0.4.0.1
- Bump PORTREVISION of devel/cvs2darcs, devel/hs-test-framework-hunit,
  devel/hs-uuagc, math/hs-Agda, math/hs-Agda-executable

Obtained from:  FreeBSD Haskell

- Un-break build

- Mark BROKEN: bad dependency object

Reported by:    pointyhat

- Please welcome GHC 7.0.3

GHC in the ports tree has been updated to 7.0.3 and all other Haskell ports
are also updated to their corresponding Haskell Platform versions, or latest
versions.

We would like to acknowledge the support of the FreeBSD Donations Team and
Eotvos Lorand University, Faculty of Informatics who contributed to the server
that we used for testing.

We would also like to thank all the testers who tested FreeBSD Haskell ports
and provided their feedback.

PR:             ports/156642
Approved by:    tabthorpe (mentor)
Obtained from:  FreeBSD Haskell

- Get Rid MD5 support

- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")

Suggested by:   admi3

- Pass maintainership to haskell@FreeBSD.org:

    audio/hs-ALUT, audio/hs-OpenAL, benchmarks/hs-criterion
    converters/hs-json, devel/hs-DeepArrow, devel/hs-FileManip
    devel/hs-MemoTrie, devel/hs-MissingH, devel/hs-MonadCatchIO-mtl
    devel/hs-ObjectName, devel/hs-QuickCheck, devel/hs-StateVar
    devel/hs-Tensor, devel/hs-TypeCompose, devel/hs-arrows
    devel/hs-checkers, devel/hs-convertible, devel/hs-datetime
    devel/hs-deepseq, devel/hs-fgl, devel/hs-ghc-mtl, devel/hs-ghc-paths
    devel/hs-ghc-paths-docs, devel/hs-haskeline
    devel/hs-haskell-src-exts, devel/hs-hint, devel/hs-hoogle
    devel/hs-hslogger, devel/hs-mmap, devel/hs-mueval, devel/hs-reactive
    devel/hs-readline, devel/hs-safe, devel/hs-show, devel/hs-smallcheck
    devel/hs-split, devel/hs-testpack, devel/hs-transformers
    devel/hs-unamb, devel/hs-uniplate, devel/hs-unix-compat

Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
ports which makes possible the direct translation of Cabal package
descriptions to FreeBSD ports.  It promises both easier addition and
maintenance for Cabal-based ports.

Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)

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>

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities