notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
All times are UTC
Ukraine
Port details
hs-cryptol Language of cryptography
3.0.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.13.0_1Version 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: 2023-06-28 03:46:22
Commit Hash: d8c2cda
Also Listed In: haskell lang
License: BSD3CLAUSE
Description:
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb
pkg-plist: as obtained via: make generate-plist
Expand this list (13 items)
Collapse this list.
  1. /usr/local/share/licenses/hs-cryptol-3.0.0/catalog.mk
  2. /usr/local/share/licenses/hs-cryptol-3.0.0/LICENSE
  3. /usr/local/share/licenses/hs-cryptol-3.0.0/BSD3CLAUSE
  4. share/cryptol/Array.cry
  5. share/cryptol/Cryptol.cry
  6. share/cryptol/Cryptol/Reference.cry
  7. share/cryptol/CryptolTC.z3
  8. share/cryptol/Float.cry
  9. share/cryptol/PrimeEC.cry
  10. share/cryptol/SuiteB.cry
  11. @owner
  12. @group
  13. @mode
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
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: hs-cryptol
Flavors: there is no flavor information for this port.
distinfo:

Packages (timestamps in pop-ups are UTC):
hs-cryptol
ABIlatestquarterly
FreeBSD:12:aarch64--
FreeBSD:12:amd643.0.03.0.0
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd643.0.03.0.0
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:13:riscv64--
FreeBSD:14:aarch64--
FreeBSD:14:amd643.0.0-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
FreeBSD:14:riscv64--
FreeBSD:15:amd643.0.0-
FreeBSD:15:armv6--
FreeBSD:15:armv7--
FreeBSD:15:i386--
FreeBSD:15:mips64--
FreeBSD:15:powerpc64--
FreeBSD:15:riscv64--
 
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ghc-9.2.8 : lang/ghc92
  2. cabal : devel/hs-cabal-install
Runtime dependencies:
  1. z3 : math/z3
Library dependencies:
  1. libgmp.so : math/gmp
  2. 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/
  2. https://hackage.haskell.org/package/
Collapse this list.

Number of commits found: 22

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.0.0
28 Jun 2023 03:46:22
commit hash:d8c2cda80686c79a935220e26de4c43afa87d36ccommit hash:d8c2cda80686c79a935220e26de4c43afa87d36ccommit hash:d8c2cda80686c79a935220e26de4c43afa87d36ccommit hash:d8c2cda80686c79a935220e26de4c43afa87d36c files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
security/hs-cryptol: Update 2.13.0 → 3.0.0
2.13.0_1
07 Jun 2023 19:01:45
commit hash:d14c324e94927af3d41d062ef87b7368265dc4a7commit hash:d14c324e94927af3d41d062ef87b7368265dc4a7commit hash:d14c324e94927af3d41d062ef87b7368265dc4a7commit hash:d14c324e94927af3d41d062ef87b7368265dc4a7 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Haskell ports: Fix dependency on GHC 9.2 after its upgrade.

Reported by:	pkg-fallout
2.13.0_1
27 May 2023 08:44:43
commit hash:ec3d7f4c1b0de21660ee6c108c1200abbc82ced6commit hash:ec3d7f4c1b0de21660ee6c108c1200abbc82ced6commit hash:ec3d7f4c1b0de21660ee6c108c1200abbc82ced6commit hash:ec3d7f4c1b0de21660ee6c108c1200abbc82ced6 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/hs-cryptol: Switch to GHC 9.2 for building.
2.13.0_1
20 Nov 2022 17:39:28
commit hash:2fca7097b9f29351f1969eca7d1837ab99782f2ecommit hash:2fca7097b9f29351f1969eca7d1837ab99782f2ecommit hash:2fca7097b9f29351f1969eca7d1837ab99782f2ecommit hash:2fca7097b9f29351f1969eca7d1837ab99782f2e files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Uses/cabal.mk: Rework MASTER_SITES and DISTFILES handling.

This change removes duplicated entries from MASTER_SITES and DISTFILES
variables. Now the MASTER_SITES variable will contain single Hackage URL without
any group for the simplest case and with :_cabal_mk_hackage group in nodefault
case.

This change opens a path to using non-Hackage Cabal repositories
(needed for Cardano) and pulling in .cabal revisions without using patches.

