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.3.0 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.2.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: 2025-03-22 14:30:27
Commit Hash: 462f556
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 (13 items)
Collapse this list.
  1. /usr/local/share/licenses/hs-cryptol-3.3.0/catalog.mk
  2. /usr/local/share/licenses/hs-cryptol-3.3.0/LICENSE
  3. /usr/local/share/licenses/hs-cryptol-3.3.0/BSD3CLAUSE
  4. share/cryptol/Array.cry
  5. share/cryptol/Cryptol.cry
  6. share/cryptol/Cryptol/Reference.cry
  7. share/cryptol/CryptolTC.z3
  8. share/cryptol/Float.cry
  9. share/cryptol/PrimeEC.cry
  10. share/cryptol/SuiteB.cry
  11. @owner
  12. @group
  13. @mode
Collapse this list.
Dependency lines:
  • hs-cryptol>0:security/hs-cryptol
To install the port:
cd /usr/ports/security/hs-cryptol/ && make install clean
To add the package, run one of these commands:
  • pkg install security/hs-cryptol
  • pkg install hs-cryptol
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: hs-cryptol
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1742629041 SHA256 (cabal/cryptol-3.3.0/cryptol-3.3.0.tar.gz) = 3ba3d1083c3aacd6c5ad5bbe4fddb9d9519717af4d3c6fe05d9c0c698fb737b0 SIZE (cabal/cryptol-3.3.0/cryptol-3.3.0.tar.gz) = 579944

Expand this list (428 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.15.0.1/QuickCheck-2.15.0.1.tar.gz) = a3b2216ddbaf481dbc82414b6120f8b726d969db3f0b51f20a7a45425ef36e7f SIZE (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = 81502 SHA256 (cabal/QuickCheck-2.15.0.1/revision/1.cabal) = 0cfd337bb9e6fbf09255bd24bb498a156f1d9bcd465396ac8657b25034b9ee31 SIZE (cabal/QuickCheck-2.15.0.1/revision/1.cabal) = 9046 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/3.cabal) = 61e559f2bad61a98aac564f2a4fd892d21e9e1712e14e3db93326317aa944a9b SIZE (cabal/aeson-2.2.3.0/revision/3.cabal) = 6378 SHA256 (cabal/alex-3.5.2.0/alex-3.5.2.0.tar.gz) = 913602f0464827470ecd9ed7590ddbbc5abab045a2b45059c46f80d17f0dc008 SIZE (cabal/alex-3.5.2.0/alex-3.5.2.0.tar.gz) = 91436 SHA256 (cabal/ansi-terminal-1.1.2/ansi-terminal-1.1.2.tar.gz) = a8d04a3e0451e22a6499a92311f0df1196dc65b687df7d10e3f30d92420156b0 SIZE (cabal/ansi-terminal-1.1.2/ansi-terminal-1.1.2.tar.gz) = 36259 SHA256 (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = f2e5333eb78da5f4dd330fca0c81a59276cc150c625647cd20f57b7f297a5d25 SIZE (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = 4746 SHA256 (cabal/arithmoi-0.13.0.1/arithmoi-0.13.0.1.tar.gz) = 98827b16171e94c0daeab7f0671f272b63072e5056533220c0532be1f93dde22 SIZE (cabal/arithmoi-0.13.0.1/arithmoi-0.13.0.1.tar.gz) = 186345 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/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.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777 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/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/extra-1.8.tar.gz) = 2fa4ce5eae50560bba80f1883913cf2ed52b3d87fd290dae27d838c94f5389a1 SIZE (cabal/extra-1.8/extra-1.8.tar.gz) = 47005 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.5.0/fingertree-0.1.5.0.tar.gz) = f3263c92fa8b18f1e1a64cd12480c8c1bee2c1fa0584ab3345f3dd8522bdbf71 SIZE (cabal/fingertree-0.1.5.0/fingertree-0.1.5.0.tar.gz) = 20656 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.5/happy-2.1.5.tar.gz) = 7af82f24f65bf951b24000b9e16ee01c750ed40edc0b256881d29daee85c41c4 SIZE (cabal/happy-2.1.5/happy-2.1.5.tar.gz) = 61293 SHA256 (cabal/happy-lib-2.1.5/happy-lib-2.1.5.tar.gz) = a25a6c5a2db150caf4b8c91e048e302f776372034b84b8f9461fea0483da94eb SIZE (cabal/happy-lib-2.1.5/happy-lib-2.1.5.tar.gz) = 93792 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.5/hedgehog-1.5.tar.gz) = e941609fb3deb9acb0caf161405bff1c84da92b2891753c6d937fb9970ea866a SIZE (cabal/hedgehog-1.5/hedgehog-1.5.tar.gz) = 79621 SHA256 (cabal/hedgehog-1.5/revision/2.cabal) = c904dc9d8ae7b47a58771a0fbfb7a77882059a2b77c9c0c722dc16de504d0bd4 SIZE (cabal/hedgehog-1.5/revision/2.cabal) = 4817 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/2.cabal) = b3eb47429c31be3cac8b124cc0e1836fc9d7ca149c13c896362e95bbce03c696 SIZE (cabal/hgmp-0.1.2.1/revision/2.cabal) = 2475 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.2/infinite-list-0.1.2.tar.gz) = 6bae26bd8deee7c7f0afa1dc374094eb26546116c24f5bcc47b631e7608bbd6c SIZE (cabal/infinite-list-0.1.2/infinite-list-0.1.2.tar.gz) = 24232 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.2.0/integer-roots-1.0.2.0.tar.gz) = 45e3fc64c80e1e0b325988395c18e71885e15a1f5209f09343b52b549f1c5697 SIZE (cabal/integer-roots-1.0.2.0/integer-roots-1.0.2.0.tar.gz) = 54903 SHA256 (cabal/integer-roots-1.0.2.0/revision/1.cabal) = 67a8b36c783337cb9f51a83adfc657eb8d7724a12c7b3ba186ba70ff7ce2c3b9 SIZE (cabal/integer-roots-1.0.2.0/revision/1.cabal) = 2476 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.6/kan-extensions-5.2.6.tar.gz) = fa82283c1c9ac3dc0951b7ca9f5b2e6f13d8331c20154ebb222b509824eeeccc SIZE (cabal/kan-extensions-5.2.6/kan-extensions-5.2.6.tar.gz) = 21718 SHA256 (cabal/kan-extensions-5.2.6/revision/1.cabal) = e0b972f900a3c04c0f36d7e221e6b04343a5a1f00ce3aababff7932e173f0833 SIZE (cabal/kan-extensions-5.2.6/revision/1.cabal) = 2581 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.4/lens-5.3.4.tar.gz) = f1b6ed14b8d8ccafb5724929fb3d0d3b5866b923ca88e8c565b4a84b7993c88a SIZE (cabal/lens-5.3.4/lens-5.3.4.tar.gz) = 707015 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/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.10.2.7/lifted-async-0.10.2.7.tar.gz) = c281bfb5761c7998cf663da529f2adc6d011ea6e524ca589047a659824fd3d55 SIZE (cabal/lifted-async-0.10.2.7/lifted-async-0.10.2.7.tar.gz) = 10853 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.0/mmorph-1.2.0.tar.gz) = 61338058eb676b466a462ca45d59f436a77a3bd6b816e4268c6d88522b6a4280 SIZE (cabal/mmorph-1.2.0/mmorph-1.2.0.tar.gz) = 6861 SHA256 (cabal/mmorph-1.2.0/revision/3.cabal) = df9b213ec18f811cb3137b478d148f3f1680ee43f841cb775835fa282fdb0295 SIZE (cabal/mmorph-1.2.0/revision/3.cabal) = 1083 SHA256 (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 2a63f8e4e88545093cd57df02911906554e77704df3ee5c7a12044e48630e872 SIZE (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 16279 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.7.0/network-3.2.7.0.tar.gz) = 68548e660632a3c09b230c33fe08cc880273372b485e65cbe7a717936de9728b SIZE (cabal/network-3.2.7.0/network-3.2.7.0.tar.gz) = 145714 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/4.cabal) = 36b26be66f5736926fbd16fa3eadfcc96d23e13433e6348f0fa9509163fd0991 SIZE (cabal/newtype-generics-0.6.2/revision/4.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.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 63811ab4fd26e829b8868364325a88be3acc79819f5bb5005b2dd3b961ecc491 SIZE (cabal/optparse-applicative-0.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 60682 SHA256 (cabal/optparse-applicative-0.18.1.0/revision/1.cabal) = f30973861ac7e7ebff05ff8c7c3d1e4d283a1f3850e1cc14106b0693ec1b6d82 SIZE (cabal/optparse-applicative-0.18.1.0/revision/1.cabal) = 5289 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/os-string-2.0.7/os-string-2.0.7.tar.gz) = 339c35fd3a290522f23de4e33528423cfd0b0a8f22946b0b9816a817b926cba0 SIZE (cabal/os-string-2.0.7/os-string-2.0.7.tar.gz) = 44683 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.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6 SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681 SHA256 (cabal/parallel-3.2.2.0/revision/9.cabal) = 9d7b34ac537940f67732eca31d48a43bd78fb65a91baebddf63bee4fc3813d81 SIZE (cabal/parallel-3.2.2.0/revision/9.cabal) = 1961 SHA256 (cabal/parameterized-utils-2.1.10.0/parameterized-utils-2.1.10.0.tar.gz) = 13eab9bf90769a65b0de355aa6066517b4ad7d8a8988650a312b5ca9d3c124bf SIZE (cabal/parameterized-utils-2.1.10.0/parameterized-utils-2.1.10.0.tar.gz) = 101722 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.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7 SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580 SHA256 (cabal/primitive-0.9.0.0/revision/2.cabal) = de20bf4eff1f972088854c8efda6eaca2d3147aff62232c3707f059152638759 SIZE (cabal/primitive-0.9.0.0/revision/2.cabal) = 3203 SHA256 (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 65955d7b50525a4a3bccdab1d982d2ae342897fd38140d5a94b5ef3800d8c92a SIZE (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 28522 SHA256 (cabal/profunctors-5.6.2/revision/3.cabal) = e178ba4468982326656626e2089e296f64485e68fdddc9f4476dcd5d612b4f78 SIZE (cabal/profunctors-5.6.2/revision/3.cabal) = 2484 SHA256 (cabal/random-1.2.1.3/random-1.2.1.3.tar.gz) = e9c81926a7d1e40328f645f73592b31efc9c631589669a7f130687b9cc3051dc SIZE (cabal/random-1.2.1.3/random-1.2.1.3.tar.gz) = 47117 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/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.1/splitmix-0.1.1.tar.gz) = d678c41a603a62032cf7e5f8336bb8222c93990e4b59c8b291b7ca26c7eb12c7 SIZE (cabal/splitmix-0.1.1/splitmix-0.1.1.tar.gz) = 21981 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.2.4/syb-0.7.2.4.tar.gz) = ec7c1e8822d62ab910386361cdcee40a22a26cd344c34741fadd982302291e60 SIZE (cabal/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = 41809 SHA256 (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 6daad88ebb414ba6a556d2898d2cbe7650e4276010e3a6eed939daf54b956784 SIZE (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 8151 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/1.cabal) = 9d56ea9dbc274fc853fc531373b2c91bfe360e21460c2c6a5838897d86e3f6d0 SIZE (cabal/tasty-1.5.3/revision/1.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/6.cabal) = 2c5384f1985994fc66edafeb6665036a25516ad2d443b04d96c7fb6e2eb368e5 SIZE (cabal/tasty-hedgehog-1.4.0.2/revision/6.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.1.0/toml-parser-2.0.1.0.tar.gz) = 03366d727abac9e30055487dbfa07973c321aff571a0de9e504337aa586697e1 SIZE (cabal/toml-parser-2.0.1.0/toml-parser-2.0.1.0.tar.gz) = 48201 SHA256 (cabal/toml-parser-2.0.1.0/revision/1.cabal) = 13b6e9987e26a41e57f8e57dacf4ff069cc076f61be366ee8c9e6da5d61771d4 SIZE (cabal/toml-parser-2.0.1.0/revision/1.cabal) = 4017 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.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823 SHA256 (cabal/unordered-containers-0.2.20/revision/4.cabal) = 233cbcdda6c2698932bb391ce0935fb44f80c115621ee815a21ed33ac8ede422 SIZE (cabal/unordered-containers-0.2.20/revision/4.cabal) = 3921 SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726 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/2.cabal) = 88e78c100b699cb829524af914cea82422bd518ce90625122ebe4c8048aee13d SIZE (cabal/uuid-types-1.0.6/revision/2.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/1.cabal) = b736a57b73520d2acf4865e3e2b40030d69782f35f870e376dc717ee2508d81f SIZE (cabal/vector-0.13.2.0/revision/1.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/3.cabal) = 5ac96695212a45ae7dc16d8031dbf5311da53e052c35f7ad4a8e2db7fafb651e SIZE (cabal/vector-stream-0.1.0.1/revision/3.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.3/void-0.7.3.tar.gz) = 53af758ddc37dc63981671e503438d02c6f64a2d8744e9bec557a894431f7317 SIZE (cabal/void-0.7.3/void-0.7.3.tar.gz) = 6741 SHA256 (cabal/what4-1.7/what4-1.7.tar.gz) = 7b2c2893d0770b22242fad992677d8d07bb5459a3a77b7f1ebfda97f98396ac5 SIZE (cabal/what4-1.7/what4-1.7.tar.gz) = 434701 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/3.cabal) = 79d12e6d7302c8bea0986cb713fcbfc33225cca3ee158ac741cf1a468f5ed8bc SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/3.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.0/zlib-0.7.1.0.tar.gz) = 6edd38b6b81df8d274952aa85affa6968ae86b2231e1d429ce8bc9083e6a55bc SIZE (cabal/zlib-0.7.1.0/zlib-0.7.1.0.tar.gz) = 29318 SHA256 (cabal/zlib-0.7.1.0/revision/2.cabal) = 85e64a75c0b490506a7edaa2d54950c668e66b65758bb08bb14cd31faf53a206 SIZE (cabal/zlib-0.7.1.0/revision/2.cabal) = 5357 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.2.0------
FreeBSD:13:quarterly-3.2.0------
FreeBSD:14:latest-3.3.0------
FreeBSD:14:quarterly-3.2.0------
FreeBSD:15:latest-3.3.0n/a-n/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: 26

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
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: 26
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
electron33Mar 28
electron34Mar 28
gitlabMar 26
electron33Mar 25
electron34Mar 25
qt5-webengineMar 23
varnish7Mar 22
chromiumMar 20
ungoogled-chromiumMar 20
gitlabMar 13
opensamlMar 13
php81Mar 13
php82Mar 13
php83Mar 13
php84Mar 13

6 vulnerabilities affecting 91 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-03-28 12:03:43 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33319
Broken 130
Deprecated 329
Ignore 245
Forbidden 1
Restricted 2
No CDROM 1
Vulnerable 27
Expired 16
Set to expire 287
Interactive 0
new 24 hours 11
new 48 hours15
new 7 days26
new fortnight54
new month98
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.