notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
Port details
hs-cryptol Domain-specific language for specifying cryptographic algorithms
3.4.0_1 security on this many watch lists=2 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 3.4.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: 2026-01-04 21:50:53
Commit Hash: 021d9b8
People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
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.
HomepageHomepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

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.
  1. /usr/local/share/licenses/hs-cryptol-3.4.0_1/catalog.mk
  2. /usr/local/share/licenses/hs-cryptol-3.4.0_1/LICENSE
  3. /usr/local/share/licenses/hs-cryptol-3.4.0_1/BSD3CLAUSE
  4. share/cryptol/Array.cry
  5. share/cryptol/Cryptol.cry
  6. share/cryptol/Cryptol/Reference.cry
  7. share/cryptol/CryptolTC.smt2
  8. share/cryptol/Float.cry
  9. share/cryptol/PrimeEC.cry
  10. share/cryptol/SuiteB.cry
  11. share/cryptol/cry_ffi.h
  12. @owner
  13. @group
  14. @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 = 1766779065 SHA256 (cabal/cryptol-3.4.0/cryptol-3.4.0.tar.gz) = 5973570dfd307c0a27251bb8edcfd554034549b21dfba7b69f21963d3361a388 SIZE (cabal/cryptol-3.4.0/cryptol-3.4.0.tar.gz) = 602439

