FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

Port details
hs-Agda Dependently typed functional programming language and proof assistant
2.5.2 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: haskell@FreeBSD.org search for ports maintained by this maintainer
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/
SVNWeb : Homepage : PortsMon
There is no configure plist information for this port

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

PKGNAME: hs-Agda

distinfo:

TIMESTAMP = 1500999185
SHA256 (cabal/Agda-2.5.2.tar.gz) = d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439
SIZE (cabal/Agda-2.5.2.tar.gz) = 1240885


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. ghc : lang/ghc
  2. ghc>=8.0.2 : lang/ghc
  3. alex : devel/hs-alex
  4. happy : devel/hs-happy
  5. cpphs : devel/hs-cpphs
  6. hs-EdisonCore>=0 : devel/hs-EdisonCore
  7. hs-boxes>=0 : devel/hs-boxes
  8. hs-data-hash>=0 : devel/hs-data-hash
  9. hs-edit-distance>=0 : devel/hs-edit-distance
  10. hs-equivalence>=0 : devel/hs-equivalence
  11. hs-geniplate-mirror>=0 : devel/hs-geniplate-mirror
  12. hs-gitrev>=0 : devel/hs-gitrev
  13. hs-hashable>=0 : devel/hs-hashable
  14. hs-hashtables>=0 : devel/hs-hashtables
  15. hs-ieee754>=0 : math/hs-ieee754
  16. hs-monadplus>=0 : devel/hs-monadplus
  17. hs-mtl>=0 : devel/hs-mtl
  18. hs-murmur-hash>=0 : devel/hs-murmur-hash
  19. hs-parallel>=0 : devel/hs-parallel
  20. hs-regex-tdfa>=0 : textproc/hs-regex-tdfa
  21. hs-strict>=0 : devel/hs-strict
  22. hs-text>=0 : devel/hs-text
  23. hs-unordered-containers>=0 : devel/hs-unordered-containers
  24. hs-zlib>=0 : archivers/hs-zlib
  25. gcc6 : lang/gcc6
  26. as : devel/binutils
Runtime dependencies:
  1. ghc : lang/ghc
  2. ghc>=8.0.2 : lang/ghc
  3. hs-EdisonCore>=0 : devel/hs-EdisonCore
  4. hs-boxes>=0 : devel/hs-boxes
  5. hs-data-hash>=0 : devel/hs-data-hash
  6. hs-edit-distance>=0 : devel/hs-edit-distance
  7. hs-equivalence>=0 : devel/hs-equivalence
  8. hs-geniplate-mirror>=0 : devel/hs-geniplate-mirror
  9. hs-gitrev>=0 : devel/hs-gitrev
  10. hs-hashable>=0 : devel/hs-hashable
  11. hs-hashtables>=0 : devel/hs-hashtables
  12. hs-ieee754>=0 : math/hs-ieee754
  13. hs-monadplus>=0 : devel/hs-monadplus
  14. hs-mtl>=0 : devel/hs-mtl
  15. hs-murmur-hash>=0 : devel/hs-murmur-hash
  16. hs-parallel>=0 : devel/hs-parallel
  17. hs-regex-tdfa>=0 : textproc/hs-regex-tdfa
  18. hs-strict>=0 : devel/hs-strict
  19. hs-text>=0 : devel/hs-text
  20. hs-unordered-containers>=0 : devel/hs-unordered-containers
  21. hs-zlib>=0 : archivers/hs-zlib
  22. gcc6 : lang/gcc6
Library dependencies:
  1. libgmp.so : math/gmp
  2. libiconv.so : converters/libiconv

This port is required by:

for Build for Run * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
Configuration Options
===> The following configuration options are available for hs-Agda-2.5.2:
     DOCS=on: Build and/or install documentation
     DYNAMIC=on: Add support for dynamic linking
     HSCOLOUR=off: Colorize generated documentation by HsColour
     PROFILE=off: Add support for profiling
===> Use 'make config' to modify these settings

USES:
iconv:translit iconv:translit

Master Sites:
    There is no master site for this port.

Number of commits found: 28

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
08 Aug 2017 17:21:46
Original commit files touched by this commit  2.5.2
Revision:447548
tcberner search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 8.0.2
- Simplified port by only suporting GCC, and creating a build.mk file
- Update Pandoc to 1.19.2.1
- Update git-annex to 6.20170520
- Update Darcs to 2.12.5
- Update Gtk2Hs to 0.13.2.2
- Update Agda to 2.5.2

Please note that port revisions for all the Haskell ports without version
changes are bumped.

See the UPDATING file for instructions.

New ports (63):
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20 Aug 2015 23:02:17
Original commit files touched by this commit  2.4.2.3
Revision:394918
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.10.2
- Include a patch for addressing timer issues [1]
- Add support for building both GHC and Haskell ports with Clang, either from
  ports or the base system
