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
NOW FIXED. We had a known problem with lists of packages - they were out of date. The fix has been applied to production. See packages-import/issues/3 & packages-import/issues/4
Port details
hs-cryptol Domain-specific language for specifying cryptographic algorithms
3.2.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.1.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-02-24 08:32:14
Last Update: 2024-08-23 03:48:09
Commit Hash: 411fb8c
People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
Also Listed In: haskell lang
License: BSD3CLAUSE
WWW:
https://cryptol.net/
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.
Homepage    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.2.0/catalog.mk
  2. /usr/local/share/licenses/hs-cryptol-3.2.0/LICENSE
  3. /usr/local/share/licenses/hs-cryptol-3.2.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 = 1724324178 SHA256 (cabal/cryptol-3.2.0/cryptol-3.2.0.tar.gz) = ed078965bd7d2468eb403c698374d9525bc2314f9fc53fc7683a7cab5d2ba25b SIZE (cabal/cryptol-3.2.0/cryptol-3.2.0.tar.gz) = 557100

Expand this list (370 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/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/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.2/adjunctions-4.4.2.tar.gz) = 147b5f8db810bca0ea8952ef974982ffc447cecd21f01e1ea1121df77e276518 SIZE (cabal/adjunctions-4.4.2/adjunctions-4.4.2.tar.gz) = 17201 SHA256 (cabal/adjunctions-4.4.2/revision/2.cabal) = 30206ae6b78d3d523c2ff73640f84b51fa204ac3f05267a5f0c77c486b96781d SIZE (cabal/adjunctions-4.4.2/revision/2.cabal) = 3379 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/1.cabal) = ef66d29cb5b8d87a144838dfd5745bb3ac6b8fc4b142129fac84814baee13660 SIZE (cabal/aeson-2.2.3.0/revision/1.cabal) = 6351 SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07 SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982 SHA256 (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c SIZE (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 35398 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.0/arithmoi-0.13.0.0.tar.gz) = 4c4b5bb212e91d63d0abcdc2c00b7f53e116428bfe04f2ee016d83fa50779d2d SIZE (cabal/arithmoi-0.13.0.0/arithmoi-0.13.0.0.tar.gz) = 186134 SHA256 (cabal/arithmoi-0.13.0.0/revision/4.cabal) = 58e8fb7ebcaf63e0207fbdd0b4317b36d9bc2dcf3f01e312079d68b6865bb5b6 SIZE (cabal/arithmoi-0.13.0.0/revision/4.cabal) = 7818 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/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/2.cabal) = cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35 SIZE (cabal/async-2.2.5/revision/2.cabal) = 3257 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/5.cabal) = ec709539b881d6431620bd7c40fbfa680aaf4a98c6f35b51536d8f455682b1ae SIZE (cabal/attoparsec-0.14.4/revision/5.cabal) = 5703 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.2/base-orphans-0.9.2.tar.gz) = 6211900916955b84687c61b5e4fa98ce110e511a96086b7a93f06dd63c97ba93 SIZE (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 26705 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/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/9.cabal) = 805aeb3ccd9d80398665c162647a5cb1d2f61d799720d8c84ee5bbe98db981f5 SIZE (cabal/bitwise-1.0.0.1/revision/9.cabal) = 3110 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/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 5a9d855a648d8ec11fc6d6a4465fbc1cc4f7783d8fd96aa07cafe784536cb4f9 SIZE (cabal/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 20218 SHA256 (cabal/bv-sized-1.0.5/revision/1.cabal) = f6a12df8c83a0aa9dbbd1413a4d53c5223c7fde6faf1bcb458e3be82ade8709e SIZE (cabal/bv-sized-1.0.5/revision/1.cabal) = 2162 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.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13 SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227 SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3 SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631 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/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/6.cabal) = 3b9446be1a36aad5f8b71cd82bfe2d92ac33aae38a6823adc83a1e171ee29e50 SIZE (cabal/config-value-0.8.3/revision/6.cabal) = 1983 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.2.0/criterion-measurement-0.2.2.0.tar.gz) = 0901867664c04f436e8dce54967bda08a6045530b808abae47cec60990459ecd SIZE (cabal/criterion-measurement-0.2.2.0/criterion-measurement-0.2.2.0.tar.gz) = 17900 SHA256 (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = a4042c97ad02eb68e766577ca35c01970c33e96cfd74ccb4dd403e3476a23241 SIZE (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = 11563 SHA256 (cabal/cryptohash-sha1-0.11.101.0/revision/5.cabal) = fa87bda570450a0abb27f8828058ee4a43075470140eac8c90d1a085574212a8 SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/5.cabal) = 3072 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/deriving-compat-0.6.6/deriving-compat-0.6.6.tar.gz) = 61fe93fd01405cc447ba85ea477183b0beb8b2639963f900719392d21c4756b9 SIZE (cabal/deriving-compat-0.6.6/deriving-compat-0.6.6.tar.gz) = 74588 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/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.7.16/extra-1.7.16.tar.gz) = 250c6d43c30b2c71f2cf498a10e69e43ac035974d3819529385d99e42ce77c70 SIZE (cabal/extra-1.7.16/extra-1.7.16.tar.gz) = 46190 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/5.cabal) = 31e49c0d27e9a9493bf3196449501cf2c546e5e988574d64380518fed0ccc46e SIZE (cabal/free-5.2/revision/5.cabal) = 4176 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/3.cabal) = 1b1b638ac022d2404becb6c117b04bfdc2247429ba58596271ca2cdc413288c2 SIZE (cabal/generically-0.1.1/revision/3.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-1.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409 SHA256 (cabal/hashable-1.4.7.0/hashable-1.4.7.0.tar.gz) = 3baee4c9027a08830d148ec524cbc0471de645e1e8426d46780ef2758df0e8da SIZE (cabal/hashable-1.4.7.0/hashable-1.4.7.0.tar.gz) = 89467 SHA256 (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 6f3d40eb22ab87279b9a0bf51c22307706b240c90a664c82bfae2392268c59c3 SIZE (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 58697 SHA256 (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = c8eeda569a30f115244c17920247ba2c45d11b3e30805f648a878f7855d8f349 SIZE (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = 14499 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/2.cabal) = 60e78b6c60dc32a77ce6c37ed5ca4e838fc5f76f02836ef64d93cd21cc002325 SIZE (cabal/hsc2hs-0.68.10/revision/2.cabal) = 3032 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-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/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = be6844861a29100031bc192cb846c403adb2bb1ea0ce0b65c26530671100afa8 SIZE (cabal/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = 21953 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-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023 SHA256 (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 0595a16d458c9c5caa425dc8ebbeb5d9adffb0c8daf4720c1d93dfcfc31dd690 SIZE (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 3295 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.3/invariant-0.6.3.tar.gz) = 8d2019e4a1060b88f2594df5256b086b07c09fff0f0dc5adf6163facee552fbf SIZE (cabal/invariant-0.6.3/invariant-0.6.3.tar.gz) = 28239 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/5.cabal) = 2c7a6d55b40fb6cd97970de1ff96dc9a54e2eaedf6938f842c484b4e7959987f SIZE (cabal/io-streams-1.5.2.2/revision/5.cabal) = 9982 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/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.2.3/lens-5.2.3.tar.gz) = df1e8ca8dd89d884994e0c80761a972088326fa43ed5d47c01b14abb710b994d SIZE (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = 703220 SHA256 (cabal/lens-5.2.3/revision/5.cabal) = 08f4e81aa3fa3f175f6932089d6bb8b17669e3d00aa2968b853287e5e8d7f024 SIZE (cabal/lens-5.2.3/revision/5.cabal) = 15237 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/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = a32257be847dbe71ac22d512ab115f9ce26fa08bcdbea7ca8b5256a1700dcbff SIZE (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = 64913 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.1/monadLib-3.10.1.tar.gz) = e89c8562173f1ab0f78b892e6548bf03df869191448a39be059c63c074adae58 SIZE (cabal/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = 11462 SHA256 (cabal/network-3.2.1.0/network-3.2.1.0.tar.gz) = 90f0c6d76eeef4fed4c6cdb16f3b056efece86520a4fa472e0d016f9d37bd201 SIZE (cabal/network-3.2.1.0/network-3.2.1.0.tar.gz) = 143932 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/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.6/os-string-2.0.6.tar.gz) = 22fcc7d5fc66676b5dfc57b714d2caf93cce2d5a79d242168352f9eb0fe2f18a SIZE (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 44363 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/8.cabal) = b9cf0b07fdff16f503487a4daa1e40a1f1f6c10974b4f15d6dfd5f243a643e31 SIZE (cabal/parallel-3.2.2.0/revision/8.cabal) = 1942 SHA256 (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = d5490d64345878d16d0573411e4ab9cfb10af9fdb9668086b75be6c26dcbd408 SIZE (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = 100939 SHA256 (cabal/parameterized-utils-2.1.8.0/revision/1.cabal) = 7c1fbc0bc64aaf6a76d3b0a812f79f44df4af9b7896e05b343459d39791d4530 SIZE (cabal/parameterized-utils-2.1.8.0/revision/1.cabal) = 4796 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/1.cabal) = 2e08c5409e3559c7f1669ef50e9a0d9a397e68ecf51110d5e2cedf05cdd7d93c SIZE (cabal/primitive-0.9.0.0/revision/1.cabal) = 3171 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.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4 SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229 SHA256 (cabal/reflection-2.1.8/reflection-2.1.8.tar.gz) = 922e9ff67958ed1bca19000a9d59153ed3152ef775e9018d5853488e4f4189cd SIZE (cabal/reflection-2.1.8/reflection-2.1.8.tar.gz) = 18331 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/1.cabal) = 2148e2e6ab1f1fd2ecee25067e0ee60da886be89736e8a54d49556407d7113ce SIZE (cabal/scientific-0.3.8.0/revision/1.cabal) = 4380 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/1.cabal) = 0ebafdb9c3bfac8c5311999ae195115c1452a205b273d54e7b1145a65c1bf610 SIZE (cabal/semialign-1.3.1/revision/1.cabal) = 2209 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/1.cabal) = f65892f65f941c7368334bdfdcdb9db2ad3952502e94e88785a5a428fa2f3f4e SIZE (cabal/semigroupoids-6.0.1/revision/1.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.7/simple-smt-0.9.7.tar.gz) = 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d SIZE (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 10177 SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002 SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399 SHA256 (cabal/splitmix-0.1.0.5/revision/1.cabal) = caa9b4a92abf1496c7f6a3c0f4e357426a54880077cb9f04e260a8bfa034b77b SIZE (cabal/splitmix-0.1.0.5/revision/1.cabal) = 6596 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.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7 SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094 SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32 SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732 SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890 SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686 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-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/2.cabal) = 5953dc14c71b6047edab2dc89e922678ff5cbe2e98d16b9e7078150083940be4 SIZE (cabal/text-short-0.1.6/revision/2.cabal) = 2812 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.0.0/th-abstraction-0.7.0.0.tar.gz) = b2854c612f2fa4adfa1ecbb4089a2211fd9cb3210aec17ba4a455ae486b22721 SIZE (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = 49904 SHA256 (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 81f55fafc7afad7763c09cb8b7b4165ca3765edcf70ffa42c7393043a1382a1e SIZE (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 14893 SHA256 (cabal/th-compat-0.1.5/revision/2.cabal) = 129a59ba3ccfcd06192fd6da899e2711ae276a466915a047bd6727e4a0321d2e SIZE (cabal/th-compat-0.1.5/revision/2.cabal) = 3330 SHA256 (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = f9c577238d4ba65fe3e78bc77f0cca54f17d02c0f6075b2487da5c63bdb4a61b SIZE (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = 14711 SHA256 (cabal/th-lift-0.8.4/revision/2.cabal) = 2f32c878a42a6a5d725514556d5851d8a63a368a301970948d372d0408268cb3 SIZE (cabal/th-lift-0.8.4/revision/2.cabal) = 2791 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/1.cabal) = c04f573531b37864506b071046e010a7a6aad11650cf895467f9f279d0130b8b SIZE (cabal/these-1.2.1/revision/1.cabal) = 2279 SHA256 (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = c98fbea21d036c3263af186df0569b8425c87ad353b021353794743e4e631dcc SIZE (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = 57331 SHA256 (cabal/time-compat-1.9.7/revision/2.cabal) = f0bff15af6faaeff36b679e6b810fa71534b2f85a91bf98d7541dac6a469b20f SIZE (cabal/time-compat-1.9.7/revision/2.cabal) = 4486 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.0/unliftio-0.2.25.0.tar.gz) = fb85a22291e78f9e58cd7f5e563a726500ad1a004b3b335b93c0975b828a112b SIZE (cabal/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = 58335 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/3.cabal) = c7fe9cba405ed9905e12d89c7add3b3eb9868dfba7975e70ba0cdd64b7b11abc SIZE (cabal/unordered-containers-0.2.20/revision/3.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/1.cabal) = 595644500d36908be85cd02fb446c411555ecc5c59b7ce33d1205cfc9ceb55a6 SIZE (cabal/uuid-types-1.0.6/revision/1.cabal) = 2604 SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855 SHA256 (cabal/vector-0.13.1.0/revision/1.cabal) = bc032ccfb51d775eb6f4082c5fc02f5416b0ea0d6644a60d87677a6937f2d70d SIZE (cabal/vector-0.13.1.0/revision/1.cabal) = 9015 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/1.cabal) = 16a69e2ed71d7b35e16860fac520f94fa4da120eb973d9f8fbf0aa3a703d4a9f SIZE (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 1583 SHA256 (cabal/versions-6.0.7/versions-6.0.7.tar.gz) = e09615865142a5835811cd5169565c2ef8b81bad729ab0950650eea79fecc2be SIZE (cabal/versions-6.0.7/versions-6.0.7.tar.gz) = 19505 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.6/what4-1.6.tar.gz) = b2588b49f899ce23b5bc5981560dcd9c1f7efa4c7ae1b4f32a8e4be5024c7788 SIZE (cabal/what4-1.6/what4-1.6.tar.gz) = 428826 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/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/1.cabal) = bae1c5a6092d65c5e763246f91e04fef3f43e37cb055130725c9a973c88a250f SIZE (cabal/zlib-0.7.1.0/revision/1.cabal) = 5223 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.2.0------
FreeBSD:14:quarterly-3.2.0------
FreeBSD:15:latest-3.2.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: 25

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
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: 25