Port details |
- hs-kan-extensions Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
- 5.1_3 math
=0 5.1_3Version of this port present on the latest quarterly branch. DEPRECATED: Haskell libraries are getting pushed out of the ports tree. If you are using this port for development, consider switching to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you believe this port shouldn't be removed, contact haskell@FreeBSD.org
This port expired on: 2019-04-14
- Maintainer: haskell@FreeBSD.org
 - Port Added: 2015-08-20 23:02:51
- Last Update: 2019-05-09 11:15:42
- SVN Revision: 501084
- Also Listed In: haskell
- License: BSD3CLAUSE
- Description:
- Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
(co)monads.
WWW: https://github.com/ekmett/kan-extensions
- SVNWeb :
git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- hs-kan-extensions>0:math/hs-kan-extensions
- No installation instructions:
- This port has been deleted.
- PKGNAME: hs-kan-extensions
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1523890567
SHA256 (cabal/kan-extensions-5.1.tar.gz) = 193f8e58f267663d5da8e38045b000d0983ac08b84808de42af1a44963f63205
SIZE (cabal/kan-extensions-5.1.tar.gz) = 22573
- Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ghc : lang/ghc
- ghc>=8.6.3 : lang/ghc
- hs-adjunctions>=0 : math/hs-adjunctions
- hs-comonad>=0 : math/hs-comonad
- hs-distributive>=0 : math/hs-distributive
- hs-free>=0 : devel/hs-free
- hs-mtl>=0 : devel/hs-mtl
- hs-semigroupoids>=0 : math/hs-semigroupoids
- hs-tagged>=0 : devel/hs-tagged
- Runtime dependencies:
-
- ghc : lang/ghc
- ghc>=8.6.3 : lang/ghc
- hs-adjunctions>=0 : math/hs-adjunctions
- hs-comonad>=0 : math/hs-comonad
- hs-distributive>=0 : math/hs-distributive
- hs-free>=0 : devel/hs-free
- hs-mtl>=0 : devel/hs-mtl
- hs-semigroupoids>=0 : math/hs-semigroupoids
- hs-tagged>=0 : devel/hs-tagged
- Library dependencies:
-
- libgmp.so : math/gmp
- libiconv.so : converters/libiconv
- NOTE: dependencies for deleted ports are notoriously suspect
- This port is required by:
- for Build
-
Deleted ports which required this port:
- for Run
-
Deleted ports which required this port:
- * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
- Configuration Options:
- ===> The following configuration options are available for hs-kan-extensions-5.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
- USES:
- iconv:translit
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
- There is no master site for this port.
|
Port Moves |
- port deleted on 2019-05-08
REASON: Has expired: Haskell libraries are getting pushed out of the ports tree. If you are using this port for development, consider switching to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you believe this port shouldn't be removed, contact haskell@FreeBSD.org
|
Number of commits found: 10
Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
09 May 2019 11:15:42
5.1_3
|
arrowd  |
Remove expired ports of Haskell libraries.
Approved by: tcberner (mentor)
2019-04-14 math/hs-integer-logarithms: Haskell libraries are getting pushed out
of the ports tree. If you are using this port for development, consider
switching to cabal sandboxes (old way), cabal new-build (new way), or use
devel/stack. If you believe this port shouldn't be removed, contact
haskell@FreeBSD.org
2019-04-14 math/hs-data-lens-template: Haskell libraries are getting pushed out
of the ports tree. If you are using this port for development, consider
switching to cabal sandboxes (old way), cabal new-build (new way), or use
devel/stack. If you believe this port shouldn't be removed, contact
haskell@FreeBSD.org
2019-04-14 math/hs-half: Haskell libraries are getting pushed out of the ports
tree. If you are using this port for development, consider switching to cabal
sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-kan-extensions: Haskell libraries are getting pushed out of
the ports tree. If you are using this port for development, consider switching
to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If
you believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-semigroupoids: Haskell libraries are getting pushed out of
the ports tree. If you are using this port for development, consider switching
to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If
you believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-Agda-stdlib: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-semigroups: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-vector-space: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-comonad: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-pointed: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-ieee754: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org (Only the first 15 lines of the commit message are shown above ) |
30 Mar 2019 17:39:37
5.1_3
|
tcberner  |
Mark almost all Haskell ports for expiration by mid April
Ports for Haskell *libraries* are going to be removed from the ports tree.
Haskell *applications* are going to be statically linked with all dependencies
( https://reviews.freebsd.org/D19730 ), so there is no reason to keep
Haskell libraries in tree.
If you think a port is wrongly marked and should stay, please contact haskell@
Submitted by: arrowd
Differential Revision: https://reviews.freebsd.org/D19244 |
06 Jan 2019 12:18:07
5.1_3 
|
arrowd  |
lang/ghc: Update to 8.6.3 and bump PORTREVISION's of all Haskell ports.
As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:
# portmaster -w -r ghc
or
# portupgrade -fr lang/ghc
In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch. For
example:
# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc
# pkg install -y `cat ghc-pkgs.txt`
During update some hs-* ports got two PORTREVISION bumps in a row. Other ports
got a PORTVERSION update together with one PORTREVISION bump. This is caused
by bulk-bumping PORTREVISION of all hs-* ports. There are a lot of them updated,
so figuring out which ones require a bump and which are not is too tedious.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18707 |
30 Jun 2018 09:58:00
5.1_1
|
arrowd  |
lang/ghc: Update to 8.4.3 and bump PORTREVISION's of all Haskell ports.
As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:
# portmaster -w -r ghc
or
# portupgrade -fr lang/ghc
In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch. For
example:
# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc
In ghc-pkgs.txt, check and remove all the packages that have been moved
on the update, then use this command:
# pkg install -y `cat ghc-pkgs.txt`
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16038 |
25 May 2018 21:44:13
5.1
|
tcberner  |
Update lang/ghc 8.4.2 and the hs-* ports the newer versions
* Update lang/ghc to 8.4.2
* Update the boostrap compiler to 8.4.1
* Update the many hs-* ports
* Bump the rest
Thanks a lot to arrowd for doing all the heavy lifting :)
PR: 227968
Exp-run by: antoine
Submitted by: arrowd
Differential Revision: https://reviews.freebsd.org/D15005 |
10 Feb 2018 08:03:22
5.0.2_1
|
tcberner  |
Switch C compiler used to compile GHC to base Clang.
This removes build dependency on gcc and runtime dependency on gcc's runtime
libraries.
Big thanks to Gleb for working on this.
PR: 225185
Submitted by: Gleb Popov <6yearold@gmail.com>
Exp-run by: antoine
Reviewed by: pgj
Differential Revision: https://reviews.freebsd.org/D12043 |
08 Aug 2017 17:21:46
5.0.2
|
tcberner  |
- 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 ) |
27 Jun 2017 13:32:30
4.2.2
|
sunpoet  |
Fix WWW
Approved by: portmgr (blanket) |
02 Dec 2016 09:21:59
4.2.2
|
mat  |
http://github.com redirects to https://github.com, spare everyone a redirect.
Sponsored by: Absolight |
20 Aug 2015 23:02:17
4.2.2
|
pgj  |
- 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 ) |
Number of commits found: 10
|