FreshPorts -- security/hs-cryptol: Domain-specific language for specifying cryptographic algorithms

Port details

hs-cryptol Domain-specific language for specifying cryptographic algorithms

3.6.0 security =0 3.4.0_1Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2020-02-24 08:32:14

Last Update: 2026-09-10 19:58:17

Commit Hash: 9d445d3

Also Listed In: haskell lang

License: BSD3CLAUSE

WWW:

https://cryptol.net

https://github.com/GaloisInc/cryptol

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.

¦ ¦ ¦ ¦

Manual pages:

FreshPorts has no man page information for this port.

pkg-plist: as obtained via: make generate-plist

Expand this list (14 items)

Collapse this list.

/usr/local/share/licenses/hs-cryptol-3.6.0/catalog.mk
/usr/local/share/licenses/hs-cryptol-3.6.0/LICENSE
/usr/local/share/licenses/hs-cryptol-3.6.0/BSD3CLAUSE
share/cryptol/Array.cry
share/cryptol/Cryptol.cry
share/cryptol/Cryptol/Reference.cry
share/cryptol/CryptolTC.smt2
share/cryptol/Float.cry
share/cryptol/PrimeEC.cry
share/cryptol/SuiteB.cry
share/cryptol/cry_ffi.h
@owner
@group
@mode

Collapse this list.

USE_RC_SUBR (Service Scripts)

no SUBR information found for this port

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:

TIMESTAMP = 1788929416 SHA256 (cabal/cryptol-3.6.0/cryptol-3.6.0.tar.gz) = cc0a7ef3b20f4543386209b9077c0d9064c22e0db81f30e8ab4cc8f5dc4a8d93 SIZE (cabal/cryptol-3.6.0/cryptol-3.6.0.tar.gz) = 624186

Expand this list (376 items)

Collapse this list.

