notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

Port details
hs-Agda-executable Command-line program for type-checking and compiling Agda programs
2.3.0.1_3 math Deleted 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 View this port on Repology. pkg-fallout 2.3.0.1_3Version of this port present on the latest quarterly branch.
Maintainer: haskell@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2010-01-04 03:26:46
Last Update: 2013-03-29 22:43:58
SVN Revision: 315580
Also Listed In: haskell
License: not specified in port
WWW:
http://wiki.portal.chalmers.se/agda/
Description:
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/
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • hs-Agda-executable>0:math/hs-Agda-executable
No installation instructions:
This port has been deleted.
PKGNAME: hs-Agda-executable
Flavors: there is no flavor information for this port.
distinfo:
There is no distinfo for this port.

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ghc : lang/ghc
  2. ghc>=7.4.2 : lang/ghc
  3. hs-Agda>=2.3.0 : math/hs-Agda
  4. hs-Agda<2.3.1 : math/hs-Agda
  5. gcc46 : lang/gcc
  6. as : devel/binutils
Runtime dependencies:
  1. ghc : lang/ghc
  2. ghc>=7.4.2 : lang/ghc
  3. hs-Agda>=2.3.0 : math/hs-Agda
  4. hs-Agda<2.3.1 : math/hs-Agda
  5. gcc46 : lang/gcc
Library dependencies:
  1. gmp.10 : math/gmp
  2. iconv.3 : converters/libiconv
There are no ports dependent upon this port

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
Options name:
N/A
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (2 items)
Collapse this list.
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/cabal/
  2. http://hackage.haskell.org/packages/archive/Agda-executable/2.3.0.1/
Collapse this list.

Number of commits found: 16

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.3.0.1_3
29 Mar 2013 22:43:58
Revision:315580Original commit files touched by this commit
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)
2.3.0.1_3
05 Feb 2013 22:26:32
Revision:311736Original commit files touched by this commit
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)
2.3.0.1_2
20 Dec 2012 02:23:06
Revision:309275Original commit files touched by this commit
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)
2.3.0.1_1
03 Aug 2012 02:30:11
Original commit files touched by this commit
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
2.3.0.1
03 Jun 2012 22:09:57
Original commit files touched by this commit
pgj search for other commits by this committer
- Update to 2.3.0.1

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

Obtained from:  FreeBSD Haskell
2.2.10_1
10 Jul 2011 16:30:20
Original commit files touched by this commit
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
2.2.10
14 Jun 2011 19:57:04
Original commit files touched by this commit
pgj search for other commits by this committer
- Un-break build
2.2.10
05 Jun 2011 19:15:19
Original commit files touched by this commit
pav search for other commits by this committer
- Mark BROKEN: bad dependency object

Reported by:    pointyhat
2.2.10
09 May 2011 05:28:57
Original commit files touched by this commit
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
2.2.6_1
20 Mar 2011 12:54:45
Original commit files touched by this commit
miwi search for other commits by this committer
- Get Rid MD5 support
2.2.6_1
08 Aug 2010 08:49:38
Original commit files touched by this commit
pgj search for other commits by this committer
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")

Suggested by:   admi3
2.2.6_1
26 May 2010 11:18:46
Original commit files touched by this commit
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)
2.2.6_1
12 May 2010 16:33:59
Original commit files touched by this commit
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.
2.2.6_1
19 Apr 2010 10:43:43
Original commit files touched by this commit
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)
2.2.6
04 Jan 2010 03:26:20
Original commit files touched by this commit
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