Expand this list (410 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.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55 SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207 SHA256 (cabal/OneTuple-0.4.2/revision/1.cabal) = dd7266f983da2970e5662168add810dabadabb3a4bb9b137181eafc0ac7ea4d4 SIZE (cabal/OneTuple-0.4.2/revision/1.cabal) = 2013 SHA256 (cabal/QuickCheck-2.16.0.0/QuickCheck-2.16.0.0.tar.gz) = 0b563fa6ea11653d76d57e96625f4a476e02b9fdaeba9c05d2ccc10d8da802c0 SIZE (cabal/QuickCheck-2.16.0.0/QuickCheck-2.16.0.0.tar.gz) = 83903 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.3/adjunctions-4.4.3.tar.gz) = 8beb121cee2bf913dac3188ed1e0e05cf1a0d0f12d4cb4a27c0da58450eb189a SIZE (cabal/adjunctions-4.4.3/adjunctions-4.4.3.tar.gz) = 16788 SHA256 (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855 SHA256 (cabal/aeson-2.2.3.0/revision/4.cabal) = 7d48c2395ef168d2c2070fdb02c7998384be27d31a03bb35d1740af4a19a857b SIZE (cabal/aeson-2.2.3.0/revision/4.cabal) = 6368 SHA256 (cabal/alex-3.5.4.0/alex-3.5.4.0.tar.gz) = a9ea70f2c4900e685312cf330d1fe955a3e8f00acd1328d463ae150481d28ade SIZE (cabal/alex-3.5.4.0/alex-3.5.4.0.tar.gz) = 94220 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.2.0/arithmoi-0.13.2.0.tar.gz) = 91ac03a756fab198fc9ddb20b98400d7b9445e2313012a3c8e7007012de9674d SIZE (cabal/arithmoi-0.13.2.0/arithmoi-0.13.2.0.tar.gz) = 186082 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/1.cabal) = 0ab39b4d1feb4caca95ac6e314f48782b27a86a6b8d1f5e8dc4be9fbed11185f SIZE (cabal/assoc-1.1.1/revision/1.cabal) = 1420 SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7 SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742 SHA256 (cabal/async-2.2.5/revision/3.cabal) = b7648c6165729a973d95cb328f9fd874813a81c727707e8b2552b4f03399763b SIZE (cabal/async-2.2.5/revision/3.cabal) = 3366 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.3/base-orphans-0.9.3.tar.gz) = 17a35079c8719014560c028d9805ec1301b900972adf212e00af23fe3ebfabd8 SIZE (cabal/base-orphans-0.9.3/base-orphans-0.9.3.tar.gz) = 19923 SHA256 (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 1086a9285061eed0c2c5d3cb65aa223defd52fca6d0515bb69ddf2dbc3d9697a SIZE (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 38193 SHA256 (cabal/bifunctors-5.6.2/revision/2.cabal) = 115a621c4eaaabb07834f9e4dd3371e21f39d034305062f4bd5cd72c2f8880d2 SIZE (cabal/bifunctors-5.6.2/revision/2.cabal) = 3332 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.5.0/bitvec-1.1.5.0.tar.gz) = 83d27cee5be1d5342ddbf39999d0c8ea54cb433d0891eea5471fbfaa29f8dec5 SIZE (cabal/bitvec-1.1.5.0/bitvec-1.1.5.0.tar.gz) = 40076 SHA256 (cabal/bitvec-1.1.5.0/revision/3.cabal) = 434be6dc60e22858a52869c58038c35353f1a778b9679ebc06a2165bcc7f88b3 SIZE (cabal/bitvec-1.1.5.0/revision/3.cabal) = 4921 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/11.cabal) = 74be2244a58860cae94ab1875e0bfdb4d9c3b35df46f783d01e7f886ff362d00 SIZE (cabal/bitwise-1.0.0.1/revision/11.cabal) = 3111 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/boring-0.2.2.tar.gz) = 928baf1fff69b17658fb7014a1cc3e220b3b69b52271ae9c0452f82d67b3ef86 SIZE (cabal/boring-0.2.2/boring-0.2.2.tar.gz) = 5474 SHA256 (cabal/boring-0.2.2/revision/1.cabal) = f6d705c30830a337862210f12c4ce38d5ab4d3660631e0214b504f10815a2e8d SIZE (cabal/boring-0.2.2/revision/1.cabal) = 1779 SHA256 (cabal/bv-sized-1.0.6/bv-sized-1.0.6.tar.gz) = ade2a83076109170df4adbe0e7073328b877c8205175f48fbeba4e3f13421ff2 SIZE (cabal/bv-sized-1.0.6/bv-sized-1.0.6.tar.gz) = 20294 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.1.0/chimera-0.4.1.0.tar.gz) = 894cc5bd9665d42c508a51eb70a3879da4e8a3f4c9c0617352031fdc5203bcf3 SIZE (cabal/chimera-0.4.1.0/chimera-0.4.1.0.tar.gz) = 22932 SHA256 (cabal/chimera-0.4.1.0/revision/1.cabal) = a9e69d64c23fde32d4fb082d606dbf1f6ca59f0ee100161a7b574d83e348f5e6 SIZE (cabal/chimera-0.4.1.0/revision/1.cabal) = 3654 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.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee564b6b1fa98a9ec79cefcc20b588991f871 SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675 SHA256 (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 69fb0eb49a80055a9b76d31d0a5648777c4050ac8dbf56a9344b862ed878a789 SIZE (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 14455 SHA256 (cabal/comonad-5.0.9/revision/1.cabal) = 75aded79bf583c908e4e4687c0ae067f256e2507536b75f58ffba7748767c353 SIZE (cabal/comonad-5.0.9/revision/1.cabal) = 3587 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/9.cabal) = 530f96d3ae5628cb78f2b753e70d4d882e1c04be40166e2a09d601e224ee4e20 SIZE (cabal/config-value-0.8.3/revision/9.cabal) = 1982 SHA256 (cabal/constraints-0.14.2/constraints-0.14.2.tar.gz) = 4f249f805d1807ecd86e36e2aa9c9ad8206d2b70d50ff7f11b79721e08fd19f8 SIZE (cabal/constraints-0.14.2/constraints-0.14.2.tar.gz) = 21204 SHA256 (cabal/constraints-0.14.2/revision/1.cabal) = 381a53e9d5aad937644d13b5c2c4fcc3698aeba2f83945a42100c6324e0ea8e7 SIZE (cabal/constraints-0.14.2/revision/1.cabal) = 2384 SHA256 (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 062fd66580d7aad0b5ba93e644ffa7feee69276ef50f20d4ed9f1deb7642dffa SIZE (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 13815 SHA256 (cabal/criterion-measurement-0.2.3.0/criterion-measurement-0.2.3.0.tar.gz) = cc75dca35e8473d6e0c7419fd5a577c2cbb202b3ae0d8af237756c2aeb7cdfe2 SIZE (cabal/criterion-measurement-0.2.3.0/criterion-measurement-0.2.3.0.tar.gz) = 17774 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/1.cabal) = ee78be6168ca0878d670fede957195d3debf4a37a806d13d72182b274901261b SIZE (cabal/data-fix-0.3.4/revision/1.cabal) = 1406 SHA256 (cabal/deriving-compat-0.6.7/deriving-compat-0.6.7.tar.gz) = ddc45f1013f6203bd5c4f990a938db4e571abb7aac23dad95a4592e624c7f5df SIZE (cabal/deriving-compat-0.6.7/deriving-compat-0.6.7.tar.gz) = 70175 SHA256 (cabal/deriving-compat-0.6.7/revision/1.cabal) = b4edb909e6ecc7e0c88dda5f7f25579ed682ab3a97388e9a9e1976aa9ca0b772 SIZE (cabal/deriving-compat-0.6.7/revision/1.cabal) = 7986 SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91 SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140 SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996 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.0.2/exact-pi-0.5.0.2.tar.gz) = 441dd2516902f13801c41310fa98ea82f7a946e8ddd2f775b19931f7e91eacf6 SIZE (cabal/exact-pi-0.5.0.2/exact-pi-0.5.0.2.tar.gz) = 9255 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/7.cabal) = 7f3992a66987bbba5a6546420f6129fb9b66b80cdd005d34ec77a1e1c8ed8340 SIZE (cabal/free-5.2/revision/7.cabal) = 4178 SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870 SHA256 (cabal/generically-0.1.1/revision/4.cabal) = 3f64278f5c582dd7c6963967b1290079bcd03b8348989f909ac9bd972ddc452e SIZE (cabal/generically-0.1.1/revision/4.cabal) = 1203 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.1.7/happy-2.1.7.tar.gz) = 9e390f0ab082d11d46598f6215b2f6e8253059721860f81082409091532d7e2a SIZE (cabal/happy-2.1.7/happy-2.1.7.tar.gz) = 62023 SHA256 (cabal/happy-lib-2.1.7/happy-lib-2.1.7.tar.gz) = f625b2c4a3f2b5fafa3c560fa8757502cc8de83d9a84c2692fc943380900f269 SIZE (cabal/happy-lib-2.1.7/happy-lib-2.1.7.tar.gz) = 94227 SHA256 (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = e58b3a8e18da5f6cd7e937e5fd683e500bb1f8276b3768269759119ca0cddb6a SIZE (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = 89062 SHA256 (cabal/hashable-1.5.0.0/revision/1.cabal) = 2f23146cbe0325029927b221647695a4c7d6e97548ff731110979e34361f58ef SIZE (cabal/hashable-1.5.0.0/revision/1.cabal) = 5914 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/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/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/4.cabal) = 725ef6da03d3d6e332db4de0a35bee45d72e4d31decc5ec7f153e6837af5f03e SIZE (cabal/hsc2hs-0.68.10/revision/4.cabal) = 3114 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.4/indexed-traversable-0.1.4.tar.gz) = 58be09afdf3ad5a25c2aa0d2a7df80d602df09f4e76d3abf2b7cdb0e75d03b22 SIZE (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 9465 SHA256 (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 42d9e84a65a0c17c248233cab98ada872ff6140dfa24d109d6eb285204d07e7d SIZE (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 2098 SHA256 (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3c2bb62fba141d6696177070d63b88bc56b194bc60f6b73d2263b0244e2fc7c1 SIZE (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3673 SHA256 (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 68df0fc8070ae2c15f9e6febf1449fee364c131a6d1e93cac45e7895ba86dd89 SIZE (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 2401 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/1.cabal) = 941d4ae16e2124cbff5defe2abedb49efc8e03a594f817035bf231a317e6c1c9 SIZE (cabal/integer-conversion-0.1.1/revision/1.cabal) = 2256 SHA256 (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 6a93c76c2518cbe2d72ab17da6ae46d8cae93cbfb7c5a5ad5783f903c1448f45 SIZE (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 8948 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.4/invariant-0.6.4.tar.gz) = a9e2ab4ee3e0d4613beb7bda36a8ebc4f72318450514f4832d2fa43b74f0aeb3 SIZE (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = 27079 SHA256 (cabal/invariant-0.6.4/revision/1.cabal) = 4a9a609f4e93ffed158b3b4f5a80822c6da30aa71a5370307c0c00c2d658d1c6 SIZE (cabal/invariant-0.6.4/revision/1.cabal) = 3513 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/6.cabal) = 92fb59655f173ccd60b8388277325aebb35b315c8c9987b18c86820d5051d98a SIZE (cabal/io-streams-1.5.2.2/revision/6.cabal) = 9653 SHA256 (cabal/kan-extensions-5.2.7/kan-extensions-5.2.7.tar.gz) = c323acff95cdef6516f2f1a733a1f00f7e0caa1b7061f8831ed82e18fd37e158 SIZE (cabal/kan-extensions-5.2.7/kan-extensions-5.2.7.tar.gz) = 21754 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.5/lens-5.3.5.tar.gz) = efebacf3dfb108c96171e564f059778d21ac262a98a956fef8890223ed8f1fe8 SIZE (cabal/lens-5.3.5/lens-5.3.5.tar.gz) = 707043 SHA256 (cabal/lens-5.3.5/revision/1.cabal) = e0413689b39ea25e12b42b1d79b1afbd2261a1f5a98af66f33383f6393c25a19 SIZE (cabal/lens-5.3.5/revision/1.cabal) = 15292 SHA256 (cabal/libBF-0.6.8/libBF-0.6.8.tar.gz) = d98021132f28e674958a7c41250831c2375ae70c839d943c7b1d745c68d28e0a SIZE (cabal/libBF-0.6.8/libBF-0.6.8.tar.gz) = 77104 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.7.0/megaparsec-9.7.0.tar.gz) = b9ed423625bf20ae7a72480d40d2dd16018a67e2ec45afb840a3607aa931ec97 SIZE (cabal/megaparsec-9.7.0/megaparsec-9.7.0.tar.gz) = 67078 SHA256 (cabal/mmorph-1.2.1/mmorph-1.2.1.tar.gz) = 0e59d6028463ec832c908edf85b4e7adba02cfb98ad33cebb55295ecbba74ce6 SIZE (cabal/mmorph-1.2.1/mmorph-1.2.1.tar.gz) = 6951 SHA256 (cabal/mmorph-1.2.1/revision/1.cabal) = ea4c137f09d377ad071ff266a5f623c67376ff100094b96c44eedd7d3042ee02 SIZE (cabal/mmorph-1.2.1/revision/1.cabal) = 1083 SHA256 (cabal/mod-0.2.1.0/mod-0.2.1.0.tar.gz) = d84b3c8f5ab9e7051e763a45057dd8835ab85861e114ebe5105cd80d3f8bf3b9 SIZE (cabal/mod-0.2.1.0/mod-0.2.1.0.tar.gz) = 16414 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.8.0/network-3.2.8.0.tar.gz) = 51788e5eeb7d77264f260acd48df8055a4dbc2477e8d634a8493677bb15c5fc8 SIZE (cabal/network-3.2.8.0/network-3.2.8.0.tar.gz) = 146148 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.2/newtype-generics-0.6.2.tar.gz) = a1ac6052020a09f1bc5000a141d2edd4b31a82f95ce5957b7eedad40c065a74e SIZE (cabal/newtype-generics-0.6.2/newtype-generics-0.6.2.tar.gz) = 6854 SHA256 (cabal/newtype-generics-0.6.2/revision/5.cabal) = e1bc40f387a21c6e59eff939f4e01b1eb14f069b683dce8c1c51094470c6342b SIZE (cabal/newtype-generics-0.6.2/revision/5.cabal) = 2053 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/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/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/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.0/parser-combinators-1.3.0.tar.gz) = 9310ef0d49f8a8922acda10b1cded9854cbee04dea717effc6ee5983072e4447 SIZE (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 11699 SHA256 (cabal/parser-combinators-1.3.0/revision/1.cabal) = 8659573e0d443d573f5b53f81b81dafbdc988d282b90c11e3da73562b4ea7876 SIZE (cabal/parser-combinators-1.3.0/revision/1.cabal) = 1640 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.1/prettyprinter-1.7.1.tar.gz) = 5e6ea6903114fa118fcc359633dfb7ecddecb92c06c853d02a77b72b251f0b45 SIZE (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 56907 SHA256 (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 813739308ad6050620578994effe21058a170a341716acf52573fae42b5b1db3 SIZE (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 8879 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/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.1/rme-0.1.1.tar.gz) = 9e7e7d6da04455c67574adf54dbf50ffa601da529ff197aff15b730ab904f830 SIZE (cabal/rme-0.1.1/rme-0.1.1.tar.gz) = 6621 SHA256 (cabal/rme-what4-0.1.1/rme-what4-0.1.1.tar.gz) = cec36e13dc80a858b611db6728e269898b200ac8d4e80d2f66684a584c8ba65f SIZE (cabal/rme-what4-0.1.1/rme-what4-0.1.1.tar.gz) = 7519 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-10.10/sbv-10.10.tar.gz) = 684f73e2b6accee5eec4e63c487ea62587f45162bc3e8ea2cef0ef641006a44d SIZE (cabal/sbv-10.10/sbv-10.10.tar.gz) = 1044136 SHA256 (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 13b343bca8aa26d7718e52e622e5a118056653edafcbc7ccc5333be7217218cf SIZE (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 24314 SHA256 (cabal/scientific-0.3.8.0/revision/2.cabal) = ba83a6701dd0110138443757aca4a42786afa94272b73045ef878fd860d1732e SIZE (cabal/scientific-0.3.8.0/revision/2.cabal) = 4397 SHA256 (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 66e87bc254ffec2ee908bf625c42d3b7363238d6ab1cfba8934bbee7590c9df7 SIZE (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 10117 SHA256 (cabal/semialign-1.3.1/revision/2.cabal) = dfe515a9e43230f5308564a649a04ea1538499ed98b944644b77bed5394b9deb SIZE (cabal/semialign-1.3.1/revision/2.cabal) = 2224 SHA256 (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 1d532030862414f5d4f2f6f001783f77aa14e5f05ee8e3c4a2d2129fca29cc1f SIZE (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 36372 SHA256 (cabal/semigroupoids-6.0.1/revision/2.cabal) = bfee06a6d88038a88ddd10fc21c230bf5ee3a14d0584dc6ab7ad54a9252c2c21 SIZE (cabal/semigroupoids-6.0.1/revision/2.cabal) = 7539 SHA256 (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 902d2e33c96b40a89de5957f2a9e097197afcc35e257e45b32ebe770993673e1 SIZE (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 18788 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-smt-0.9.8/simple-smt-0.9.8.tar.gz) = c9f9fef6eb884764c6fc3212199573149c2c0b60fabcd9d41b01b4f5efacb146 SIZE (cabal/simple-smt-0.9.8/simple-smt-0.9.8.tar.gz) = 11227 SHA256 (cabal/splitmix-0.1.3.1/splitmix-0.1.3.1.tar.gz) = b6bcd0d79bd4fe40975c8ebe803be2f3bfbf6006069a59745a325a0df3f86270 SIZE (cabal/splitmix-0.1.3.1/splitmix-0.1.3.1.tar.gz) = 21955 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.3/syb-0.7.3.tar.gz) = 676668d46941fc1be26bdd2cfd727aa13bcb909eaa8189937a9dbd6d41ac3b8d SIZE (cabal/syb-0.7.3/syb-0.7.3.tar.gz) = 42181 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/tasty-1.5.3/tasty-1.5.3.tar.gz) = 54a0c7b644813af871a3726ac8771b5e17b5158c792a7acf8f9e2d3ae9360780 SIZE (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 66548 SHA256 (cabal/tasty-1.5.3/revision/2.cabal) = 6b5dda3f16db1274a0b3e6c4073ac57172a1e96b1dca05666c5cbd1183639412 SIZE (cabal/tasty-1.5.3/revision/2.cabal) = 2923 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/7.cabal) = d9807fa3544209dcfc6c6fed0a3f23d4faef5546dc7d503844f4b9c323368f75 SIZE (cabal/tasty-hedgehog-1.4.0.2/revision/7.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/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202 SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599 SHA256 (cabal/text-iso8601-0.1.1/revision/2.cabal) = e07a625eef969338992bf9bba8e5dc73f07ac65f991ba636b8f1175890d15849 SIZE (cabal/text-iso8601-0.1.1/revision/2.cabal) = 2411 SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691 SHA256 (cabal/text-short-0.1.6/revision/3.cabal) = 41be94ccd3f6646ab69b0b05c5130ea3c7911a4598ab9b9192f21ad25a69163a SIZE (cabal/text-short-0.1.6/revision/3.cabal) = 2827 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.1.0/th-abstraction-0.7.1.0.tar.gz) = f9b6184aba4c6b61dd0d96f7dad41a4c9db0a01d3cdbf993a7d860488f1c04c5 SIZE (cabal/th-abstraction-0.7.1.0/th-abstraction-0.7.1.0.tar.gz) = 45428 SHA256 (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 3011403d85b0070630e33d66b9370535ccd1e0e672ae58f847550b2b15bb4fd8 SIZE (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 2268 SHA256 (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = b781a0c059872bc95406d00e98f6fa7d9e81e744730f75186583cb4dcea0a4eb SIZE (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = 14622 SHA256 (cabal/th-lift-0.8.6/th-lift-0.8.6.tar.gz) = 04309ad70ef80ed054ebda5b7d34a66642017604019f9e44ad321eec04a1ef1f SIZE (cabal/th-lift-0.8.6/th-lift-0.8.6.tar.gz) = 14310 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/2.cabal) = 35c57aede96c15ea1fed559ac287b1168eb2b2869d79e62ed8c845780b7ea136 SIZE (cabal/these-1.2.1/revision/2.cabal) = 2294 SHA256 (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 502ef8694a5b131b47c0e5df2e9053d005a3b345b30f5225af04f081d3ef5cf0 SIZE (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 63414 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/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90 SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902 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/1.cabal) = bcff64f48fba1e25bf9b5346d1c3545402cd2f1293b411435e7850ccb62884e5 SIZE (cabal/unordered-containers-0.2.21/revision/1.cabal) = 3987 SHA256 (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 7e0dd953483d6fd3ca49bcaed6b11f9e3c2787213479b2581e07747836b8357e SIZE (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 11222 SHA256 (cabal/uuid-types-1.0.6/revision/3.cabal) = 5ac2b681a8d7676f6a51ac1b113bfdcf18dd7fdbb313034850ed6493eef96da0 SIZE (cabal/uuid-types-1.0.6/revision/3.cabal) = 2619 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/2.cabal) = 9ac338c8da52d8a37db08434ca4480fef2cea4f9aac240f4f994bb467f5275b4 SIZE (cabal/vector-0.13.2.0/revision/2.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.8/versions-6.0.8.tar.gz) = 3f85f9052a8de704c94c920883d10d0eb71743b5b54469590d8fa8df59153b0e SIZE (cabal/versions-6.0.8/versions-6.0.8.tar.gz) = 19566 SHA256 (cabal/void-0.7.4/void-0.7.4.tar.gz) = 61ff790961edb34fd653e62f9f37020792f416f329b12e87549169e7f624fdf9 SIZE (cabal/void-0.7.4/void-0.7.4.tar.gz) = 3550 SHA256 (cabal/what4-1.7.2/what4-1.7.2.tar.gz) = 918f6776dd69d179d7569523bb98e89d61db05a93335a0176af50ff8ebc86955 SIZE (cabal/what4-1.7.2/what4-1.7.2.tar.gz) = 439812 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/1.cabal) = 85bab588ebca37996fc3171b9d8b2e065eb0536c9f44224bcf037c0849a881de SIZE (cabal/witherable-0.5/revision/1.cabal) = 2343 SHA256 (cabal/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 6b662b244b2e318a2923dc7057d707369a29ea4a0e721b4710eac7239cc727af SIZE (cabal/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 15458 SHA256 (cabal/wl-pprint-annotated-0.1.0.1/revision/4.cabal) = fefa8c901a324bd221d3fd1e3fef2df755a8528c27c7c2df140d207d82332a6e SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/4.cabal) = 2296 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
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest-3.4.0_1---n/an/an/a
FreeBSD:13:quarterly-3.4.0_1---n/an/an/a
FreeBSD:14:latest-3.4.0_1------
FreeBSD:14:quarterly-3.4.0_1------
FreeBSD:15:latest-3.4.0_1n/a-n/an/a--
FreeBSD:15:quarterly-3.4.0_1n/a-n/an/a--
FreeBSD:16:latest-3.4.0_1n/a-n/an/a--
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ghc : lang/ghc
  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:
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.
  1. http://hackage.haskell.org/package/
  2. https://hackage.haskell.org/package/
Collapse this list.

Number of commits found: 28

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.4.0_1
04 Jan 2026 21:50:53
commit hash: 021d9b886cf8e3888e7c2c39d363bf8c72c9eb0ecommit hash: 021d9b886cf8e3888e7c2c39d363bf8c72c9eb0ecommit hash: 021d9b886cf8e3888e7c2c39d363bf8c72c9eb0ecommit hash: 021d9b886cf8e3888e7c2c39d363bf8c72c9eb0e files touched by this commit		 Gleb Popov (arrowd) search for other commits by this committer 
security/hs-cryptol: Fix building after the GHC upgrade
3.4.0
08 Nov 2025 08:51:19
commit hash: 000ddb496f5a6d8e8d6c79057d8eceb63d53cd89commit hash: 000ddb496f5a6d8e8d6c79057d8eceb63d53cd89commit hash: 000ddb496f5a6d8e8d6c79057d8eceb63d53cd89commit hash: 000ddb496f5a6d8e8d6c79057d8eceb63d53cd89 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
security/hs-cryptol: update 3.3.0 → 3.4.0
3.3.0
22 Mar 2025 14:30:27
commit hash: 462f5566b41d5f023785faef6e2739bbb5f2f99acommit hash: 462f5566b41d5f023785faef6e2739bbb5f2f99acommit hash: 462f5566b41d5f023785faef6e2739bbb5f2f99acommit hash: 462f5566b41d5f023785faef6e2739bbb5f2f99a files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
security/hs-cryptol: update 3.2.0 → 3.3.0

Reported by:	portscout
3.2.0
23 Aug 2024 03:48:09
commit hash: 411fb8c99ba54608381683f65b9bbfea9d41a85bcommit hash: 411fb8c99ba54608381683f65b9bbfea9d41a85bcommit hash: 411fb8c99ba54608381683f65b9bbfea9d41a85bcommit hash: 411fb8c99ba54608381683f65b9bbfea9d41a85b files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
security/hs-cryptol: update 3.1.0 → 3.2.0
3.1.0_1
19 Apr 2024 19:28:23
commit hash: 46fac650a9dfe829d7f1697449bff844389d59c1commit hash: 46fac650a9dfe829d7f1697449bff844389d59c1commit hash: 46fac650a9dfe829d7f1697449bff844389d59c1commit hash: 46fac650a9dfe829d7f1697449bff844389d59c1 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer
Author: Andrey Korobkov		 
security/hs-cryptol: Switch to GHC 9.6

PR:		278445
3.1.0
06 Feb 2024 06:49:25
commit hash: 43f2aa8222394e588200896dc6aa03cc49513989commit hash: 43f2aa8222394e588200896dc6aa03cc49513989commit hash: 43f2aa8222394e588200896dc6aa03cc49513989commit hash: 43f2aa8222394e588200896dc6aa03cc49513989 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
security/hs-cryptol: update 3.0.0 → 3.1.0
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: 28
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
zeekJan 29
chromiumJan 28
firefoxJan 28
openssl*Jan 28
openssl33*Jan 28
openssl34*Jan 28
openssl35*Jan 28
openssl36*Jan 28
ungoogled-chromiumJan 28
xrdpJan 27
python310*Jan 25
python311*Jan 25
python312*Jan 25
python313*Jan 25
python314*Jan 25

12 vulnerabilities affecting 261 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-01-30 13:04:38 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33994
Broken 120
Deprecated 149
Ignore 235
Forbidden 0
Restricted 2
No CDROM 1
Vulnerable 36
Expired 9
Set to expire 84
Interactive 0
new 24 hours 1
new 48 hours16
new 7 days33
new fortnight46
new month112
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.