SHA256 (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 531ceaed7f62844c2a63a7cbfdcab332ea5eaa218e9922ca3305580438adc46d SIZE (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 3591 SHA256 (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1 SIZE (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 4289 SHA256 (cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz) = f7a6abf136eac1c6b370678e14e9519ed88c0c2adf75f06d6855b464db0c2420 SIZE (cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz) = 8369 SHA256 (cabal/OneTuple-0.4.3/OneTuple-0.4.3.tar.gz) = 643d1f48e63480ac6d03a8f0ab5976d66527c9b42b1fca81d1bf373d10099c6b SIZE (cabal/OneTuple-0.4.3/OneTuple-0.4.3.tar.gz) = 5299 SHA256 (cabal/QuickCheck-2.18.0.0/QuickCheck-2.18.0.0.tar.gz) = fd8462ad3b1c3bb90465ec581356cf5214673c1015d73f28f2e7a3df179bbc55 SIZE (cabal/QuickCheck-2.18.0.0/QuickCheck-2.18.0.0.tar.gz) = 90712 SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825 SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048 SHA256 (cabal/adjunctions-4.4.4/adjunctions-4.4.4.tar.gz) = 21408d9bd3c74331b557ce86281e592f56466e19d2a7e3f37e4065203a663145 SIZE (cabal/adjunctions-4.4.4/adjunctions-4.4.4.tar.gz) = 16778 SHA256 (cabal/aeson-2.2.5.1/aeson-2.2.5.1.tar.gz) = ea82d650c0bbd8877dbf13a03b9baae3be7ed4a65f4e8cfe5b4eacb4f5beae75 SIZE (cabal/aeson-2.2.5.1/aeson-2.2.5.1.tar.gz) = 341499 SHA256 (cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz) = df481dc960e2c59a30395f7335031fd4ef8773b8a42894a4f2320e00ff474418 SIZE (cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz) = 94432 SHA256 (cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz) = 9cf083cef2e2ba88a425f132c8a82bfa931eb4b0c38232b2017f8fcea2e23073 SIZE (cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz) = 33344 SHA256 (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689 SIZE (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 8791 SHA256 (cabal/arithmoi-0.13.4.0/arithmoi-0.13.4.0.tar.gz) = cb79b0f34fdb3ecca4a456d13d8025416740d331dc9edc04d3f37af2af6ff787 SIZE (cabal/arithmoi-0.13.4.0/arithmoi-0.13.4.0.tar.gz) = 192879 SHA256 (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6 SIZE (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 3158 SHA256 (cabal/assoc-1.1.1/revision/2.cabal) = 766b1040eda5255bfcf10e1a9859c06d0ed6ad0e2ac87ed915bb035574d10ae4 SIZE (cabal/assoc-1.1.1/revision/2.cabal) = 1437 SHA256 (cabal/async-2.2.6/async-2.2.6.tar.gz) = 148571bc188003101241da6c49131d07324e63a88ed283a84def2e9694599619 SIZE (cabal/async-2.2.6/async-2.2.6.tar.gz) = 18996 SHA256 (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c SIZE (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 160701 SHA256 (cabal/attoparsec-0.14.4/revision/6.cabal) = 35129d0ab1741f000f1a7d2fc839544919ee6fbb8f2d6e7f0a629c41f91035f3 SIZE (cabal/attoparsec-0.14.4/revision/6.cabal) = 5914 SHA256 (cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz) = 73972093f6a5f8e8daaeb5f1058abbd0944d3fcb9f073f2ad3cdb94095d4d2b7 SIZE (cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz) = 41687 SHA256 (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = db26999f10f59f2357d0dbaa19b99b2075ab055f3b49ea8396a7580c23cfac8d SIZE (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = 36583 SHA256 (cabal/base-orphans-0.9.4/base-orphans-0.9.4.tar.gz) = 08cc283a31350f7bd28b2a5d31af693ee337f2593d3e7222999b72dd4954c72b SIZE (cabal/base-orphans-0.9.4/base-orphans-0.9.4.tar.gz) = 19999 SHA256 (cabal/bifunctors-5.6.3/bifunctors-5.6.3.tar.gz) = ad7a357f022f4c780c505040d73f1c06a4fd697b4a0bab6123bbd73b55d8115c SIZE (cabal/bifunctors-5.6.3/bifunctors-5.6.3.tar.gz) = 38216 SHA256 (cabal/bifunctors-5.6.3/revision/1.cabal) = 58f1d66db71ed9dd70648eaca1a0986b29354b3a69b5bfd729ce1a896766466e SIZE (cabal/bifunctors-5.6.3/revision/1.cabal) = 3271 SHA256 (cabal/bimap-0.5.0/bimap-0.5.0.tar.gz) = b0b44b0f2eaceb83f46dfa3d1747e080c45204c64d18bb9e63747299266f0c95 SIZE (cabal/bimap-0.5.0/bimap-0.5.0.tar.gz) = 11205 SHA256 (cabal/bitvec-1.1.6.0/bitvec-1.1.6.0.tar.gz) = 1a42d33ce341973f4e4f3f0e10d00760056a0aca0e2a57180994bf2ac26c4e2b SIZE (cabal/bitvec-1.1.6.0/bitvec-1.1.6.0.tar.gz) = 39754 SHA256 (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 76ae082a9f1950555dae8f1fb57ac6a7da85f30114b2f252dd2fa5e567fbbe0f SIZE (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 16473 SHA256 (cabal/bitwise-1.0.0.1/revision/12.cabal) = a6a4e6d7858cbcbcfd2949d1fc83184887d2ee482a6345b5b186c011ac361e97 SIZE (cabal/bitwise-1.0.0.1/revision/12.cabal) = 3056 SHA256 (cabal/blaze-builder-0.4.4.1/blaze-builder-0.4.4.1.tar.gz) = 971d360428ac97af9a4e55e4f2c23649f6cedc0ce5d6e94d520e663f33ea5113 SIZE (cabal/blaze-builder-0.4.4.1/blaze-builder-0.4.4.1.tar.gz) = 59452 SHA256 (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f SIZE (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 81915 SHA256 (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 85c42f84f4ead2c48844fbe0865069add3bb3bb3322d38607e93d5515a4c9c58 SIZE (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 3087 SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8 SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647 SHA256 (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 027f218b81d28a7c0a33b93d456c4e5aa92d145e9dcee14834fbad73a39ad7e4 SIZE (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 2360 SHA256 (cabal/boring-0.2.2.1/boring-0.2.2.1.tar.gz) = a96edc1d8a782ca888068a9bc971452dc7fbed03b90e5e0d71bd733c5684e62d SIZE (cabal/boring-0.2.2.1/boring-0.2.2.1.tar.gz) = 5472 SHA256 (cabal/bv-sized-1.0.8/bv-sized-1.0.8.tar.gz) = 336c961e76e93ac82e97817062e76526955aee4705f9d90f9a70af96b65c3234 SIZE (cabal/bv-sized-1.0.8/bv-sized-1.0.8.tar.gz) = 20238 SHA256 (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 430bcf8a3404f7e55319573c0b807b1356946f0c8f289bb3d9afb279c636b87b SIZE (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 2757 SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406 SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609 SHA256 (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 22de71fde38b236d3e9168a832b5e1e75d1fb4f4028667bdf747b3b4c8c1529c SIZE (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 8192 SHA256 (cabal/chimera-0.4.2.0/chimera-0.4.2.0.tar.gz) = 8795037c874c8438dca33eb8402c4ad7cef5faa89f23c7465b3743e5dbb55a00 SIZE (cabal/chimera-0.4.2.0/chimera-0.4.2.0.tar.gz) = 23042 SHA256 (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 6ae9898afe788a5e334cd5fad5d18a3c2e8e59fa09aaf7b957dbb38a4767df2e SIZE (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 9322 SHA256 (cabal/colour-2.3.7/colour-2.3.7.tar.gz) = 1f3b1055675abe4e3362800cc9bf7ab9b92dfdf21a1f6c82b252611270be9680 SIZE (cabal/colour-2.3.7/colour-2.3.7.tar.gz) = 22506 SHA256 (cabal/comonad-5.0.10/comonad-5.0.10.tar.gz) = e9739df2bf5944958062a4ea73bde3bf35c0879cee0944edf7f05bebf993f9c1 SIZE (cabal/comonad-5.0.10/comonad-5.0.10.tar.gz) = 14520 SHA256 (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 040e6db9e0147de9929661759930f1566a7250add4c7f65b04dc6e070c991df9 SIZE (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 15844 SHA256 (cabal/concurrent-output-1.10.21/concurrent-output-1.10.21.tar.gz) = 4a20f3af43a1023539fd35e6d94a13c3c55e296eb233149f2371c2aa9ea3b512 SIZE (cabal/concurrent-output-1.10.21/concurrent-output-1.10.21.tar.gz) = 23875 SHA256 (cabal/config-value-0.8.3/config-value-0.8.3.tar.gz) = 7cb8d046be5adc09b19dae6b0ad1010b0292f069034c83d28954f1905ee76c5e SIZE (cabal/config-value-0.8.3/config-value-0.8.3.tar.gz) = 20540 SHA256 (cabal/config-value-0.8.3/revision/11.cabal) = e42b3ab9eeb1b341ab74486da87198dd440ad3800c1497ba1598de6f7d5d46cc SIZE (cabal/config-value-0.8.3/revision/11.cabal) = 1983 SHA256 (cabal/constraints-0.14.4/constraints-0.14.4.tar.gz) = 808021e217c39eb4aaa76cf85abf43f4e5bf4396143d86bb2275068dd8bb6d39 SIZE (cabal/constraints-0.14.4/constraints-0.14.4.tar.gz) = 21265 SHA256 (cabal/contravariant-1.5.6/contravariant-1.5.6.tar.gz) = 65f3260354ee5fd1f2c7ffc54cff99d22b794c254f053734979ad37820e6efe3 SIZE (cabal/contravariant-1.5.6/contravariant-1.5.6.tar.gz) = 13438 SHA256 (cabal/criterion-measurement-0.2.5.0/criterion-measurement-0.2.5.0.tar.gz) = fc1686a70c6de23f6bfaaf269644db9fe499aaa586d044d1cd81dbda555ee578 SIZE (cabal/criterion-measurement-0.2.5.0/criterion-measurement-0.2.5.0.tar.gz) = 18041 SHA256 (cabal/cryptohash-sha256-0.11.102.1/cryptohash-sha256-0.11.102.1.tar.gz) = 73a7dc7163871a80837495039a099967b11f5c4fe70a118277842f7a713c6bf6 SIZE (cabal/cryptohash-sha256-0.11.102.1/cryptohash-sha256-0.11.102.1.tar.gz) = 15707 SHA256 (cabal/cryptohash-sha256-0.11.102.1/revision/6.cabal) = 0e9de2ccce261e7a5b027e842f6f47f50eb0e6059a0de98a5479f75aa8164107 SIZE (cabal/cryptohash-sha256-0.11.102.1/revision/6.cabal) = 5487 SHA256 (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 8df052d18c047ab9e9200536a8799b5af3997ebecbbb091a7384b6be8416ab37 SIZE (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 5992 SHA256 (cabal/data-fix-0.3.4/revision/2.cabal) = 200360c49cc81cf8b8bbdf49afd4aee03fffd09d3395b080a7e7c65fcf01d313 SIZE (cabal/data-fix-0.3.4/revision/2.cabal) = 1421 SHA256 (cabal/deriving-compat-0.6.8/deriving-compat-0.6.8.tar.gz) = 6deda0788c73d33e723d203d02926c213de7b24e2b8960eeb5e58c85b8b06853 SIZE (cabal/deriving-compat-0.6.8/deriving-compat-0.6.8.tar.gz) = 70068 SHA256 (cabal/distributive-0.6.3/distributive-0.6.3.tar.gz) = aeeb028a23db9f9b073e24a6bd766b79b9d58c2b407b06bf33296c27e9264baa SIZE (cabal/distributive-0.6.3/distributive-0.6.3.tar.gz) = 7840 SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115 SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667 SHA256 (cabal/dlist-1.0/revision/2.cabal) = 854727594c5a816ab3d10f15b1bc4fedaf9e3f7d1ef517a2bb9011f29ba261d2 SIZE (cabal/dlist-1.0/revision/2.cabal) = 3942 SHA256 (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 24f0b79c7e1d25cb2cd44c2258d7a464bf6db8079775b50b60b54a254616b337 SIZE (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 1918 SHA256 (cabal/exact-pi-0.5.1.0/exact-pi-0.5.1.0.tar.gz) = 0db3f5677a97e76fb601c102f69c58a347e33913ad836dac7ae7ccc3cc6ba38a SIZE (cabal/exact-pi-0.5.1.0/exact-pi-0.5.1.0.tar.gz) = 9226 SHA256 (cabal/extra-1.8.1/extra-1.8.1.tar.gz) = 66a7d6d718646a7bda822d67550dc185c6e25ad1f7fecf06fc132e300098b598 SIZE (cabal/extra-1.8.1/extra-1.8.1.tar.gz) = 47197 SHA256 (cabal/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 5f18672eff936355557cdd163905451205d7ee22742edac313dd27cf42a3f415 SIZE (cabal/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 7198 SHA256 (cabal/fingertree-0.1.6.3/fingertree-0.1.6.3.tar.gz) = 87e0ae5fd8dfe57119b8a6a291f66b2aa9751fe3c6dfeff7f7de87d9fcdba2b8 SIZE (cabal/fingertree-0.1.6.3/fingertree-0.1.6.3.tar.gz) = 20926 SHA256 (cabal/free-5.2/free-5.2.tar.gz) = 72867f7c89173263765736e8d395e94291f1aaea626ecb1d673d72ce90b94f89 SIZE (cabal/free-5.2/free-5.2.tar.gz) = 58781 SHA256 (cabal/free-5.2/revision/8.cabal) = 39ca01645f7c2f08ffd64226891c514bdc924a87da48f815f9fe77c2e0ac1164 SIZE (cabal/free-5.2/revision/8.cabal) = 4178 SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332 SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756 SHA256 (cabal/happy-2.2/happy-2.2.tar.gz) = 2e9345c99a61bc29b5a1b9d5c1ea791cbea219499a4c01ed71f33c3af34a5eb0 SIZE (cabal/happy-2.2/happy-2.2.tar.gz) = 62273 SHA256 (cabal/happy-lib-2.2/happy-lib-2.2.tar.gz) = d2e0662b12b52008787c380b94acd4f6ed0a0af04bb0d433ed8c4ac00f1e3003 SIZE (cabal/happy-lib-2.2/happy-lib-2.2.tar.gz) = 94570 SHA256 (cabal/hashable-1.5.1.0/hashable-1.5.1.0.tar.gz) = ed0b7c10ce92c9ffe45420dadc38c6d39db486ff3633ff13567cc9f75f79b112 SIZE (cabal/hashable-1.5.1.0/hashable-1.5.1.0.tar.gz) = 90605 SHA256 (cabal/hashtables-1.4.2/hashtables-1.4.2.tar.gz) = ca0e299fee6c0c918f45ce0907afbff1c3891998bb792d1717e4d5f12350ef0d SIZE (cabal/hashtables-1.4.2/hashtables-1.4.2.tar.gz) = 58869 SHA256 (cabal/haskell-lexer-1.2.1/haskell-lexer-1.2.1.tar.gz) = 9d76e1528106b1b32e6e465264e39381ca4b450b72a4b5331e7e5127640a1a41 SIZE (cabal/haskell-lexer-1.2.1/haskell-lexer-1.2.1.tar.gz) = 14602 SHA256 (cabal/hedgehog-1.7/hedgehog-1.7.tar.gz) = 09e2bca0f798dbf5848ff3eb78c1617fc13e51660ad5d4a457a54ce87b1b564e SIZE (cabal/hedgehog-1.7/hedgehog-1.7.tar.gz) = 79976 SHA256 (cabal/hedgehog-1.7/revision/1.cabal) = 1f49ccbcb39dfd35e6c829e104f5fbfbecc9fbb7d74f72a1bb3caacc0aa9689e SIZE (cabal/hedgehog-1.7/revision/1.cabal) = 4872 SHA256 (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = c90d9fc61cb8cd812be510845493b6a6eddcc4b772581fd40a9433ed8f130f40 SIZE (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = 2449 SHA256 (cabal/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = c681633d3e47d7eabd1cd43028a0e8f2e279a9c60c7701d0dc060145bd598023 SIZE (cabal/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = 15147 SHA256 (cabal/hgmp-0.1.2.1/revision/4.cabal) = 9d247b386e069de731442038988a5cf4bb221913ceb9f639215dd52856472088 SIZE (cabal/hgmp-0.1.2.1/revision/4.cabal) = 2421 SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76 SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517 SHA256 (cabal/hsc2hs-0.68.10/revision/5.cabal) = 39b25fd929b02b01a3fe59fec7ca8b2da6f0f9e282276b7a84e63a4702c4d725 SIZE (cabal/hsc2hs-0.68.10/revision/5.cabal) = 3131 SHA256 (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1 SIZE (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 17564 SHA256 (cabal/indexed-traversable-0.1.5/indexed-traversable-0.1.5.tar.gz) = 6423597d3528ac66c54beaab9f5408429c0a29b8cb98c45a1645f255aef7fef0 SIZE (cabal/indexed-traversable-0.1.5/indexed-traversable-0.1.5.tar.gz) = 9532 SHA256 (cabal/indexed-traversable-instances-0.1.2.1/indexed-traversable-instances-0.1.2.1.tar.gz) = e69d41f23a95463c2e03aee03374a4f489c72f7bf235be251499c4cca9411fec SIZE (cabal/indexed-traversable-instances-0.1.2.1/indexed-traversable-instances-0.1.2.1.tar.gz) = 3690 SHA256 (cabal/infinite-list-0.1.3/infinite-list-0.1.3.tar.gz) = 36d71eebb7ea61ff2a14d0e707f7d02c9eeee72d20b53c655dcaf6ac78da95db SIZE (cabal/infinite-list-0.1.3/infinite-list-0.1.3.tar.gz) = 24555 SHA256 (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = c18164a048073310f6353ebc64c9037b52a4b8299963ce05e027bcf60e22155a SIZE (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = 6179 SHA256 (cabal/integer-conversion-0.1.1/revision/2.cabal) = 123d1b088404f0976500c68d8105978aa2e32908ce5508e32aebd237f0447c9f SIZE (cabal/integer-conversion-0.1.1/revision/2.cabal) = 2311 SHA256 (cabal/integer-logarithms-1.0.5/integer-logarithms-1.0.5.tar.gz) = 66dff6f1f778fe1ec689139fe125cd4e6a95643734c651c891eafa2c50669459 SIZE (cabal/integer-logarithms-1.0.5/integer-logarithms-1.0.5.tar.gz) = 8925 SHA256 (cabal/integer-roots-1.0.4.0/integer-roots-1.0.4.0.tar.gz) = a50c8287fe5f84a66bc196864e23cfc4bb9ecd10c7d664383c0c00e8f1896526 SIZE (cabal/integer-roots-1.0.4.0/integer-roots-1.0.4.0.tar.gz) = 55493 SHA256 (cabal/invariant-0.6.5/invariant-0.6.5.tar.gz) = 626bdec7c925fb0f15896dcc776992cb00a5fcf99211528c13e7535e72396e3a SIZE (cabal/invariant-0.6.5/invariant-0.6.5.tar.gz) = 27115 SHA256 (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = d365d5051696c15414ebe23749fc67475a532234b7c7d77060323d149a8fc4fe SIZE (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = 64166 SHA256 (cabal/io-streams-1.5.2.2/revision/7.cabal) = 195b368dddc1fcc5dc4cc642f476cfd32625b7009bc8bb15256276f83a92a84a SIZE (cabal/io-streams-1.5.2.2/revision/7.cabal) = 9669 SHA256 (cabal/kan-extensions-5.2.8/kan-extensions-5.2.8.tar.gz) = f76daa44a80d423c849d5fb552e2a20b1e2f47b638c889a34cb1a5bd1ab08d21 SIZE (cabal/kan-extensions-5.2.8/kan-extensions-5.2.8.tar.gz) = 21802 SHA256 (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 7062d0fb381308316f777b52a889ef6b4ed88c23804a1cf7b4653cac8b7bcc09 SIZE (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 11220 SHA256 (cabal/language-c99-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 7275797bd2cfd4799ae0094ecd9da4e9333d12defd396277ac403343e542e06e SIZE (cabal/language-c99-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 8293 SHA256 (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 241b4ffce7339744eeb0b92d22814d04c6d137467a0e2f172dbec66d3e474633 SIZE (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 5018 SHA256 (cabal/lens-5.3.6/lens-5.3.6.tar.gz) = d345dcf1fda4d4a127b84d42638b62f783cf52750bd8fd14ab1637510c1023c2 SIZE (cabal/lens-5.3.6/lens-5.3.6.tar.gz) = 706940 SHA256 (cabal/libBF-0.6.9/libBF-0.6.9.tar.gz) = fb7a40f158754ee0c79b73a0b45102352d4b905bed0406799c166e7e84424ec9 SIZE (cabal/libBF-0.6.9/libBF-0.6.9.tar.gz) = 78496 SHA256 (cabal/libffi-0.2.1/libffi-0.2.1.tar.gz) = 76ae195f738d72bb75a34be0bbb7ab5fd097d50fb05aaf2a252e88d265d53af1 SIZE (cabal/libffi-0.2.1/libffi-0.2.1.tar.gz) = 7879 SHA256 (cabal/lifted-async-0.11.0/lifted-async-0.11.0.tar.gz) = 2e52e997b44e8a850fae925aa7160510c287b15a90fb4c0385c25f4302083288 SIZE (cabal/lifted-async-0.11.0/lifted-async-0.11.0.tar.gz) = 10684 SHA256 (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = c134a95f56750aae806e38957bb03c59627cda16034af9e00a02b699474317c5 SIZE (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = 11700 SHA256 (cabal/megaparsec-9.8.1/megaparsec-9.8.1.tar.gz) = e05c71a12a085b8e87f156dfee4a9a7c8cbd483a3abe9c779f921d0563b97aa8 SIZE (cabal/megaparsec-9.8.1/megaparsec-9.8.1.tar.gz) = 68038 SHA256 (cabal/mmorph-1.2.2/mmorph-1.2.2.tar.gz) = dd6f2d2b3b6776544fc6fefe914c9ba4016ca911755383ec639d6ede417b9faf SIZE (cabal/mmorph-1.2.2/mmorph-1.2.2.tar.gz) = 6990 SHA256 (cabal/mmorph-1.2.2/revision/2.cabal) = a90c97c248a95ef40338edef735de07ba39c774d959f3b07a5488c21eb6d6f4f SIZE (cabal/mmorph-1.2.2/revision/2.cabal) = 1083 SHA256 (cabal/mod-0.2.2.0/mod-0.2.2.0.tar.gz) = 09c9ff47b4e2a14bcaf5f6c9acdfbd9de43f7901a9c40804617555076cff9123 SIZE (cabal/mod-0.2.2.0/mod-0.2.2.0.tar.gz) = 16885 SHA256 (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = ae0baea04d99375ef788140367179994a7178d400a8ce0d9026846546772713c SIZE (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = 13985 SHA256 (cabal/monadLib-3.10.3/monadLib-3.10.3.tar.gz) = 6a0ad322fa22c82bde1e7ca36b5904063e8d87628e9afc2b60678893ff981d11 SIZE (cabal/monadLib-3.10.3/monadLib-3.10.3.tar.gz) = 11298 SHA256 (cabal/network-3.2.9.0/network-3.2.9.0.tar.gz) = a3e1d8bdd58c67fe4bf21f2feb41b5041b8926f3d5779f80614944b7c3075bb5 SIZE (cabal/network-3.2.9.0/network-3.2.9.0.tar.gz) = 146197 SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228 SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309 SHA256 (cabal/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588 SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217 SHA256 (cabal/newtype-generics-0.6.3/newtype-generics-0.6.3.tar.gz) = 5f5add0d21c5d54c09b1f8c2a14e0e36c2c507b44b1b706270fd508afb690a01 SIZE (cabal/newtype-generics-0.6.3/newtype-generics-0.6.3.tar.gz) = 6907 SHA256 (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = f49351544dfc7920df46d24f3734f116f32ded5add7bb950b0e00e2a10c7bd9e SIZE (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = 7503 SHA256 (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz) = cf16aeefd821730c7738447fa7c6b7ada7ca1c9cc25400d64ef283294d345871 SIZE (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz) = 67629 SHA256 (cabal/optparse-applicative-0.19.0.0/revision/1.cabal) = 4c1dcbdbf2498f7cdd88826e876403db7f8d81931962060ec4c3a57a186c6cc3 SIZE (cabal/optparse-applicative-0.19.0.0/revision/1.cabal) = 5982 SHA256 (cabal/ordered-containers-0.2.4/ordered-containers-0.2.4.tar.gz) = 3da1673e24e12902c2879ee08b73e6978f6bfa70693b13995ebf48bfb7aee546 SIZE (cabal/ordered-containers-0.2.4/ordered-containers-0.2.4.tar.gz) = 7877 SHA256 (cabal/ordered-containers-0.2.4/revision/1.cabal) = 131205d9197f1e365dc04255883151b033c22e55f9cc38b3dcc7821636f8c3d0 SIZE (cabal/ordered-containers-0.2.4/revision/1.cabal) = 871 SHA256 (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 15dceb4240257a8e8e451a0d9d14ca5316b204214c08e211febbdcefd1732d42 SIZE (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 2265 SHA256 (cabal/parallel-3.3.0.0/parallel-3.3.0.0.tar.gz) = 47c21e778d8e8ebf657aa72fd30e189e71ffddb188660e9d09ca9062d7541791 SIZE (cabal/parallel-3.3.0.0/parallel-3.3.0.0.tar.gz) = 15309 SHA256 (cabal/parallel-3.3.0.0/revision/1.cabal) = 7a4b82d3ad83e38f5b3be442ee32c9e17905ba9a813349fa76707fd0377e91aa SIZE (cabal/parallel-3.3.0.0/revision/1.cabal) = 1849 SHA256 (cabal/parameterized-utils-2.1.11.0/parameterized-utils-2.1.11.0.tar.gz) = 8b22b019c687afa94e1fb488c99972b1b7629e9d7537f71d2018b11903f4bcba SIZE (cabal/parameterized-utils-2.1.11.0/parameterized-utils-2.1.11.0.tar.gz) = 101731 SHA256 (cabal/parser-combinators-1.3.1/parser-combinators-1.3.1.tar.gz) = 9c506cc38f9df0fc23a942e739ed1f0799fc6c54515d770de044168ecff740bf SIZE (cabal/parser-combinators-1.3.1/parser-combinators-1.3.1.tar.gz) = 11684 SHA256 (cabal/pretty-show-1.10/pretty-show-1.10.tar.gz) = 307f9086e0b063d439dc4f513e36a145e8a57f23de448aefae2a6c00f6da6fd2 SIZE (cabal/pretty-show-1.10/pretty-show-1.10.tar.gz) = 42233 SHA256 (cabal/prettyprinter-1.7.2/prettyprinter-1.7.2.tar.gz) = f04eb6fd865512ad8672da1e8bfcea1c384509fc2f662c41b7ac39d7898706ee SIZE (cabal/prettyprinter-1.7.2/prettyprinter-1.7.2.tar.gz) = 57434 SHA256 (cabal/prettyprinter-ansi-terminal-1.1.4/prettyprinter-ansi-terminal-1.1.4.tar.gz) = 912cd340d5c2583111e2eaeb9aa03b87551ca2e3dd78bbfd346756b9f1e6c9fe SIZE (cabal/prettyprinter-ansi-terminal-1.1.4/prettyprinter-ansi-terminal-1.1.4.tar.gz) = 9918 SHA256 (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 44b4de41813c7bc5db8a57f87c3612a069b65086946268ba165097252ebd3d76 SIZE (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 61724 SHA256 (cabal/primitive-0.9.1.0/revision/1.cabal) = 756b222c715bc6ef5ba81fa69cdbaa20c5c53beb6f16f174b8bacc93a6d239f0 SIZE (cabal/primitive-0.9.1.0/revision/1.cabal) = 3258 SHA256 (cabal/profunctors-5.6.3/profunctors-5.6.3.tar.gz) = b9c6f427368d2e811e4c48b59005218672458fd2f00a02cbefb8be9c751c0ef3 SIZE (cabal/profunctors-5.6.3/profunctors-5.6.3.tar.gz) = 28146 SHA256 (cabal/random-1.3.1/random-1.3.1.tar.gz) = d840ac83f265b0cfa2a678f8ec78627eb50cf9be2f067c52c8a4239c29b71a35 SIZE (cabal/random-1.3.1/random-1.3.1.tar.gz) = 63846 SHA256 (cabal/reflection-2.1.9/reflection-2.1.9.tar.gz) = c6a7d5e41ad0ee1a05c660acf4fd34b21f38330eec165d246b7fffb398e59fb3 SIZE (cabal/reflection-2.1.9/reflection-2.1.9.tar.gz) = 17560 SHA256 (cabal/reflection-2.1.9/revision/1.cabal) = eaf28dc9884718a306ed1e0c215a24b36c68b8aa3be425617f66d886d43fe1e0 SIZE (cabal/reflection-2.1.9/revision/1.cabal) = 4171 SHA256 (cabal/resourcet-1.3.0/resourcet-1.3.0.tar.gz) = ec601785ee42a201f32adb205b8685c983f18757b1bd33d2e806d571e0f9996b SIZE (cabal/resourcet-1.3.0/resourcet-1.3.0.tar.gz) = 17620 SHA256 (cabal/rme-0.1.3/rme-0.1.3.tar.gz) = 486f7dc7bc016f87a949394ea0a470fc44e4e34d46b81bd88eb57f0832e9d12f SIZE (cabal/rme-0.1.3/rme-0.1.3.tar.gz) = 6828 SHA256 (cabal/rme-what4-0.1.3/rme-what4-0.1.3.tar.gz) = c6e9667529ce71f9454c1852da09d38f1d25bb321ab4b7607b293c98991e229d SIZE (cabal/rme-what4-0.1.3/rme-what4-0.1.3.tar.gz) = 8505 SHA256 (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 216d60f8bcb8805ae8a94bf29917f3dd42c48a8cd91baa40464b431a9bf20c1d SIZE (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 40873 SHA256 (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 3c51d8d50c9b60ff8bf94f942fd92e3bea9e62c5afa778dfc9f707b79da41ef6 SIZE (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 15347 SHA256 (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 8bb7261bd54bd58acfcb154be6a161fb6d0d31a1852aadc8e927d2ad2d7651d1 SIZE (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 1412 SHA256 (cabal/sbv-11.0/sbv-11.0.tar.gz) = f719d4f90a9983de31c5c86e8d848c98abdc126bc45a7d3453387b98ebf0bedd SIZE (cabal/sbv-11.0/sbv-11.0.tar.gz) = 1071131 SHA256 (cabal/scientific-0.3.8.1/scientific-0.3.8.1.tar.gz) = ad3781be149dfc7936e62eb9c3ad78ded0e9985b4dae16d2f62d9ba957ccdcfe SIZE (cabal/scientific-0.3.8.1/scientific-0.3.8.1.tar.gz) = 24338 SHA256 (cabal/semialign-1.4/semialign-1.4.tar.gz) = 0f51389e57af646042dcec2511960617bee2857231ac291228cf4ef6621a9464 SIZE (cabal/semialign-1.4/semialign-1.4.tar.gz) = 10752 SHA256 (cabal/semigroupoids-6.0.2/semigroupoids-6.0.2.tar.gz) = e48258e49542245ef6c58d7f419a83d1d1ab91b013d92c3b5c8c7c048daaa12e SIZE (cabal/semigroupoids-6.0.2/semigroupoids-6.0.2.tar.gz) = 36447 SHA256 (cabal/semigroupoids-6.0.2/revision/1.cabal) = 52c5a346fdf74380618f67ff784989ef9078498dbbdff09e4d8e2fed20202e2c SIZE (cabal/semigroupoids-6.0.2/revision/1.cabal) = 7216 SHA256 (cabal/semirings-0.7/semirings-0.7.tar.gz) = 8fc80ae222196de2c7426e4be011d1f0ba3ee55ac5d268a705c5beeb83fe5de6 SIZE (cabal/semirings-0.7/semirings-0.7.tar.gz) = 21947 SHA256 (cabal/simple-get-opt-0.5/simple-get-opt-0.5.tar.gz) = 61354bfe3ed8eb6f577bbe6794318a2916da297215115fc6763a24c35d71f956 SIZE (cabal/simple-get-opt-0.5/simple-get-opt-0.5.tar.gz) = 3726 SHA256 (cabal/simple-smt-1.0.1/simple-smt-1.0.1.tar.gz) = bf74e6f28b070b26cf95353dd97aa9fc5793697eb82749fa48e315f5c89b8047 SIZE (cabal/simple-smt-1.0.1/simple-smt-1.0.1.tar.gz) = 15150 SHA256 (cabal/splitmix-0.1.3.2/splitmix-0.1.3.2.tar.gz) = a61d4e8b30f5a16526d7d31171b674ae7924d2207f378060d13363bd8794de8c SIZE (cabal/splitmix-0.1.3.2/splitmix-0.1.3.2.tar.gz) = 11373 SHA256 (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 77719280c2a86312e748227bfa732eeaae0e7df48d57acc3c2e5b7b07afe2f8b SIZE (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 11798 SHA256 (cabal/strict-0.5.1/revision/1.cabal) = 58c373b7c7748cbb4a5a6c8c15073f99a1c10a9a9bb6894ac33f43a5cdb901f2 SIZE (cabal/strict-0.5.1/revision/1.cabal) = 3557 SHA256 (cabal/syb-0.7.4/syb-0.7.4.tar.gz) = ddcaca983f67a170c0cfdbd037a268779880e2f9b57f93135eaccb6ae4c5da3f SIZE (cabal/syb-0.7.4/syb-0.7.4.tar.gz) = 42308 SHA256 (cabal/tagged-0.8.10/tagged-0.8.10.tar.gz) = 17ef791eb4caf314a3b4b158827a0f1f4b695c2a24af0875f09e3d8c10f56c5d SIZE (cabal/tagged-0.8.10/tagged-0.8.10.tar.gz) = 8398 SHA256 (cabal/tagged-0.8.10/revision/1.cabal) = e9b97c98e9827981d62f37c5febf9e6bbb67acec92b8bd41fd9f7ace5eb31d32 SIZE (cabal/tagged-0.8.10/revision/1.cabal) = 2201 SHA256 (cabal/tasty-1.5.4/tasty-1.5.4.tar.gz) = c76120141bd61c4418b3ed5efc5fe3094186d47cfe12d7be552320139f52c6c7 SIZE (cabal/tasty-1.5.4/tasty-1.5.4.tar.gz) = 68529 SHA256 (cabal/tasty-hedgehog-1.4.0.2/tasty-hedgehog-1.4.0.2.tar.gz) = 453484d732712525a9c74a07db5f18b5f80f867a98958e67031d8d0bfe007152 SIZE (cabal/tasty-hedgehog-1.4.0.2/tasty-hedgehog-1.4.0.2.tar.gz) = 5505 SHA256 (cabal/tasty-hedgehog-1.4.0.2/revision/8.cabal) = d1e63a4e9f57fc8a9f8cb8a36cccf3cc887aceebc874d12967bbe9af70652c1a SIZE (cabal/tasty-hedgehog-1.4.0.2/revision/8.cabal) = 1852 SHA256 (cabal/tasty-hunit-0.10.2/tasty-hunit-0.10.2.tar.gz) = 5af01fa7c1ef98b324da062e36f79986a8b1b83ff0cf6fd53f95d976b41e03f6 SIZE (cabal/tasty-hunit-0.10.2/tasty-hunit-0.10.2.tar.gz) = 7808 SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890 SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686 SHA256 (cabal/terminal-size-0.3.4/terminal-size-0.3.4.tar.gz) = b0f070d6926cdaacf3a412c5518e5c23afca1e0ed00808a5328c96e468b67f49 SIZE (cabal/terminal-size-0.3.4/terminal-size-0.3.4.tar.gz) = 4457 SHA256 (cabal/terminal-size-0.3.4/revision/1.cabal) = 21d7f1320eeb86177e860ec07a3d8e7510977b1b415a96ebb62ee4ad72955770 SIZE (cabal/terminal-size-0.3.4/revision/1.cabal) = 1364 SHA256 (cabal/text-iso8601-0.1.1.2/text-iso8601-0.1.1.2.tar.gz) = ddbb13aec70a2fd54c7a25bf85e38a467d0d5599980d21f4925b3c706f8f7398 SIZE (cabal/text-iso8601-0.1.1.2/text-iso8601-0.1.1.2.tar.gz) = 10174 SHA256 (cabal/text-short-0.1.6.1/text-short-0.1.6.1.tar.gz) = 83669f402354274fbcdc75126443af733267b955e451f72c0c6d86ae8da87416 SIZE (cabal/text-short-0.1.6.1/text-short-0.1.6.1.tar.gz) = 24700 SHA256 (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 2e30cec027b313c9e1794d326635d8fc5f79b6bf6e7580ab4b00186dadc88510 SIZE (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 18483 SHA256 (cabal/th-abstraction-0.7.2.0/th-abstraction-0.7.2.0.tar.gz) = 946654bcd8ea2dff7d0058061861a8c898be9addf20c92d3cfa53b679e737622 SIZE (cabal/th-abstraction-0.7.2.0/th-abstraction-0.7.2.0.tar.gz) = 45532 SHA256 (cabal/th-compat-0.1.7/th-compat-0.1.7.tar.gz) = 9e26f12230d38ae56dcf94f8c139799dc3b7376f3434d35ce74847a0a24fd5ff SIZE (cabal/th-compat-0.1.7/th-compat-0.1.7.tar.gz) = 14763 SHA256 (cabal/th-lift-0.8.7/th-lift-0.8.7.tar.gz) = dd157c626cb0b0fa71adac3690305aeafccf503583fce387628b210fadc69806 SIZE (cabal/th-lift-0.8.7/th-lift-0.8.7.tar.gz) = 14356 SHA256 (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = f533c3f95addcca461a0ccd1aafef75dd801bfa6599c0d1184d54bfffb61d870 SIZE (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = 6721 SHA256 (cabal/these-1.2.1/these-1.2.1.tar.gz) = 17d6d933365edabf801a16842c1403bdd37cc5300faa2fcca980decdab22e4de SIZE (cabal/these-1.2.1/these-1.2.1.tar.gz) = 9906 SHA256 (cabal/these-1.2.1/revision/3.cabal) = ba1aec9a502eb2b3f90ef254f420468a3c4e5b9b7e8324e3ddc7035143c92640 SIZE (cabal/these-1.2.1/revision/3.cabal) = 2384 SHA256 (cabal/time-compat-1.9.9/time-compat-1.9.9.tar.gz) = 90fadded53cf9c15855eebf809e9536af8f85d00e32b82f7c8b506d2fadf7c25 SIZE (cabal/time-compat-1.9.9/time-compat-1.9.9.tar.gz) = 64400 SHA256 (cabal/time-compat-1.9.9/revision/1.cabal) = 0c291e0c3c87ee08b2517107b62901b102a040dc86203b53bdf07a96ff5632e0 SIZE (cabal/time-compat-1.9.9/revision/1.cabal) = 5488 SHA256 (cabal/toml-parser-2.0.2.0/toml-parser-2.0.2.0.tar.gz) = 9e8b5ee5eea9bea2441732347839a8e32e98789055a621f55a72c2df7a8de1a8 SIZE (cabal/toml-parser-2.0.2.0/toml-parser-2.0.2.0.tar.gz) = 48583 SHA256 (cabal/toml-parser-2.0.2.0/revision/3.cabal) = a5fd117bf1f72ef8b2a71eacc99c8a3112c0a309d9b448b29b5255ae77a51611 SIZE (cabal/toml-parser-2.0.2.0/revision/3.cabal) = 4060 SHA256 (cabal/transformers-base-0.4.6.1/transformers-base-0.4.6.1.tar.gz) = b43de3b3b9d658d504e8a0309356602ddc53c8dad3fdbbc3359abcb5439b41d8 SIZE (cabal/transformers-base-0.4.6.1/transformers-base-0.4.6.1.tar.gz) = 2946 SHA256 (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485 SHA256 (cabal/unbounded-delays-0.1.1.1/unbounded-delays-0.1.1.1.tar.gz) = 59ad7e53bfe32ffbf0e703b31490d41d14c70e4745ed49e8adf592ed68dd6185 SIZE (cabal/unbounded-delays-0.1.1.1/unbounded-delays-0.1.1.1.tar.gz) = 4114 SHA256 (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = e777c94628445556a71f135a42cf72d2cfbaccba5849cc42fbfec8b2182e3ad2 SIZE (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = 29787 SHA256 (cabal/uniplate-1.6.13/revision/1.cabal) = c8b715570d0b4baa72512e677552dd3f98372a64bf9de000e779bd4162fd7be7 SIZE (cabal/uniplate-1.6.13/revision/1.cabal) = 3320 SHA256 (cabal/unliftio-0.2.25.1/unliftio-0.2.25.1.tar.gz) = 3bfc6f8dea6966c2c06df83e6d3f481bbd77531f58b8049c46738aad9268336e SIZE (cabal/unliftio-0.2.25.1/unliftio-0.2.25.1.tar.gz) = 58203 SHA256 (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 99384cba8d56d9d61b85e38a313a93ebcdb78be6566367f0930ef580597fe3e3 SIZE (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 3865 SHA256 (cabal/unliftio-core-0.2.1.0/revision/4.cabal) = f6a2736f858b5390d9384dca43d3ea4d96e9ca17217791791ca4951ba6e8072a SIZE (cabal/unliftio-core-0.2.1.0/revision/4.cabal) = 996 SHA256 (cabal/unordered-containers-0.2.21/unordered-containers-0.2.21.tar.gz) = 3b2ad1522b546e61960153257d1e5d239eeec5e83da847d5cb4d896a5bb7f9c0 SIZE (cabal/unordered-containers-0.2.21/unordered-containers-0.2.21.tar.gz) = 68227 SHA256 (cabal/unordered-containers-0.2.21/revision/2.cabal) = c5de1fb3377ed3c5f4cd851a771d1acc5c37d2f6bef0a499295c0e8857da5605 SIZE (cabal/unordered-containers-0.2.21/revision/2.cabal) = 3987 SHA256 (cabal/uuid-types-1.0.6.1/uuid-types-1.0.6.1.tar.gz) = 9f00f278b9711104b6acc1404d9f0d45c1183b4987cf9c07403bebc05c0c3024 SIZE (cabal/uuid-types-1.0.6.1/uuid-types-1.0.6.1.tar.gz) = 11231 SHA256 (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 28f203c786cbf8ac6dc3fea3378ec36f34173d505fb4a1dd60fc8418ad91c423 SIZE (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 185739 SHA256 (cabal/vector-0.13.2.0/revision/5.cabal) = 3ec12de580ee31ceac89b314fd00b5057ed40198c0b3d9e9dafa54c1941e6942 SIZE (cabal/vector-0.13.2.0/revision/5.cabal) = 8804 SHA256 (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = d0f507334bdea5431a2f07f525a97f29e76522c32210f5de6d5a2b4f1d42bf7c SIZE (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = 12577 SHA256 (cabal/vector-stream-0.1.0.1/revision/4.cabal) = 483be6df13c72169a917640589666f9fece7bea9fa13fcd41d052dab37ea289e SIZE (cabal/vector-stream-0.1.0.1/revision/4.cabal) = 1642 SHA256 (cabal/versions-6.0.9/versions-6.0.9.tar.gz) = 59e84ee7404510a90f039c9a6e65551d4079e2da2fdd9bc567e1bfccc7bdcea4 SIZE (cabal/versions-6.0.9/versions-6.0.9.tar.gz) = 19587 SHA256 (cabal/what4-1.7.3/what4-1.7.3.tar.gz) = 177ff371099a80655ad672acee2fb89748f7712c0b8dd421c4e0cb57f3820761 SIZE (cabal/what4-1.7.3/what4-1.7.3.tar.gz) = 439973 SHA256 (cabal/witherable-0.5/witherable-0.5.tar.gz) = 48434cc1e465b13cbc0133a90c3ec0d827c93b77ce95807fe0a38b65f4918cd1 SIZE (cabal/witherable-0.5/witherable-0.5.tar.gz) = 10819 SHA256 (cabal/witherable-0.5/revision/2.cabal) = a5600431df5d297f098c322c7fbc2ece804e44ade0bb2022a838de24604d6275 SIZE (cabal/witherable-0.5/revision/2.cabal) = 2355 SHA256 (cabal/wl-pprint-annotated-0.1.0.2/wl-pprint-annotated-0.1.0.2.tar.gz) = 11733e10da682613cf6649878cf42a7118502e7a2363a54681128f61c8298494 SIZE (cabal/wl-pprint-annotated-0.1.0.2/wl-pprint-annotated-0.1.0.2.tar.gz) = 15368 SHA256 (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = b917a9d54a992b163aeb3c065a5199ad1ab76bd096c6e14b534c9e6555543c78 SIZE (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = 4290 SHA256 (cabal/zlib-0.7.1.1/zlib-0.7.1.1.tar.gz) = bf95ab01ed924be800addea195fba5ca97ec69f378368f6ff466bdc29666c1c1 SIZE (cabal/zlib-0.7.1.1/zlib-0.7.1.1.tar.gz) = 29324 SHA256 (cabal/zlib-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = c83bb438f9b6c5fe860982731eb8ac7eff993e8b56cbc15ef5b471f229f79109 SIZE (cabal/zlib-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = 54770 SHA256 (cabal/zlib-bindings-0.1.1.5/revision/2.cabal) = 0c6f9f81832af2473281fd58631aff8c6bbad24191e00d2a5a6ae2479249043b SIZE (cabal/zlib-bindings-0.1.1.5/revision/2.cabal) = 1641

Collapse this list.

Packages (timestamps in pop-ups are UTC):

hs-cryptol
ABI	aarch64	amd64	armv6	armv7	i386	powerpc	powerpc64	powerpc64le
FreeBSD:13:latest	-	3.4.0_1	n/a	n/a	n/a	n/a	n/a	n/a
FreeBSD:13:quarterly	-	3.4.0_1	n/a	n/a	n/a	n/a	n/a	n/a
FreeBSD:14:latest	-	3.6.0	-	-	-	-	-	-
FreeBSD:14:quarterly	-	3.4.0_1	-	-	-	-	-	-
FreeBSD:15:latest	-	3.6.0	n/a	-	n/a	n/a	-	-
FreeBSD:15:quarterly	-	3.4.0_1	n/a	-	n/a	n/a	-	-
FreeBSD:16:latest	-	3.6.0	n/a	-	n/a	n/a	-	-

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

ghc : lang/ghc
cabal : devel/hs-cabal-install

Runtime dependencies:

z3 : math/z3

Library dependencies:

libgmp.so : math/gmp
libffi.so : devel/libffi

There are no ports dependent upon this port

Configuration Options:

No options to configure

Options name:

security_hs-cryptol

USES:

cabal

FreshPorts was unable to extract/find any pkg message

Master Sites:

Expand this list (2 items)

Collapse this list.

Number of commits found: 32

Commit	Credits	Log message
Commit History - (may be incomplete: for full details, see links to repositories near top of page)
3.6.0 10 Sep 2026 19:58:17	Yuri Victorovich (yuri)	security/hs-cryptol: update 3.4.0 → 3.6.0
3.4.0_3 17 Aug 2026 11:37:23	Älven (alven)	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
3.4.0_2 29 Jul 2026 19:04:44	Yuri Victorovich (yuri)	math/z3: update 4.16.0.0 → 5.0.0.0 PR: 297106 Approved by: Gleb Popov <arrowd@FreeBSD.org> (maintainer)
3.4.0_1 03 Jul 2026 20:30:44	Piotr Kubaj (pkubaj)	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.
3.4.0_1 04 Jan 2026 21:50:53	Gleb Popov (arrowd)	security/hs-cryptol: Fix building after the GHC upgrade
3.4.0 08 Nov 2025 08:51:19	Yuri Victorovich (yuri)	security/hs-cryptol: update 3.3.0 → 3.4.0
3.3.0 22 Mar 2025 14:30:27	Yuri Victorovich (yuri)	security/hs-cryptol: update 3.2.0 → 3.3.0 Reported by: portscout
3.2.0 23 Aug 2024 03:48:09	Yuri Victorovich (yuri)	security/hs-cryptol: update 3.1.0 → 3.2.0
3.1.0_1 19 Apr 2024 19:28:23	Yuri Victorovich (yuri) Author: Andrey Korobkov	security/hs-cryptol: Switch to GHC 9.6 PR: 278445
3.1.0 06 Feb 2024 06:49:25	Yuri Victorovich (yuri)	security/hs-cryptol: update 3.0.0 → 3.1.0
3.0.0 28 Jun 2023 03:46:22	Yuri Victorovich (yuri)	security/hs-cryptol: Update 2.13.0 → 3.0.0
2.13.0_1 07 Jun 2023 19:01:45	Gleb Popov (arrowd)	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	Gleb Popov (arrowd)	security/hs-cryptol: Switch to GHC 9.2 for building.
2.13.0_1 20 Nov 2022 17:39:28	Gleb Popov (arrowd)	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	Stefan Eßer (se)	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	Stefan Eßer (se)	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 )
2.13.0 09 Aug 2022 09:16:31	Gleb Popov (arrowd)	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	Gleb Popov (arrowd)	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	Gleb Popov (arrowd)	security/hs-cryptol: Update to 2.13.0
2.11.0_1 09 May 2022 19:23:51	Kevin Bowling (kbowling)	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	Mikael Urankar (mikael)	security/hs-cryptol: Mark as broken on aarch64.
2.11.0 23 Apr 2021 07:56:18	Yuri Victorovich (yuri)	security/hs-cryptol: Fix Makefile format
2.11.0 23 Apr 2021 07:56:15	Yuri Victorovich (yuri)	security/hs-cryptol: Update 2.10.0 -> 2.11.0
2.10.0_1 21 Apr 2021 04:48:23	Tobias Kortkamp (tobik)	Bump USES=cabal ports after 12837690ed0c
2.10.0 07 Apr 2021 08:09:01	Mathieu Arnold (mat)	One more small cleanup, forgotten yesterday. Reported by: lwhsu
2.10.0 06 Apr 2021 14:31:07	Mathieu Arnold (mat)	Remove # $FreeBSD$ from Makefiles.
2.10.0 21 Dec 2020 01:11:54	yuri	security/hs-cryptol: Update 2.9.0 -> 2.10.0
2.9.0 16 Aug 2020 07:56:19	arrowd	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	zeising	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	arrowd	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	yuri	security/hs-cryptol: Remove the unnecessary line Reported by: arrowd
2.8.0 24 Feb 2020 08:32:04	yuri	New port: security/hs-cryptol: Language of cryptography With help of: arrowd

Number of commits found: 32

Login
User Login Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

rabbitmq-c	Oct 06
rabbitmq-c	Oct 06
rabbitmq-c	Oct 06
vaultwarden	Oct 06
libressl	Oct 05
libressl-devel	Oct 05
apache24^*	Oct 04
bind920	Oct 04
expat2	Oct 04
keycloak	Oct 02
arti	Oct 01
conduit	Oct 01
openssl^*	Sep 30
openssl30^*	Sep 30
openssl36^*	Sep 30

28 vulnerabilities affecting 299 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2026-10-06 09:08:32 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	35197
Broken	75
Deprecated	324
Ignore	191
Forbidden	0
Restricted	1
No CDROM	1
Vulnerable	44
Expired	10
Set to expire	249
Interactive	0
new 24 hours	1
new 48 hours	4
new 7 days	33
new fortnight	94
new month	221