| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
27 Apr 2013 11:59:29
  2.3.2_1
|
mva  |
- 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
2.3.2_1
|
pgj |
- 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
2.3.2
|
pgj |
- 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  ) |
05 Feb 2013 22:26:32
2.3.0.1_3
|
pgj |
- 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 ) |
20 Dec 2012 02:23:06
2.3.0.1_2
|
pgj |
- 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 ) |
03 Aug 2012 02:30:11
2.3.0.1_1
|
pgj |
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft
Obtained from: FreeBSD Haskell |
03 Jun 2012 22:09:29
2.3.0.1
|
pgj |
- Update to 2.3.0.1
Obtained from: FreeBSD Haskell |
13 Feb 2012 05:04:03
2.3.0
|
pgj |
- Update to 2.3.0
Obtained from: FreeBSD Haskell |
10 Jul 2011 16:30:20
2.2.10_2
|
ashish |
- 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
2.2.10_1
|
ashish |
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
2.2.10
|
ashish |
- 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
2.2.6_1
|
miwi |
- Get Rid MD5 support |
08 Aug 2010 08:49:38
2.2.6_1
|
pgj |
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")
Suggested by: admi3 |
26 May 2010 11:18:46
2.2.6_1
|
jacula |
- 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 ) |
12 May 2010 16:33:59
2.2.6_1
|
pgj |
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
2.2.6_1
|
ale |
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
2.2.6
|
pgj |
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> |
If you buy from Amazon USA, please support us by using this link.