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

I am looking for an LTO tape library. Do you have one to spare?
Port details
hs-Agda-executable 2.3.0.1_3 math Deleted on this many watch lists=0 search for ports that depend on this port
Command-line program for type-checking and compiling Agda programs
Was Maintained by: haskell@FreeBSD.org search for ports maintained by this maintainer
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/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

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

Required To Build:
  1. lang/ghc
  2. lang/ghc
  3. math/hs-Agda
  4. math/hs-Agda
  5. lang/gcc
  6. devel/binutils
Required To Run:
  1. lang/ghc
  2. lang/ghc
  3. math/hs-Agda
  4. math/hs-Agda
  5. lang/gcc
Required Libraries:
  1. math/gmp
  2. converters/libiconv
There are no ports dependent upon this port

No installation instructions: this port has been deleted.

The package name of this deleted port was: hs-Agda-executable


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

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/cabal/
  2. http://hackage.haskell.org/packages/archive/Agda-executable/2.3.0.1/
Port Moves
  • port deleted on 2013-03-29
    REASON: Removed: it has become part of math/hs-Agda

Number of commits found: 16

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
29 Mar 2013 22:43:58
Original commit files touched by this commit  2.3.0.1_3
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:57
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:05:11
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_1
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
14 Jun 2011 19:57:04
Original commit files touched by this commit  2.2.10
pgj search for other commits by this committer
- Un-break build
05 Jun 2011 19:15:19
Original commit files touched by this commit  2.2.10
pav search for other commits by this committer
- Mark BROKEN: bad dependency object

Reported by:    pointyhat
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:26:20
Original commit files touched by this commit  2.2.6
pgj search for other commits by this committer
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>

Number of commits found: 16

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06
opensslAug 06
krfbAug 03
gpgmeAug 02
samba4Aug 02
samba41Aug 02
kdelibs4Jul 31

7 vulnerabilities affecting 11 ports 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 24476
Broken 229
Deprecated 826
Ignore 571
Forbidden 36
Restricted 261
No CDROM 101
Vulnerable 23
Expired 0
Set to expire 813
Interactive 0
new 24 hours 0
new 48 hours8
new 7 days39
new fortnight153
new month215

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