notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
hs-cryptol Language of cryptography
2.11.0 security 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.11.0Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-02-24 08:32:14
Last Update: 2021-04-23 07:56:18
Commit Hash: e344f57
Also Listed In: haskell lang
License: BSD3CLAUSE
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (3 items)
Collapse this list.
  1. /usr/local/share/licenses/hs-cryptol-2.11.0/catalog.mk
  2. /usr/local/share/licenses/hs-cryptol-2.11.0/LICENSE
  3. /usr/local/share/licenses/hs-cryptol-2.11.0/BSD3CLAUSE
Collapse this list.
Dependency lines:
  • hs-cryptol>0:security/hs-cryptol
To install the port: cd /usr/ports/security/hs-cryptol/ && make install clean
To add the package, run one of these commands:
  • pkg install security/hs-cryptol
  • pkg install hs-cryptol
PKGNAME: hs-cryptol
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
hs-cryptol
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd642.11.02.11.0
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd642.11.02.11.0
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd642.11.02.11.0
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd642.11.0-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cabal : devel/hs-cabal-install
  2. ghc : lang/ghc
Runtime dependencies:
  1. z3 : math/z3
Library dependencies:
  1. libiconv.so : converters/libiconv
  2. libgmp.so : math/gmp
  3. libffi.so : devel/libffi
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (2 items)
Collapse this list.
  1. http://hackage.haskell.org/package/cryptol-2.11.0/
  2. https://hackage.haskell.org/package/cryptol-2.11.0/
Collapse this list.

Number of commits found: 11

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
23 Apr 2021 07:56:18
 files touched by this commit commit hash:e344f57c9809f9e80d828d1f30c9768cec910d75  2.11.0
yuri search for other commits by this committer
security/hs-cryptol: Fix Makefile format
23 Apr 2021 07:56:15
 files touched by this commit commit hash:57f017dc08c1c05229760f2c89d352c042074680  2.11.0
yuri search for other commits by this committer
security/hs-cryptol: Update 2.10.0 -> 2.11.0
21 Apr 2021 04:48:23
 files touched by this commit commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16  2.10.0_1
tobik search for other commits by this committer
Bump USES=cabal ports after 12837690ed0c
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  2.10.0
mat search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  2.10.0
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
21 Dec 2020 01:11:54
Original commit files touched by this commit Revision:558786  2.10.0
yuri search for other commits by this committer
security/hs-cryptol: Update 2.9.0 -> 2.10.0
16 Aug 2020 07:56:19
Original commit files touched by this commit Revision:545088  2.9.0
arrowd search for other commits by this committer
lang/ghc: Update to 8.10.1.

As usual, along with the compiler, many Haskell packages are updated as well.
04 Jul 2020 18:11:42
Original commit files touched by this commit Revision:541232  2.8.0_2
zeising search for other commits by this committer
Chanse update of devel/libffi

Chase the devel/libffi update
Bump portrevision of all dependent ports to chace shard library version bump
in libffi.
Update LIB_DEPENDS lines where needed to not require a specific version of
libffi.so.

PR:		247028 (for tracking)
04 May 2020 18:08:10
Original commit files touched by this commit Revision:533933  2.8.0_1
arrowd search for other commits by this committer
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.

PR:		244784
Submitted by:	Evilham <contact@evilham.com> (some ports)
24 Feb 2020 15:44:14
Original commit files touched by this commit Revision:526979  2.8.0
yuri search for other commits by this committer
security/hs-cryptol: Remove the unnecessary line

Reported by:	arrowd
24 Feb 2020 08:32:04
Original commit files touched by this commit Revision:526956  2.8.0
yuri search for other commits by this committer
New port: security/hs-cryptol: Language of cryptography

With help of:	arrowd

Number of commits found: 11