security/hs-cryptol 3.6.0

Domain-specific language for specifying cryptographic algorithms

Repository: FreeBSD ports
Maintainer: [email protected]
Last update: 2026-09-10
Commit: 9d445d3bfe
License: BSD3CLAUSE
Categories: security, lang, haskell

Description

Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language.

Install

As a binary package — by origin, or by package name:

pkg install security/hs-cryptol
pkg install hs-cryptol

From the ports tree:

cd /usr/ports/security/hs-cryptol/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	hs-cryptol>0:security/hs-cryptol

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository	aarch64	amd64	armv6	armv7	i386
FreeBSD:14:latest	-	3.6.0	-	-	-
FreeBSD:14:quarterly	-	3.6.0	n/a	-	-
FreeBSD:15:latest	-	3.6.0	n/a	-	-
FreeBSD:15:quarterly	-	3.6.0	n/a	n/a	n/a
FreeBSD:16:latest	-	3.6.0	n/a	n/a	n/a
FreeBSD:16:quarterly	n/a	n/a	n/a	n/a	n/a

Dependencies

As this port's Makefile names them.

Runtime 1

z3 : math/z3

The full lists below include those, and their dependencies in turn.

All build dependencies 6

All run dependencies 4

No port depends on this one.

Configuration

No options to configure.

USES: cabal
Service scripts: none

Files

pkg-plist 8

share/hs-cryptol/Array.cry
share/hs-cryptol/Cryptol.cry
share/hs-cryptol/Cryptol/Reference.cry
share/hs-cryptol/CryptolTC.smt2
share/hs-cryptol/Float.cry
share/hs-cryptol/PrimeEC.cry
share/hs-cryptol/SuiteB.cry
share/hs-cryptol/cry_ffi.h

distinfo 189

File	Size	SHA256
cabal/cryptol-3.6.0/cryptol-3.6.0.tar.gz	624186	cc0a7ef3b20f4543386209b9077c0d9064c22e0db81f30e8ab4cc8f5dc4a8d93
cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz	3591	531ceaed7f62844c2a63a7cbfdcab332ea5eaa218e9922ca3305580438adc46d
cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz	4289	789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1
cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz	8369	f7a6abf136eac1c6b370678e14e9519ed88c0c2adf75f06d6855b464db0c2420
cabal/OneTuple-0.4.3/OneTuple-0.4.3.tar.gz	5299	643d1f48e63480ac6d03a8f0ab5976d66527c9b42b1fca81d1bf373d10099c6b
cabal/QuickCheck-2.18.0.0/QuickCheck-2.18.0.0.tar.gz	90712	fd8462ad3b1c3bb90465ec581356cf5214673c1015d73f28f2e7a3df179bbc55
cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz	5048	5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825
cabal/adjunctions-4.4.4/adjunctions-4.4.4.tar.gz	16778	21408d9bd3c74331b557ce86281e592f56466e19d2a7e3f37e4065203a663145
cabal/aeson-2.2.5.1/aeson-2.2.5.1.tar.gz	341499	ea82d650c0bbd8877dbf13a03b9baae3be7ed4a65f4e8cfe5b4eacb4f5beae75
cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz	94432	df481dc960e2c59a30395f7335031fd4ef8773b8a42894a4f2320e00ff474418
cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz	33344	9cf083cef2e2ba88a425f132c8a82bfa931eb4b0c38232b2017f8fcea2e23073
cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz	8791	9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689
cabal/arithmoi-0.13.4.0/arithmoi-0.13.4.0.tar.gz	192879	cb79b0f34fdb3ecca4a456d13d8025416740d331dc9edc04d3f37af2af6ff787
cabal/assoc-1.1.1/assoc-1.1.1.tar.gz	3158	231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6
cabal/assoc-1.1.1/revision/2.cabal	1437	766b1040eda5255bfcf10e1a9859c06d0ed6ad0e2ac87ed915bb035574d10ae4
cabal/async-2.2.6/async-2.2.6.tar.gz	18996	148571bc188003101241da6c49131d07324e63a88ed283a84def2e9694599619
cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz	160701	3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c
cabal/attoparsec-0.14.4/revision/6.cabal	5914	35129d0ab1741f000f1a7d2fc839544919ee6fbb8f2d6e7f0a629c41f91035f3
cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz	41687	73972093f6a5f8e8daaeb5f1058abbd0944d3fcb9f073f2ad3cdb94095d4d2b7
cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz	36583	db26999f10f59f2357d0dbaa19b99b2075ab055f3b49ea8396a7580c23cfac8d

File

Size

SHA256

