hs-Agda 2.2.10_2 math =0

A functional programming language and proof assistant
Maintained by: haskell@FreeBSD.org
Port Added: 04 Jan 2010 03:26:01
Also Listed In: haskell
License: not specified in port

Agda is a dependently typed functional programming language: It has inductive
families, which are similar to Haskell's GADTs, but they can be indexed by
values and not just types. It also has parameterised modules, mixfix operators,
Unicode characters, and an interactive Emacs interface (the type checker can
assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Lof. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.

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, devel/hs-alex, devel/hs-happy, devel/hs-binary, devel/hs-haskeline, devel/hs-haskell-src-exts, devel/hs-mtl, devel/hs-QuickCheck, devel/hs-syb, devel/hs-utf8-string, textproc/hs-xhtml, archivers/hs-zlib, devel/hs-haddock
Required To Run: lang/ghc, lang/ghc, devel/hs-binary, devel/hs-haskeline, devel/hs-haskell-src-exts, devel/hs-mtl, devel/hs-QuickCheck, devel/hs-syb, devel/hs-utf8-string, textproc/hs-xhtml, archivers/hs-zlib
Required Libraries: math/gmp, converters/libiconv
There are no ports dependent upon this port

---

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

---

Configuration Options

     No options to configure

---

Master Sites:

http://hackage.haskell.org/packages/archive/Agda/2.2.10/

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

• 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 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

Bump PORTREVISION of all ports dependent on lang/ghc as during
upgrade, lang/ghc cabal package cache gets invalidated causing all
dependent ports to be reinstalled.

Obtained from:  FreeBSD Haskell

- 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)

Agda is a dependently typed functional programming language: It has inductive
families, which are similar to Haskell's GADTs, but they can be indexed by
values and not just types. It also has parameterised modules, mixfix operators,
Unicode characters, and an interactive Emacs interface (the type checker can
assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Lof. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.

WWW: http://wiki.portal.chalmers.se/agda/

PR:             ports/142141
Submitted by:   Jacula Modyun <jacula(at)gmail.com>

15 vulnerabilities affecting 34 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities