non port: math/hs-Agda/files/patch-Agda.cabal |
SVNWeb
|
Number of commits found: 12 |
Sun, 23 Aug 2020
|
[ 15:57 arrowd ]
math/hs-Agda: Fix build with new GHC.
Reported by: pkg-fallout
|
Sun, 29 Jul 2018
|
[ 10:40 arrowd ] (Only the first 10 of 34 ports in this commit are shown above. )
Update some hs-* ports that were previously IGNORE'd.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16308
|
Tue, 8 Aug 2017
|
[ 17:21 tcberner ] (Only the first 10 of 1370 ports in this commit are shown above. )
- 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 )
|
Thu, 20 Aug 2015
|
[ 23:02 pgj ] (Only the first 10 of 1153 ports in this commit are shown above. )
- 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 )
|
Sun, 10 Aug 2014
|
[ 22:34 pgj ] (Only the first 10 of 1166 ports in this commit are shown above. )
- 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 )
|
Tue, 4 Jun 2013
|
[ 18:53 pgj ] (Only the first 10 of 625 ports in this commit are shown above. )
- 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 )
|
Fri, 29 Mar 2013
|
[ 22:43 pgj ] (Only the first 10 of 339 ports in this commit are shown above. )
- 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 )
|
Tue, 5 Feb 2013
|
[ 22:26 pgj ] (Only the first 10 of 595 ports in this commit are shown above. )
- 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 )
|
Thu, 20 Dec 2012
|
[ 02:23 pgj ] (Only the first 10 of 1010 ports in this commit are shown above. )
- 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 )
|
Sun, 3 Jun 2012
|
[ 22:09 pgj ]
- Update to 2.3.0.1
Obtained from: FreeBSD Haskell
|
Mon, 13 Feb 2012
|
[ 05:04 pgj ]
- Update to 2.3.0
Obtained from: FreeBSD Haskell
|
Mon, 9 May 2011
|
[ 05:28 ashish ] (Only the first 10 of 460 ports in this commit are shown above. )
- 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
|
Number of commits found: 12 |