FreshPorts -- cad/hs-verismith: Verilog fuzzer

Port details

hs-verismith Verilog fuzzer

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

Maintainer: yuri@FreeBSD.org

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

Last Update: 2024-09-01 19:45:45

Commit Hash: 05759ff

People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-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.0.0.2.40/catalog.mk
/usr/local/share/licenses/hs-verismith-1.0.0.2.40/LICENSE
/usr/local/share/licenses/hs-verismith-1.0.0.2.40/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 = 1725194649 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 (248 items)

Collapse this list.

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/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/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/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.0/base-compat-0.14.0.tar.gz) = f146de664ac838ebe18ec9360df82da3660149dc7d51fd29bcb61d653b799c50 SIZE (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = 42744 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/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/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/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.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-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-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz) = 4f01b423f000c3e069aaf52a348564a6536797f31498bb85c3db4bd2d0973e56 SIZE (cabal/data-default-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz) = 2522 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/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.2.0/fgl-5.8.2.0.tar.gz) = 44cf0cf720f1d3fb31689cab219adf9b1a5367b3fbf4bd6678f4d156f3e8c3b6 SIZE (cabal/fgl-5.8.2.0/fgl-5.8.2.0.tar.gz) = 57401 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/5.cabal) = 31e49c0d27e9a9493bf3196449501cf2c546e5e988574d64380518fed0ccc46e SIZE (cabal/free-5.2/revision/5.cabal) = 4176 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/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/hedgehog-1.4/hedgehog-1.4.tar.gz) = f54afb31552e0f809030becad349cbfe19a65753a778771dc7314b2a6c41e6eb SIZE (cabal/hedgehog-1.4/hedgehog-1.4.tar.gz) = 77762 SHA256 (cabal/hedgehog-1.4/revision/8.cabal) = 9860ab34ab3951d9515c71b777d8c9c47610aae7339933e17d26ad9a4afa5618 SIZE (cabal/hedgehog-1.4/revision/8.cabal) = 4754 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/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/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/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/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/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/lifted-async-0.10.2.5/lifted-async-0.10.2.5.tar.gz) = 16a0d603a220724c013270cad78f56b8fc23ca428a9df844061ad32bc6961ed2 SIZE (cabal/lifted-async-0.10.2.5/lifted-async-0.10.2.5.tar.gz) = 10796 SHA256 (cabal/lifted-async-0.10.2.5/revision/1.cabal) = a04b215b289cdbe93a872a7d990cbff0da0f798f5675782e0601d9b18d15e1a3 SIZE (cabal/lifted-async-0.10.2.5/revision/1.cabal) = 2877 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.6.1/megaparsec-9.6.1.tar.gz) = a32257be847dbe71ac22d512ab115f9ce26fa08bcdbea7ca8b5256a1700dcbff SIZE (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = 64913 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/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.1.0/mwc-random-0.15.1.0.tar.gz) = 032bf9bd65054dc0def9bf037ea6a8f91a5cefe77ada18bee98598b045c3e2c8 SIZE (cabal/mwc-random-0.15.1.0/mwc-random-0.15.1.0.tar.gz) = 42553 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/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/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/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/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/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/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/1.cabal) = 2148e2e6ab1f1fd2ecee25067e0ee60da886be89736e8a54d49556407d7113ce SIZE (cabal/scientific-0.3.8.0/revision/1.cabal) = 4380 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/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/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.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/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/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.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/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/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/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.2/unix-compat-0.7.2.tar.gz) = 58382c354e9b16a05b427a62f52b60fbc4406ad357bcc951cb76d4134fa6690b SIZE (cabal/unix-compat-0.7.2/unix-compat-0.7.2.tar.gz) = 15470 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/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/4.cabal) = cc847f1a110e3b1bd437a5356f115881b61cafcb11781b570b180efd88bf0907 SIZE (cabal/validation-selective-0.2.0.0/revision/4.cabal) = 3917 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/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/3.cabal) = 79d12e6d7302c8bea0986cb713fcbfc33225cca3ee158ac741cf1a468f5ed8bc SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/3.cabal) = 2296 SHA256 (cabal/ymherklotz-verismith-v1.0.0.2-40-g866707b_GH0.tar.gz) = ec9a814b706df602fc7bd000089736c498441d27c1b5fa00de47e329dbef63d0 SIZE (cabal/ymherklotz-verismith-v1.0.0.2-40-g866707b_GH0.tar.gz) = 208481

Collapse this list.

Packages (timestamps in pop-ups are UTC):

hs-verismith
ABI	aarch64	amd64	armv6	armv7	i386	powerpc	powerpc64	powerpc64le
FreeBSD:13:latest	1.0.0.2.40	1.0.0.2.40	-	-	-	-	-	-
FreeBSD:13:quarterly	1.0.0.2.40	1.0.0.2.40	-	-	-	-	-	-
FreeBSD:14:latest	1.0.0.2.40	1.0.0.2.40	-	-	-	-	-	-
FreeBSD:14:quarterly	1.0.0.2.40	1.0.0.2.40	-	-	-	-	-	-
FreeBSD:15:latest	1.0.0.2.40	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.0.0.2-40-g866707b?dummy=/

Collapse this list.

Number of commits found: 5

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

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

electron33	Mar 25
electron34	Mar 25
qt5-webengine	Mar 23
varnish7	Mar 22
chromium	Mar 20
ungoogled-chromium	Mar 20
gitlab	Mar 13
opensaml	Mar 13
php81	Mar 13
php82	Mar 13
php83	Mar 13
php84	Mar 13
vim	Mar 12
chromium	Mar 11
ungoogled-chromium	Mar 11

9 vulnerabilities affecting 120 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2025-03-25 12:18:56 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	33302
Broken	132
Deprecated	329
Ignore	247
Forbidden	1
Restricted	2
No CDROM	1
Vulnerable	27
Expired	16
Set to expire	285
Interactive	0
new 24 hours	4
new 48 hours	7
new 7 days	14
new fortnight	48
new month	89