- Discontinue supporting Haskell Platform, use Stackage instead as a
  reference
- Drop support for FreeBSD 8.x, optimize bootstrap compiler tarballs
- Update Gtk2Hs to version 0.13 [2]
- Update Pandoc to version 1.15.0.6
- Update git-annex to version 5.20150727
- Update Darcs to 2.10 [3]
- Unbreak wxHaskell ports

Please note that port revisions for all the Haskell ports without version
changes are bumped.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
10 Sep 2014 20:50:37
Original commit files touched by this commit  2.4.0.2_1
Revision:367888
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
10 Aug 2014 22:34:52
Original commit files touched by this commit  2.4.0.2
Revision:364579
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.8.3
- Update Haskell Platform to version 2014.2.0.0
- Update Yesod Platform to version 1.2.13
- Update Gtk2Hs to version 0.12.5
- Update Pandoc to version 1.12.4.2
- Update git-annex to version 5.20140717
- Unbreak wxHaskell ports

Please note that port revisions for all the Haskell ports without version
changes are bumped.

New ports (69):

databases/hs-esqueleto: Type-safe EDSL for SQL queries on persistent backends
devel/hs-Glob: Globbing library
(Only the first 15 lines of the commit message are shown above View all of this commit message)
29 Mar 2014 00:52:55
Original commit files touched by this commit  2.3.2_6
Revision:349475
pgj search for other commits by this committer
- Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and
  9.x in order to prevent run-time breakage after the recent changes in
  libiconv
- Bump port revision for lang/ghc and all dependents, as a consequence

Obtained from:	FreeBSD Haskell
10 Mar 2014 20:55:22
Original commit files touched by this commit  2.3.2_5
Revision:347809
gerald search for other commits by this committer
Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3.  This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.

Part II, Bump PORTREVISIONs.

PR:		182136
Supported by:	Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by:	bdrewery (two -exp runs)
09 Jan 2014 21:32:14
Original commit files touched by this commit  2.3.2_4
Revision:339286
pgj search for other commits by this committer
- Stagify lang/ghc and all the Haskell Cabal ports
- Update HACKAGE_SITE to follow changes in upstream
- MAKE_ENV now sets LC_ALL and DESTDIR for Haskell Cabal ports
- Further minor cosmetical changes: replace USE_GMAKE with USES, get rid of
  ${DO_NADA}, some refactoring

Obtained from:	FreeBSD Haskell
09 Jan 2014 21:29:40
Original commit files touched by this commit  2.3.2_4
Revision:339285
pgj search for other commits by this committer
- Fix a run-time problem with lang/ghc on FreeBSD 10.0 and later, caused by
  the iconv changes (basically GHCi was rendered unusable)
- Fix build for x11-toolkits/hs-wxc, while here
- Bump port revision for all Haskell Cabal ports as they have to be rebuilt

PR:		ports/184806
Reported by:	many
Obtained from:	FreeBSD Haskell
MFH:		2014Q1
26 Oct 2013 00:52:36
Original commit files touched by this commit  2.3.2_3
Revision:331644
gerald search for other commits by this committer
Update to libmpc version 1.0.1 which brings the following fixes:

 - Switched to automake 1.11.6, see CVE-2012-3386.
 - #14669: Fixed extraction of CC from gmp.h.
 - Fixed case of intermediate zero real or imaginary part in mpc_fma,
   found by hydra with GMP_CHECK_RANDOMIZE=1346362345.

This is on top of the following changes from version 1.0

 - Licence change towards LGPLv3+ for the code and GFDLv1.3+ (with no
   invariant sections) for the documentation.
 - 100% of all lines are covered by tests
 - Renamed functions
   . mpc_mul_2exp to mpc_mul_2ui
   . mpc_div_2exp to mpc_div_2ui
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20 Sep 2013 20:55:06
Original commit files touched by this commit  2.3.2_2
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
04 Jun 2013 18:53:41
Original commit files touched by this commit  2.3.2_2
Revision:319894
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.6.3
- Update Haskell Platform to version 2013.2.0.0

Please note that port revisions for all the Haskell ports without version
changes are bumped.

Some highlights of the update:

- Fix PDF generation for pandoc [1]
- From now on, PREFIX/{lib,share,share/doc}/cabal/ghc-GHC_VERSION are used for
  hs- ports (Cabal packages) as prefixes to avoid problems when upgrading with
  portmaster(8) [2]
- Experimental support for LLVM-based code generation (disabled by default)
- Many simplifications, refactoring in bsd.cabal.mk
(Only the first 15 lines of the commit message are shown above View all of this commit message)
27 Apr 2013 11:59:29
Original commit files touched by this commit  2.3.2_1
Revision:316662
mva search for other commits by this committer
- Convert USE_ICONV=yes to USES=iconv
- Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here

