FreshPorts -- cad/hs-verismith: Verilog fuzzer

Port details

hs-verismith Verilog fuzzer

1.1.0 cad =2 1.0.0.2.40Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2023-02-17 09:12:06

Last Update: 2025-05-16 06:30:31

Commit Hash: b392243

People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane

Also Listed In: haskell

License: GPLv3

WWW:

https://github.com/ymherklotz/verismith/

Description:

verismith is a Verilog fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

¦ ¦ ¦ ¦

Manual pages:

FreshPorts has no man page information for this port.

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

Expand this list (3 items)

Collapse this list.

/usr/local/share/licenses/hs-verismith-1.1.0/catalog.mk
/usr/local/share/licenses/hs-verismith-1.1.0/LICENSE
/usr/local/share/licenses/hs-verismith-1.1.0/GPLv3

Collapse this list.

Dependency lines:

hs-verismith>0:cad/hs-verismith

To install the port:

cd /usr/ports/cad/hs-verismith/ && make install clean

To add the package, run one of these commands:

pkg install cad/hs-verismith
pkg install hs-verismith

NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.

PKGNAME: hs-verismith

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1747327230 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

Expand this list (274 items)

Collapse this list.

SHA256 (cabal/OneTuple-0.4.2/revision/1.cabal) = dd7266f983da2970e5662168add810dabadabb3a4bb9b137181eafc0ac7ea4d4 SIZE (cabal/OneTuple-0.4.2/revision/1.cabal) = 2013 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/alex-3.5.3.0/alex-3.5.3.0.tar.gz) = a5cd52e2dd2837138523e2e24ec3435b8cf2624afd50725105e644226e0b9ec6 SIZE (cabal/alex-3.5.3.0/alex-3.5.3.0.tar.gz) = 92759 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/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/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.14.1/base-compat-0.14.1.tar.gz) = 74e655541e645e8fc7aade1e6a1b6973561be0bca9369bc1623aa345019a35e9 SIZE (cabal/base-compat-0.14.1/base-compat-0.14.1.tar.gz) = 32244 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/basement-0.0.16/basement-0.0.16.tar.gz) = 7fb77e249aef76ba5aed3059d556800ce02b614597c488ba01f0a16449146300 SIZE (cabal/basement-0.0.16/basement-0.0.16.tar.gz) = 134837 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/blaze-builder-0.4.3/blaze-builder-0.4.3.tar.gz) = 02646abf6f3d3a5a73ff5aef589fa5b889601ffb9765b03bdf9df98648bc7fee SIZE (cabal/blaze-builder-0.4.3/blaze-builder-0.4.3.tar.gz) = 60686 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/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/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-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/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/cryptonite-0.30/cryptonite-0.30.tar.gz) = 56099c8a8aa01d2ee914b670c97c1f818186dbb886e2025b73d9c2afe3496b1d SIZE (cabal/cryptonite-0.30/cryptonite-0.30.tar.gz) = 621062 SHA256 (cabal/data-default-0.8.0.1/data-default-0.8.0.1.tar.gz) = ce085de8ec2196f0c1d30af0ad8a517d5737c9edfd4ebfbb49e8687dfc40b6ca SIZE (cabal/data-default-0.8.0.1/data-default-0.8.0.1.tar.gz) = 5821 SHA256 (cabal/data-default-class-0.2.0.0/data-default-class-0.2.0.0.tar.gz) = 0ae530c4fb0bd6c8a8ba399429ccd9c75f9c7696049117178f4ceeb2bd08d5b4 SIZE (cabal/data-default-class-0.2.0.0/data-default-class-0.2.0.0.tar.gz) = 1589 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/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/dotgen-0.4.3/dotgen-0.4.3.tar.gz) = da1c78f7daf0470465ce095fd0f3b3e8a4e4744d5b582a0f6e590a32522d96c9 SIZE (cabal/dotgen-0.4.3/dotgen-0.4.3.tar.gz) = 4955 SHA256 (cabal/enclosed-exceptions-1.0.3/enclosed-exceptions-1.0.3.tar.gz) = af6d93f113ac92b89a32af1fed52f445f492afcc0be93980cbadc5698f94f0b9 SIZE (cabal/enclosed-exceptions-1.0.3/enclosed-exceptions-1.0.3.tar.gz) = 5748 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/fgl-5.8.3.0/fgl-5.8.3.0.tar.gz) = a4ca15b162068a6cd8fd8685e2c1231ace4a24d56b2424b8e3f8988ff1ab63c1 SIZE (cabal/fgl-5.8.3.0/fgl-5.8.3.0.tar.gz) = 57723 SHA256 (cabal/fgl-visualize-0.1.0.1/fgl-visualize-0.1.0.1.tar.gz) = b8e7f7b6a123ff22488f77a771cbd2cc285ef41299747662797abe9741778a6f SIZE (cabal/fgl-visualize-0.1.0.1/fgl-visualize-0.1.0.1.tar.gz) = 2172 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/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/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/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/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/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/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/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/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/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/math-functions-0.3.4.4/math-functions-0.3.4.4.tar.gz) = 2441d8dd50eff445356048b2a0cdf88c4a7ba0f56614293d4975e1b081faf8fa SIZE (cabal/math-functions-0.3.4.4/math-functions-0.3.4.4.tar.gz) = 429048 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/memory-0.18.0/memory-0.18.0.tar.gz) = fd4eb6f638e24b81b4e6cdd68772a531726f2f67686c8969d3407d82f7862e3e SIZE (cabal/memory-0.18.0/memory-0.18.0.tar.gz) = 41957 SHA256 (cabal/memory-0.18.0/revision/1.cabal) = 9f4de967352f80b6f174c9a166f315393dde80b77d7b67e41268ae7dec0319f9 SIZE (cabal/memory-0.18.0/revision/1.cabal) = 4581 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/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/mwc-probability-2.3.1/mwc-probability-2.3.1.tar.gz) = 3f8d997c6552786a87bfe4d7cc4af50fda2d5ef2feb96be4fe44649843dff795 SIZE (cabal/mwc-probability-2.3.1/mwc-probability-2.3.1.tar.gz) = 7737 SHA256 (cabal/mwc-random-0.15.2.0/mwc-random-0.15.2.0.tar.gz) = 5843ab06e7c9109326aa4eb5e26486400d6e3bce25944f6671ce989499174133 SIZE (cabal/mwc-random-0.15.2.0/mwc-random-0.15.2.0.tar.gz) = 43086 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/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/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/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 9310ef0d49f8a8922acda10b1cded9854cbee04dea717effc6ee5983072e4447 SIZE (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 11699 SHA256 (cabal/parser-combinators-1.3.0/revision/1.cabal) = 8659573e0d443d573f5b53f81b81dafbdc988d282b90c11e3da73562b4ea7876 SIZE (cabal/parser-combinators-1.3.0/revision/1.cabal) = 1640 SHA256 (cabal/pretty-show-1.10/pretty-show-1.10.tar.gz) = 307f9086e0b063d439dc4f513e36a145e8a57f23de448aefae2a6c00f6da6fd2 SIZE (cabal/pretty-show-1.10/pretty-show-1.10.tar.gz) = 42233 SHA256 (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 5e6ea6903114fa118fcc359633dfb7ecddecb92c06c853d02a77b72b251f0b45 SIZE (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 56907 SHA256 (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 813739308ad6050620578994effe21058a170a341716acf52573fae42b5b1db3 SIZE (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 8879 SHA256 (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 44b4de41813c7bc5db8a57f87c3612a069b65086946268ba165097252ebd3d76 SIZE (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 61724 SHA256 (cabal/profunctors-5.6.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/recursion-schemes-5.2.3/recursion-schemes-5.2.3.tar.gz) = 3b4e84bcec8d6ea5583388a9fc8b98255d39623d8420784a1a35fe46f4990e08 SIZE (cabal/recursion-schemes-5.2.3/recursion-schemes-5.2.3.tar.gz) = 39351 SHA256 (cabal/recursion-schemes-5.2.3/revision/1.cabal) = 918e804084122e022d3784a4ca9add536fe9fcc2150ceef5865ca14d4fab4851 SIZE (cabal/recursion-schemes-5.2.3/revision/1.cabal) = 3106 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/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/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/selective-0.7.0.1/selective-0.7.0.1.tar.gz) = dbfb4be71c7956f54e099c34ffe538dfaa99ed3911208df5828563da22b6aee3 SIZE (cabal/selective-0.7.0.1/selective-0.7.0.1.tar.gz) = 36061 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/shelly-1.12.1/shelly-1.12.1.tar.gz) = 135a264422228c9b13232c28206ee9fb0498dd15767d6a9f857bb30202f80c77 SIZE (cabal/shelly-1.12.1/shelly-1.12.1.tar.gz) = 75543 SHA256 (cabal/shelly-1.12.1/revision/1.cabal) = 15de3321dbe61a4d8b0e3b723422c9a25e0d192fe9a353bc40ab0f05e06ae138 SIZE (cabal/shelly-1.12.1/revision/1.cabal) = 5499 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/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/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/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/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/tomland-1.3.3.3/tomland-1.3.3.3.tar.gz) = a0992bea52a636e2aa2597b0ab25c54f0fb389e0052fe5a6436fe53acef956ab SIZE (cabal/tomland-1.3.3.3/tomland-1.3.3.3.tar.gz) = 90749 SHA256 (cabal/tomland-1.3.3.3/revision/2.cabal) = fcfa4231de9b4a32c61a18462c5925c4203dbcbeb22c7228d79a463d72491d1c SIZE (cabal/tomland-1.3.3.3/revision/2.cabal) = 9404 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/unix-compat-0.7.4/unix-compat-0.7.4.tar.gz) = 689b3a960c8fe12910554aa5b739d5c4769c1d180ade20402fde2ed49db7eff4 SIZE (cabal/unix-compat-0.7.4/unix-compat-0.7.4.tar.gz) = 15586 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/validation-selective-0.2.0.0/validation-selective-0.2.0.0.tar.gz) = 9a884e97e6a64f2cacadec8d5ea7e8ba7562d0c8fa9ab7cd5c34055eaec64987 SIZE (cabal/validation-selective-0.2.0.0/validation-selective-0.2.0.0.tar.gz) = 22397 SHA256 (cabal/validation-selective-0.2.0.0/revision/5.cabal) = 3fb7836ae5c8be1b41a69f31944c3a8dcf1b8d934ceb68b4989bc55aaad39316 SIZE (cabal/validation-selective-0.2.0.0/revision/5.cabal) = 3917 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/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/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 6b662b244b2e318a2923dc7057d707369a29ea4a0e721b4710eac7239cc727af SIZE (cabal/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 15458 SHA256 (cabal/wl-pprint-annotated-0.1.0.1/revision/4.cabal) = fefa8c901a324bd221d3fd1e3fef2df755a8528c27c7c2df140d207d82332a6e SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/4.cabal) = 2296 SHA256 (cabal/ymherklotz-verismith-v1.1.0_GH0.tar.gz) = 32aa24fee37f456cb0f1b8ddb30c980d7e0491d5610c0f2b9c808a55f853c807 SIZE (cabal/ymherklotz-verismith-v1.1.0_GH0.tar.gz) = 211466

Collapse this list.

Packages (timestamps in pop-ups are UTC):

hs-verismith
ABI	aarch64	amd64	armv6	armv7	i386	powerpc	powerpc64	powerpc64le
FreeBSD:13:latest	-	-	-	-	-	-	-	-
FreeBSD:13:quarterly	1.0.0.2.40	1.0.0.2.40	-	-	-	-	-	-
FreeBSD:14:latest	-	-	-	-	-	-	-	-
FreeBSD:14:quarterly	1.0.0.2.40	1.0.0.2.40	-	-	-	-	-	-
FreeBSD:15:latest	1.0.0.2.40	-	n/a	-	n/a	-	-	-

Dependencies

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

Build dependencies:

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

Library dependencies:

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

There are no ports dependent upon this port

Configuration Options:

No options to configure

Options name:

cad_hs-verismith

USES:

cabal

FreshPorts was unable to extract/find any pkg message

Master Sites:

Expand this list (1 items)

Collapse this list.

https://codeload.github.com/ymherklotz/verismith/tar.gz/v1.1.0?dummy=/

Collapse this list.

Number of commits found: 7

Commit	Credits	Log message
Commit History - (may be incomplete: for full details, see links to repositories near top of page)
1.1.0 16 May 2025 06:30:31	Yuri Victorovich (yuri)	cad/hs-verismith: update 1.0.0.2-40 → 1.1.0 Reported by: portscout
1.0.0.2.40 13 May 2025 07:34:35	Gleb Popov (arrowd)	Haskell ports: Switch some to GHC 9.6
1.0.0.2.40 01 Sep 2024 19:45:45	Yuri Victorovich (yuri) Author: Älven	cad/hs-verismith: update 1.0.0.2-39 → 1.0.0.2-40 PR: 281187
1.0.0.2.39 07 Jun 2023 19:01:45	Gleb Popov (arrowd)	Haskell ports: Fix dependency on GHC 9.2 after its upgrade. Reported by: pkg-fallout
1.0.0.2.39 27 May 2023 08:44:42	Gleb Popov (arrowd)	cad/hs-verismith: Switch to GHC 9.2 for building.
1.0.0.2.39 19 Feb 2023 06:23:40	Yuri Victorovich (yuri)	cad/hs-verismith: Add PORTSCOUT tag
1.0.0.2.39 17 Feb 2023 09:11:28	Yuri Victorovich (yuri)	cad/hs-verismith: New port: Verilog fuzzer

Number of commits found: 7

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

openh264	Jun 22
clamav	Jun 20
clamav	Jun 20
chromium	Jun 19
ungoogled-chromium	Jun 19
navidrome	Jun 18
chromium	Jun 17
chromium	Jun 17
firefox	Jun 17
ungoogled-chromium	Jun 17
ungoogled-chromium	Jun 17
firefox	Jun 15
firefox-esr	Jun 15
thunderbird	Jun 15
webmin	Jun 15

15 vulnerabilities affecting 243 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2025-06-22 20:51:37 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	33384
Broken	141
Deprecated	276
Ignore	257
Forbidden	0
Restricted	2
No CDROM	1
Vulnerable	31
Expired	15
Set to expire	218
Interactive	0
new 24 hours	2
new 48 hours	36
new 7 days	73
new fortnight	115
new month	175

Bot filter coming soon