Unfortunately, this change results in a large churn in Haskell ports distinfos.
To make this churn less useless, refresh all Haskell dependencies in all ports.
07 Sep 2022 21:58:51
commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
2.13.0
07 Sep 2022 21:10:59
commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.13.0
09 Aug 2022 09:16:31
commit hash:505ecf2230c9e73f5d231b855b2a88c41dfc3d26commit hash:505ecf2230c9e73f5d231b855b2a88c41dfc3d26commit hash:505ecf2230c9e73f5d231b855b2a88c41dfc3d26commit hash:505ecf2230c9e73f5d231b855b2a88c41dfc3d26 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Uses/cabal.mk: Rename `EXECUTABLES` to `CABAL_EXECUTABLES`.

Approved by: tcberner

Differential Revision: https://reviews.freebsd.org/D36079
2.13.0
28 Jul 2022 19:52:56
commit hash:166cea3628c726601ebfd9a5497a4808015eebd3commit hash:166cea3628c726601ebfd9a5497a4808015eebd3commit hash:166cea3628c726601ebfd9a5497a4808015eebd3commit hash:166cea3628c726601ebfd9a5497a4808015eebd3 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Uses/cabal.mk: Introduce CABAL_WRAPPER_SCRIPTS variable.

Before this change every Haskell executable was wrapped into a shell script
which was installed into ${PREFIX}/bin while the actual executable was installed
into {PREFIX}/libexec/cabal. This was required to set env variables pointing the
Haskell program to its data files under ${PREFIX}/share. However, not every
Haskell program uses this feature.

Now the shell wrapping is off by default and CABAL_WRAPPER_SCRIPTS knob can be
used to enable it for a given port/executable.

Adjust all Haskell ports affected by this change.
2.13.0
07 Jul 2022 10:24:35
commit hash:f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07commit hash:f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07commit hash:f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07commit hash:f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
security/hs-cryptol: Update to 2.13.0
2.11.0_1
09 May 2022 19:23:51
commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4 files touched by this commit
Kevin Bowling (kbowling) search for other commits by this committer
devel/libffi: Bump deps PORTREVISION for shlib change

PR:		263764
Reported by:	VVD <vvd@unislabs.com>
2.11.0
14 Oct 2021 15:58:01
commit hash:01049111d77ab4f8a1c0b59d8cb965414b9a2a0dcommit hash:01049111d77ab4f8a1c0b59d8cb965414b9a2a0dcommit hash:01049111d77ab4f8a1c0b59d8cb965414b9a2a0dcommit hash:01049111d77ab4f8a1c0b59d8cb965414b9a2a0d files touched by this commit
Mikael Urankar (mikael) search for other commits by this committer
security/hs-cryptol: Mark as broken on aarch64.
2.11.0
23 Apr 2021 07:56:18
commit hash:e344f57c9809f9e80d828d1f30c9768cec910d75commit hash:e344f57c9809f9e80d828d1f30c9768cec910d75commit hash:e344f57c9809f9e80d828d1f30c9768cec910d75commit hash:e344f57c9809f9e80d828d1f30c9768cec910d75 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
security/hs-cryptol: Fix Makefile format
2.11.0
23 Apr 2021 07:56:15
commit hash:57f017dc08c1c05229760f2c89d352c042074680commit hash:57f017dc08c1c05229760f2c89d352c042074680commit hash:57f017dc08c1c05229760f2c89d352c042074680commit hash:57f017dc08c1c05229760f2c89d352c042074680 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
security/hs-cryptol: Update 2.10.0 -> 2.11.0
2.10.0_1
21 Apr 2021 04:48:23
commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16commit hash:bdca32c5961668b70d8b65ecfe8d9f338216bb16 files touched by this commit
Tobias Kortkamp (tobik) search for other commits by this committer
Bump USES=cabal ports after 12837690ed0c
2.10.0
07 Apr 2021 08:09:01
commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash:cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash:cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
2.10.0
06 Apr 2021 14:31:07
commit hash:305f148f482daf30dcf728039d03d019f88344ebcommit hash:305f148f482daf30dcf728039d03d019f88344ebcommit hash:305f148f482daf30dcf728039d03d019f88344ebcommit hash:305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
2.10.0
21 Dec 2020 01:11:54
Revision:558786Original commit files touched by this commit
yuri search for other commits by this committer
security/hs-cryptol: Update 2.9.0 -> 2.10.0
2.9.0
16 Aug 2020 07:56:19
Revision:545088Original commit files touched by this commit
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.
2.8.0_2
04 Jul 2020 18:11:42
Revision:541232Original commit files touched by this commit
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)
2.8.0_1
04 May 2020 18:08:10
Revision:533933Original commit files touched by this commit
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)
2.8.0
24 Feb 2020 15:44:14
Revision:526979Original commit files touched by this commit
yuri search for other commits by this committer
security/hs-cryptol: Remove the unnecessary line

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

With help of:	arrowd

Number of commits found: 22