cabal/cryptol-3.6.0/cryptol-3.6.0.tar.gz

624186

cc0a7ef3b20f4543386209b9077c0d9064c22e0db81f30e8ab4cc8f5dc4a8d93

cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz

3591

531ceaed7f62844c2a63a7cbfdcab332ea5eaa218e9922ca3305580438adc46d

cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz

4289

789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1

cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz

8369

f7a6abf136eac1c6b370678e14e9519ed88c0c2adf75f06d6855b464db0c2420

cabal/OneTuple-0.4.3/OneTuple-0.4.3.tar.gz

5299

643d1f48e63480ac6d03a8f0ab5976d66527c9b42b1fca81d1bf373d10099c6b

cabal/QuickCheck-2.18.0.0/QuickCheck-2.18.0.0.tar.gz

90712

fd8462ad3b1c3bb90465ec581356cf5214673c1015d73f28f2e7a3df179bbc55

cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz

5048

5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825

cabal/adjunctions-4.4.4/adjunctions-4.4.4.tar.gz

16778

21408d9bd3c74331b557ce86281e592f56466e19d2a7e3f37e4065203a663145

cabal/aeson-2.2.5.1/aeson-2.2.5.1.tar.gz

341499

ea82d650c0bbd8877dbf13a03b9baae3be7ed4a65f4e8cfe5b4eacb4f5beae75

cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz

94432

df481dc960e2c59a30395f7335031fd4ef8773b8a42894a4f2320e00ff474418

cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz

33344

9cf083cef2e2ba88a425f132c8a82bfa931eb4b0c38232b2017f8fcea2e23073

cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz

8791

9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689

cabal/arithmoi-0.13.4.0/arithmoi-0.13.4.0.tar.gz

192879

cb79b0f34fdb3ecca4a456d13d8025416740d331dc9edc04d3f37af2af6ff787

cabal/assoc-1.1.1/assoc-1.1.1.tar.gz

3158

231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6

cabal/assoc-1.1.1/revision/2.cabal

1437

766b1040eda5255bfcf10e1a9859c06d0ed6ad0e2ac87ed915bb035574d10ae4

cabal/async-2.2.6/async-2.2.6.tar.gz

18996

148571bc188003101241da6c49131d07324e63a88ed283a84def2e9694599619

cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz

160701

3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c

cabal/attoparsec-0.14.4/revision/6.cabal

5914

35129d0ab1741f000f1a7d2fc839544919ee6fbb8f2d6e7f0a629c41f91035f3

cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz

41687

73972093f6a5f8e8daaeb5f1058abbd0944d3fcb9f073f2ad3cdb94095d4d2b7

cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz

36583

db26999f10f59f2357d0dbaa19b99b2075ab055f3b49ea8396a7580c23cfac8d

Commit history 4

Date Commit Credits Log message

2026-09-10 9d445d3bfe Yuri Victorovich security/hs-cryptol: update 3.4.0 → 3.6.0

Date	Commit	Credits	Log message
2026-09-10	`9d445d3bfe`	Yuri Victorovich	security/hs-cryptol: update 3.4.0 → 3.6.0
2026-08-17	`c3ee0d25f0`	Älven	math/z3: Update 5.0.0.0 => 5.1.0.0 Approved by: arrowd@ (maintainer) Approved by: db@, yuri@ (Mentors, implicit) Differential Revision: https://reviews.freebsd.org/D58886
2026-07-29	`dfa5362257`	Yuri Victorovich	math/z3: update 4.16.0.0 → 5.0.0.0 PR: 297106 Approved by: Gleb Popov <[email protected]> (maintainer)
2026-07-03	`f03ed60314`	Piotr Kubaj	security/hs-cryptol: fix build on powerpc64* cbits/cycles.c:73:2: error: error: Unsupported OS/architecture/compiler! 73 \| #error Unsupported OS/architecture/compiler! \| ^ \| 73 \| #error Unsupported OS/architecture/compiler! \| ^ 1 error generated.

2026-08-17

c3ee0d25f0

Älven

math/z3: Update 5.0.0.0 => 5.1.0.0

Approved by: arrowd@ (maintainer) Approved by: db@, yuri@ (Mentors, implicit) Differential Revision: https://reviews.freebsd.org/D58886

2026-07-29

dfa5362257

Yuri Victorovich

math/z3: update 4.16.0.0 → 5.0.0.0

PR: 297106 Approved by: Gleb Popov <[email protected]> (maintainer)

2026-07-03

f03ed60314

Piotr Kubaj

security/hs-cryptol: fix build on powerpc64*