Reviewed by:	zeising
31 Mar 2013 13:43:10
Original commit files touched by this commit  2.3.2_1
Revision:315636
pgj search for other commits by this committer
- Fix a minor dynamic linking problem for certain Haskell Cabal ports
- Add an UPDATING entry for description and instructions

Submitted by:	ashish
Approved by:	portmgr (miwi)
Obtained from:	FreeBSD Haskell
29 Mar 2013 22:43:58
Original commit files touched by this commit  2.3.2
Revision:315580
pgj search for other commits by this committer
- Update Haskell ports from the development repository
- Avoid self-dependency for print/hs-hscolour (when HSCOLOUR is set)
  Contributed by: ashish

New ports (5):

devel/hs-geniplate                       0.6.0.3
devel/hs-uuid                            1.2.9
net/hs-maccatcher                        2.1.5
net/hs-publicsuffixlist                  0.0.3
textproc/hs-regex-tdfa                   1.1.8

Removed ports (1):

math/hs-Agda-executable                  2.3.0.1_3
(Only the first 15 lines of the commit message are shown above View all of this commit message)
05 Feb 2013 22:26:32
Original commit files touched by this commit  2.3.0.1_3
Revision:311736
pgj search for other commits by this committer
- Fix breakage in the DYNAMIC-enabled ports triggered by the recent
  devel/libffi update
- Enable multithreaded build for lang/ghc (i.e. mark MAKE_JOBS_SAFE)

Please note that port revision for all the Haskell ports without version
changes are bumped.

New ports (20):

devel/hs-MonadRandom                     0.1.8
devel/hs-base64-conduit                  0.5.1
devel/hs-bifunctors                      3.2
devel/hs-either                          3.1
devel/hs-errors                          1.3.1
devel/hs-generic-deriving                1.4.0
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20 Dec 2012 02:23:06
Original commit files touched by this commit  2.3.0.1_2
Revision:309275
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.4.2
- Update Haskell Platform to version 2012.4.0.0
- Update Gtk2Hs to 0.12.4
- Transfer maintainership of math/hs-math-functions to haskell@ [1]

Please note that port revisions for all the Haskell ports without version
changes are bumped.

Some further highlights of the update:
- Trim Makefile headers
- Enable dynamic libraries and dynamic linking by default
- Enable bootstrapping by versions of GHC and HsColour already installed
- Use GCC and binutils from ports

New ports (32):
(Only the first 15 lines of the commit message are shown above View all of this commit message)
03 Aug 2012 02:30:11
Original commit files touched by this commit  2.3.0.1_1
pgj search for other commits by this committer
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft

Obtained from:	FreeBSD Haskell
03 Jun 2012 22:09:29
Original commit files touched by this commit  2.3.0.1
pgj search for other commits by this committer
- Update to 2.3.0.1

Obtained from:  FreeBSD Haskell
13 Feb 2012 05:04:03
Original commit files touched by this commit  2.3.0
pgj search for other commits by this committer
- Update to 2.3.0

Obtained from:  FreeBSD Haskell
10 Jul 2011 16:30:20
Original commit files touched by this commit  2.2.10_2
ashish search for other commits by this committer
- 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
26 May 2011 00:51:15
Original commit files touched by this commit  2.2.10_1
ashish search for other commits by this committer
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
09 May 2011 05:28:57
Original commit files touched by this commit  2.2.10
ashish search for other commits by this committer
- 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
20 Mar 2011 12:54:45
Original commit files touched by this commit  2.2.6_1
miwi search for other commits by this committer
- Get Rid MD5 support
08 Aug 2010 08:49:38
Original commit files touched by this commit  2.2.6_1
pgj search for other commits by this committer
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")

Suggested by:   admi3
26 May 2010 11:18:46
Original commit files touched by this commit  2.2.6_1
jacula search for other commits by this committer
- 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
(Only the first 15 lines of the commit message are shown above View all of this commit message)
12 May 2010 16:33:59
Original commit files touched by this commit  2.2.6_1
pgj search for other commits by this committer
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.
19 Apr 2010 10:43:43
Original commit files touched by this commit  2.2.6_1
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
04 Jan 2010 03:24:25
Original commit files touched by this commit  2.2.6
pgj search for other commits by this committer
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>

Number of commits found: 28

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

No vulnerabilities have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 31879
Broken 126
Deprecated 45
Ignore 363
Forbidden 0
Restricted 175
No CDROM 78
Vulnerable 50
Expired 12
Set to expire 37
Interactive 0
new 24 hours 76
new 48 hours95
new 7 days3232
new fortnight3312
new month3466

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.