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-stdlib Agda standard library
0.13 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: 20 Aug 2015 23:02:51
Also Listed In: haskell
License: MIT
The Agda standard library.

WWW: https://agda.github.io/agda-stdlib/
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (3 items)
  1. /usr/local/share/licenses/hs-Agda-stdlib-0.13/catalog.mk
  2. /usr/local/share/licenses/hs-Agda-stdlib-0.13/LICENSE
  3. /usr/local/share/licenses/hs-Agda-stdlib-0.13/MIT
  4. Collapse this list.

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

PKGNAME: hs-Agda-stdlib

distinfo:

TIMESTAMP = 1499623372
SHA256 (cabal/agda-agda-stdlib-v0.13_GH0.tar.gz) = e7cffc2b8b168c3584b6d1e760d2b49850835444e4777caa69eb29b3677ef8bb
SIZE (cabal/agda-agda-stdlib-v0.13_GH0.tar.gz) = 264701


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. hs-Agda>=0 : math/hs-Agda
  4. hs-filemanip>=0.3 : devel/hs-filemanip
  5. gcc6 : lang/gcc6
  6. as : devel/binutils
Runtime dependencies:
  1. ghc : lang/ghc
  2. ghc>=8.0.2 : lang/ghc
  3. hs-Agda>=0 : math/hs-Agda
  4. hs-filemanip>=0.3 : devel/hs-filemanip
  5. gcc6 : lang/gcc6
Library dependencies:
  1. libgmp.so : math/gmp
  2. libiconv.so : converters/libiconv
There are no ports dependent upon this port

Configuration Options
===> The following configuration options are available for hs-Agda-stdlib-0.13:
     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

Master Sites:
  1. https://codeload.github.com/agda/agda-stdlib/tar.gz/v0.13?dummy=/

Number of commits found: 4

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  0.13
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)
19 Feb 2016 20:51:28
Original commit files touched by this commit  0.9_1
Revision:409208
pgj search for other commits by this committer
- Chase the changes in bsd.cabal.mk

Obtained from:	FreeBSD Haskell
08 Dec 2015 09:05:15
Original commit files touched by this commit  0.9
Revision:403255
mat search for other commits by this committer
Don't use GH_TAGNAME when DISTVERSION* variables can be used.

With hat:	portmgr
Sponsored by:	Absolight
20 Aug 2015 23:02:17
Original commit files touched by this commit  0.9
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)

Number of commits found: 4

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 362
Forbidden 0
Restricted 174
No CDROM 78
Vulnerable 48
Expired 11
Set to expire 37
Interactive 0
new 24 hours 79
new 48 hours86
new 7 days3232
new fortnight3309
new month3463

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