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
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
hs-verismith Verilog fuzzer
1.0.0.2.39 cad on this many watch lists=0 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 1.0.0.2.39Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-02-17 09:12:06
Last Update: 2023-06-07 19:01:45
Commit Hash: d14c324
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

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.
  1. /usr/local/share/licenses/hs-verismith-1.0.0.2.39/catalog.mk
  2. /usr/local/share/licenses/hs-verismith-1.0.0.2.39/LICENSE
  3. /usr/local/share/licenses/hs-verismith-1.0.0.2.39/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 = 1676622008 SHA256 (cabal/OneTuple-0.3.1/OneTuple-0.3.1.tar.gz) = 98853682d52fb4cc37a45cd186fbd77cf2565d3df5171acc4cf026427e103eef SIZE (cabal/OneTuple-0.3.1/OneTuple-0.3.1.tar.gz) = 5148

Expand this list (252 items)

Collapse this list.

SHA256 (cabal/OneTuple-0.3.1/revision/3.cabal) = fc32cb744477befa450a538ea4975cc523f0a2f1585cb5a36e9936a3d18e9a3c SIZE (cabal/OneTuple-0.3.1/revision/3.cabal) = 2276 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/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 9bd2f1a27e8f1b2ffdb5b2fbd3ed82b6f0e85191459a1b24ffcbef4e68a81bec SIZE (cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 108229 SHA256 (cabal/ansi-terminal-0.11.4/ansi-terminal-0.11.4.tar.gz) = 7898e48f0a535c1857cde52c803f28096ba89759461fe4d157fd55dcdb420e25 SIZE (cabal/ansi-terminal-0.11.4/ansi-terminal-0.11.4.tar.gz) = 43299 SHA256 (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = a7b2e8e7cd3f02f2954e8b17dc60a0ccd889f49e2068ebb15abfa1d42f7a4eac SIZE (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = 16723 SHA256 (cabal/ansi-wl-pprint-0.6.9/revision/3.cabal) = 212144ea0623b1170807a4162db05d87f26cf10b334aeadd0edb377aba06a1ce SIZE (cabal/ansi-wl-pprint-0.6.9/revision/3.cabal) = 2425 SHA256 (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = d8988dc6e8718c7a3456515b769c9336aeeec730cf86fc5175247969ff8f144f SIZE (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = 3047 SHA256 (cabal/assoc-1.0.2/revision/3.cabal) = 93b8d43aa081e4205116a139f7cf690f608968161d19ebfb23d884d19b082b57 SIZE (cabal/assoc-1.0.2/revision/3.cabal) = 1253 SHA256 (cabal/async-2.2.4/async-2.2.4.tar.gz) = 484df85be0e76c4fed9376451e48e1d0c6e97952ce79735b72d54297e7e0a725 SIZE (cabal/async-2.2.4/async-2.2.4.tar.gz) = 14148 SHA256 (cabal/async-2.2.4/revision/2.cabal) = 2b9409023536823233ce3134558565d01b3382e651fa54ac8cb8a99967e023c9 SIZE (cabal/async-2.2.4/revision/2.cabal) = 3095 SHA256 (cabal/barbies-2.0.4.0/barbies-2.0.4.0.tar.gz) = e2a01762041ff15ab7a33d85d1fe15e95c0e4018ad8718dcc3d3a112fb640b6d SIZE (cabal/barbies-2.0.4.0/barbies-2.0.4.0.tar.gz) = 51770 SHA256 (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = a62adc883a5ac436f80e4ae02c3c56111cf1007492f267c291139a668d2150bd SIZE (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = 36393 SHA256 (cabal/base-orphans-0.8.7/base-orphans-0.8.7.tar.gz) = 888fd67f0dbe932778f5b170922ce80d0dcab1680ee98f1d6fcc362f20d9e447 SIZE (cabal/base-orphans-0.8.7/base-orphans-0.8.7.tar.gz) = 25083 SHA256 (cabal/basement-0.0.15/basement-0.0.15.tar.gz) = 56c2afb6754e8d16a627331a8a5d473b3d26fd04ba5c9e0fb3475f595b915db4 SIZE (cabal/basement-0.0.15/basement-0.0.15.tar.gz) = 135169 SHA256 (cabal/bifunctors-5.5.14/bifunctors-5.5.14.tar.gz) = 530116d0c47cde3b76c3b9b7d11f0599196739033f973317e876776334699264 SIZE (cabal/bifunctors-5.5.14/bifunctors-5.5.14.tar.gz) = 47657 SHA256 (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 2cdc998c021d3a5f2a66a95138b93386271c26a117e7676d78264a90e536af67 SIZE (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 60707 SHA256 (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = f0017df374c330de0ebe0eb15eae8c48427bddefa1d81a3cb31c0a4812ecdb08 SIZE (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = 3685 SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617 SHA256 (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 74b89ffa665891f528f571ce9e3c2dce24f698563f14b6f5e9e0512eccdf5dc2 SIZE (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 3062 SHA256 (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 43fc3f6872dc8d1be8d0fe091bd4775139b42179987f33d6490a7c5f1e07a349 SIZE (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 14519 SHA256 (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 8a47373003f472e851afbc3332bb9e0bf1b539a0dfad631bceb704332749c6c2 SIZE (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 2293 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/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631 SHA256 (cabal/concurrent-output-1.10.17/concurrent-output-1.10.17.tar.gz) = 0b509997639af0e3ab6645d81fadd45b7e7a51117de92da995c18f1d9bbcb589 SIZE (cabal/concurrent-output-1.10.17/concurrent-output-1.10.17.tar.gz) = 23649 SHA256 (cabal/constraints-0.13.4/constraints-0.13.4.tar.gz) = 4186946df4b88c5d7cae3a42aa426f30fd5d249835ea1d290e139cebbf464434 SIZE (cabal/constraints-0.13.4/constraints-0.13.4.tar.gz) = 21673 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-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 1bb6eca0b3e02d057fe7f4e14c81ef395216f421ab30fdaa1b18017c9c025600 SIZE (cabal/data-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 6784 SHA256 (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 2ef1bd3511e82ba56f7f23cd793dd2da84338a1e7c2cbea5b151417afe3baada SIZE (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 1989 SHA256 (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 3a172d3bc0639c327345e965f9d9023e099425814b28dcdb7b60ff66d66219cc SIZE (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 5842 SHA256 (cabal/data-fix-0.3.2/revision/3.cabal) = bdea17f6b17c1d327f53ae6806e1bc3ca7813b46742a93c6088c72837c8ae77c SIZE (cabal/data-fix-0.3.2/revision/3.cabal) = 1706 SHA256 (cabal/directory-1.3.7.1/directory-1.3.7.1.tar.gz) = dc2785d6548cec2e80700fab007d3e9467f65d3c58ab3efa21b34d9017cf0efd SIZE (cabal/directory-1.3.7.1/directory-1.3.7.1.tar.gz) = 83757 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.7.0.3/fgl-5.7.0.3.tar.gz) = 2969b813b9067eb80708b056434da576fcd134a0ec757dd8e4018d566e7e6512 SIZE (cabal/fgl-5.7.0.3/fgl-5.7.0.3.tar.gz) = 56415 SHA256 (cabal/fgl-5.7.0.3/revision/1.cabal) = 4787e28f252ee1bf99b9e3b18b5c2af9b1cdf7d77aae7916286e28412442ab34 SIZE (cabal/fgl-5.7.0.3/revision/1.cabal) = 3801 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.1.10/free-5.1.10.tar.gz) = 12dea4ff94dd475d4249e93abb385d9c0399c13e3cb3f4132d316e0b32700e72 SIZE (cabal/free-5.1.10/free-5.1.10.tar.gz) = 62439 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.2.0/hashable-1.4.2.0.tar.gz) = 1b4000ea82b81f69d46d0af4152c10c6303873510738e24cfc4767760d30e3f8 SIZE (cabal/hashable-1.4.2.0/hashable-1.4.2.0.tar.gz) = 25094 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.1.2/hedgehog-1.1.2.tar.gz) = e1c95456b3ddf815c4b863c8f8229e82548887d1835fdae4fc17433361397335 SIZE (cabal/hedgehog-1.1.2/hedgehog-1.1.2.tar.gz) = 70805 SHA256 (cabal/hsc2hs-0.68.9/hsc2hs-0.68.9.tar.gz) = c95b10ce0b2c881480e35118d738dcc9cefc435ec72baa0031af81d0d4d3bc0a SIZE (cabal/hsc2hs-0.68.9/hsc2hs-0.68.9.tar.gz) = 40442 SHA256 (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 516858ee7198b1fed1b93c665157f9855fd947379db7f115d48c1b0d670e698d SIZE (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 8685 SHA256 (cabal/indexed-traversable-0.1.2/revision/2.cabal) = 52a1b708abd921f91a5977f6ae53c4aa2b33f7c30be0fff17173f658b34c5350 SIZE (cabal/indexed-traversable-0.1.2/revision/2.cabal) = 2533 SHA256 (cabal/indexed-traversable-instances-0.1.1.1/indexed-traversable-instances-0.1.1.1.tar.gz) = 895ee5063d59e2b58930ca6fa54885bb11f19c8b7c7ba6c7b014f9431cdcc0b0 SIZE (cabal/indexed-traversable-instances-0.1.1.1/indexed-traversable-instances-0.1.1.1.tar.gz) = 3751 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/4.cabal) = 336fb40c3af19a59dbeb4e5b7bffe4b4c7fa04ab06006a8d4b70b1febc1bb4ca SIZE (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 3262 SHA256 (cabal/invariant-0.6/invariant-0.6.tar.gz) = b52b2a798c514e2f3bb37d9d629078f433745fa8a25756198c4d33751d7bce1d SIZE (cabal/invariant-0.6/invariant-0.6.tar.gz) = 27707 SHA256 (cabal/invariant-0.6/revision/1.cabal) = 67ecd31a36c3a9a686a8bee9dbee5a395a4c68b758262413c0355bae03a5a114 SIZE (cabal/invariant-0.6/revision/1.cabal) = 3563 SHA256 (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22 SIZE (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = 22205 SHA256 (cabal/lens-5.1.1/lens-5.1.1.tar.gz) = cc4e99fc5d989e98ab0df7577183fe9ad5d74c63a44dc2607abcc22daba8b322 SIZE (cabal/lens-5.1.1/lens-5.1.1.tar.gz) = 697888 SHA256 (cabal/lens-5.1.1/revision/1.cabal) = c633a481e69bf911d9a6ed11ef156809db8b1d7c7d296fd03249b93be399e3a7 SIZE (cabal/lens-5.1.1/revision/1.cabal) = 15015 SHA256 (cabal/lifted-async-0.10.2.3/lifted-async-0.10.2.3.tar.gz) = 51ed64e9f5c9c585dc5897288977fca759eb2bdb22aae91f2ac37d962e3309cf SIZE (cabal/lifted-async-0.10.2.3/lifted-async-0.10.2.3.tar.gz) = 10685 SHA256 (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = c134a95f56750aae806e38957bb03c59627cda16034af9e00a02b699474317c5 SIZE (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = 11700 SHA256 (cabal/megaparsec-9.2.2/megaparsec-9.2.2.tar.gz) = a48b03e55c0b9efcc88ce4236186fb6eee3acb64336987dd9c98daf4d96aa234 SIZE (cabal/megaparsec-9.2.2/megaparsec-9.2.2.tar.gz) = 61325 SHA256 (cabal/memory-0.17.0/memory-0.17.0.tar.gz) = 3327e7bde8bf2c4c8ee405c890a69412bcc192fceb2c10525f3cc563f78e837a SIZE (cabal/memory-0.17.0/memory-0.17.0.tar.gz) = 41895 SHA256 (cabal/memory-0.17.0/revision/1.cabal) = ebbd89ead51a2d80176ed2f842d4f7d8d7ac41843783aa429527fc69c471cbbf SIZE (cabal/memory-0.17.0/revision/1.cabal) = 4619 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/optparse-applicative-0.16.1.0/optparse-applicative-0.16.1.0.tar.gz) = 6205278362f333c52256b9dd3edf5f8fe0f84f00cb9ee000291089f6eaccd69a SIZE (cabal/optparse-applicative-0.16.1.0/optparse-applicative-0.16.1.0.tar.gz) = 58315 SHA256 (cabal/optparse-applicative-0.16.1.0/revision/2.cabal) = 418c22ed6a19124d457d96bc66bd22c93ac22fad0c7100fe4972bbb4ac989731 SIZE (cabal/optparse-applicative-0.16.1.0/revision/2.cabal) = 4982 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/5.cabal) = 6edd5a06938cea3d28b406d5231683f89737e854af144a8800aa69e1eee785e0 SIZE (cabal/parallel-3.2.2.0/revision/5.cabal) = 1821 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/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/primitive-0.7.4.0/primitive-0.7.4.0.tar.gz) = 5b2d6dc2812eb2f6a115f05fcbe3e723d3aeff7894b012c617e075130581add5 SIZE (cabal/primitive-0.7.4.0/primitive-0.7.4.0.tar.gz) = 56575 SHA256 (cabal/primitive-0.7.4.0/revision/1.cabal) = c2f0ed97b3dce97f2f43b239c3be8b136e4368f1eb7b61322ee9ac98f604622b SIZE (cabal/primitive-0.7.4.0/revision/1.cabal) = 2982 SHA256 (cabal/process-1.6.17.0/process-1.6.17.0.tar.gz) = 4c5c454e0f5c864c79b9fabd850307b26d8ac4037e45a6a39ab87e20b583bf06 SIZE (cabal/process-1.6.17.0/process-1.6.17.0.tar.gz) = 87688 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/2.cabal) = 3d3685119243a7ebf984fa6af03299d156ab7674a432e2e15ecee2a4fd420fb6 SIZE (cabal/profunctors-5.6.2/revision/2.cabal) = 2483 SHA256 (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 3e1272f7ed6a4d7bd1712b90143ec326fee9b225789222379fea20a9c90c9b76 SIZE (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 47109 SHA256 (cabal/recursion-schemes-5.2.2.3/recursion-schemes-5.2.2.3.tar.gz) = a9f20c6fecc0a304e27e362090fe344d7f31ddfd844002fd04751f8e8b1f4310 SIZE (cabal/recursion-schemes-5.2.2.3/recursion-schemes-5.2.2.3.tar.gz) = 40629 SHA256 (cabal/reflection-2.1.6/reflection-2.1.6.tar.gz) = bf3e14917ebb329a53701a3cce0afe670f20037a0148dbfa5cbfa574ed6ba6cd SIZE (cabal/reflection-2.1.6/reflection-2.1.6.tar.gz) = 19976 SHA256 (cabal/reflection-2.1.6/revision/1.cabal) = f41afef54a696377bb7591e12969a56e7a4a1cf1d2a32210ab24c6a7aa9bd7ae SIZE (cabal/reflection-2.1.6/revision/1.cabal) = 4116 SHA256 (cabal/resourcet-1.2.6/resourcet-1.2.6.tar.gz) = f83b35b2106854750ef5f1c34695ea8b7bba6e0572cedf9f2993c5acfdb5fd34 SIZE (cabal/resourcet-1.2.6/resourcet-1.2.6.tar.gz) = 17196 SHA256 (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = a3a121c4b3d68fb8b9f8c709ab012e48f090ed553609247a805ad070d6b343a9 SIZE (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = 24723 SHA256 (cabal/scientific-0.3.7.0/revision/3.cabal) = 517444c944dad9db8235d7b311d7b9a0839a519ee3178288b5a9606256e0c7d8 SIZE (cabal/scientific-0.3.7.0/revision/3.cabal) = 4840 SHA256 (cabal/selective-0.5/selective-0.5.tar.gz) = b0fda80309a83d8f9eed9b8798b3c8c6626600154948323a8d80ab8e2c2f8da3 SIZE (cabal/selective-0.5/selective-0.5.tar.gz) = 34055 SHA256 (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 6d45cdb6c58c75ca588859b80b2c92b6f48590a03e065c24ce5d767a6a963799 SIZE (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 35349 SHA256 (cabal/semigroupoids-5.3.7/revision/1.cabal) = ac093739682f0dc7a37698b423590dc0f1ca89fed908fbbc5a73a44beefa7d18 SIZE (cabal/semigroupoids-5.3.7/revision/1.cabal) = 7721 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.10.0.1/shelly-1.10.0.1.tar.gz) = 7d54fc75f016bf7b756dfa9a1c56dab8e3fff7271b05dbc131b23f58cdf3a35a SIZE (cabal/shelly-1.10.0.1/shelly-1.10.0.1.tar.gz) = 73222 SHA256 (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 6d065402394e7a9117093dbb4530a21342c9b1e2ec509516c8a8d0ffed98ecaa SIZE (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 22382 SHA256 (cabal/splitmix-0.1.0.4/revision/2.cabal) = db25c2e17967aa6b6046ab8b1b96ba3f344ca59a62b60fb6113d51ea305a3d8e SIZE (cabal/splitmix-0.1.0.4/revision/2.cabal) = 6537 SHA256 (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = dff6abc08ad637e51891bb8b475778c40926c51219eda60fd64f0d9680226241 SIZE (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = 12488 SHA256 (cabal/strict-0.4.0.1/revision/4.cabal) = d6205a748eb8db4cd17a7179be970c94598809709294ccfa43159c7f3cc4bf5d SIZE (cabal/strict-0.4.0.1/revision/4.cabal) = 4187 SHA256 (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = f5e0fcf95f0bb4aa63f428f2c01955a41ea1a42cfcf39145ed631f59a9616c02 SIZE (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = 9842 SHA256 (cabal/tagged-0.8.6.1/revision/3.cabal) = 8a24aef29b8e35447ccc56658ea07c2aded30bfa8130ea057e382936e17c74a6 SIZE (cabal/tagged-0.8.6.1/revision/3.cabal) = 2874 SHA256 (cabal/terminal-size-0.3.3/terminal-size-0.3.3.tar.gz) = 8c174c8fa7200be2caffd6d25f789fd3c73f4b7b02989f332a42d7901fca60c3 SIZE (cabal/terminal-size-0.3.3/terminal-size-0.3.3.tar.gz) = 4291 SHA256 (cabal/th-abstraction-0.4.5.0/th-abstraction-0.4.5.0.tar.gz) = 00d5e24f247e328bd9898d5af5915c1e86b134b4d40baa680258635f95031526 SIZE (cabal/th-abstraction-0.4.5.0/th-abstraction-0.4.5.0.tar.gz) = 39515 SHA256 (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = d798c9f56e17def441e8f51e54cc11afdb3e76c6a9d1e9ee154e9a78da0bf508 SIZE (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = 9804 SHA256 (cabal/these-1.1.1.1/revision/6.cabal) = 2991c13e264b0c35c696c8f5f85c428c53bc42e93b1dfbd19a582052112d948a SIZE (cabal/these-1.1.1.1/revision/6.cabal) = 2748 SHA256 (cabal/time-1.12.2/time-1.12.2.tar.gz) = dba0b047a230e823ce08007b4a6c2cd0a1e9e899c148b72019511c0b71ebaf1e SIZE (cabal/time-1.12.2/time-1.12.2.tar.gz) = 126325 SHA256 (cabal/tomland-1.3.3.2/tomland-1.3.3.2.tar.gz) = 95fbdb59d32adfafb4fad5475939badb407ea1e30324ab7d83c21e6bb6c45294 SIZE (cabal/tomland-1.3.3.2/tomland-1.3.3.2.tar.gz) = 90337 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/type-equality-1/type-equality-1.tar.gz) = 4728b502a211454ef682a10d7a3e817c22d06ba509df114bb267ef9d43a08ce8 SIZE (cabal/type-equality-1/type-equality-1.tar.gz) = 4525 SHA256 (cabal/type-equality-1/revision/4.cabal) = 7cd952c3ebf0da36ee05544e6209a850b22205fa8b749e17f4bacc5a8fe15269 SIZE (cabal/type-equality-1/revision/4.cabal) = 1611 SHA256 (cabal/unix-2.7.3/unix-2.7.3.tar.gz) = 4625c2916545678e20715c4a043e002a4511fc301b4791cc8e7b33c317c42f30 SIZE (cabal/unix-2.7.3/unix-2.7.3.tar.gz) = 141083 SHA256 (cabal/unix-compat-0.6/unix-compat-0.6.tar.gz) = b4cd823a6543ad3aca8e740ecf5f44aabde60f1452b5a55655db5c8b7a44d5f8 SIZE (cabal/unix-compat-0.6/unix-compat-0.6.tar.gz) = 15777 SHA256 (cabal/unix-compat-0.6/revision/1.cabal) = 0f5d0929d838077909d397c7c83b711b89db4ed3d4dafea46af19c04b389b53c SIZE (cabal/unix-compat-0.6/revision/1.cabal) = 3583 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/1.cabal) = 9fc3506770b16cdc73114307f854d56ddb96c7b930e7a5ed9b48cd0a8f33fca6 SIZE (cabal/unliftio-core-0.2.1.0/revision/1.cabal) = 1004 SHA256 (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 1b27bec5e0d522b27a6029ebf4c4a6d40acbc083c787008e32fb55c4b1d128d2 SIZE (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 58030 SHA256 (cabal/unordered-containers-0.2.19.1/revision/1.cabal) = db11042bb0356c0adea277d0794743829125b4c99455af6af2bd5f7bd5e88a39 SIZE (cabal/unordered-containers-0.2.19.1/revision/1.cabal) = 3797 SHA256 (cabal/validation-selective-0.1.0.2/validation-selective-0.1.0.2.tar.gz) = 016fde31529afad0cfe70ec3215fa85e38147582248696af6b135df950655bbf SIZE (cabal/validation-selective-0.1.0.2/validation-selective-0.1.0.2.tar.gz) = 22324 SHA256 (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = c5d3167d15e12f52e00879ddf304a591672a74e369cc47bc5c7fa1d5a8d15b4f SIZE (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = 154509 SHA256 (cabal/vector-0.13.0.0/revision/2.cabal) = a1e8aff02a45115dec8997c50fd4ea6a24742cbccaa0f1282fdbb4725f60a6a5 SIZE (cabal/vector-0.13.0.0/revision/2.cabal) = 9112 SHA256 (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = a888210f6467f155090653734be5cc920406a07227e0d3adb59096716fdb806c SIZE (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = 12377 SHA256 (cabal/vector-stream-0.1.0.0/revision/2.cabal) = f5d6d5291cd1b5f2f063403593f1f5c8127d692c888eedeb3e1eb40497a88dca SIZE (cabal/vector-stream-0.1.0.0/revision/2.cabal) = 1404 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/1.cabal) = e7c27191da90d1db047f74dc3d4ca73e5696dfe19e358b014752658da37e3fe2 SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/1.cabal) = 2296 SHA256 (cabal/ymherklotz-verismith-v1.0.0.2-39-g2523998_GH0.tar.gz) = 34c2c594ec5adf72dc86c25774024907b6f8245d2f7c3d37df6b7dcf2e67c47e SIZE (cabal/ymherklotz-verismith-v1.0.0.2-39-g2523998_GH0.tar.gz) = 128711 SHA256 (cabal/ea76f79b0b3366ab376b75ec8e7894ee5fccdc55.patch) = 1efcf8f14281300753aacaea2723e8b03c16f1977f29ca63abaf829fb376d641 SIZE (cabal/ea76f79b0b3366ab376b75ec8e7894ee5fccdc55.patch) = 843

Collapse this list.

Packages (timestamps in pop-ups are UTC):
hs-verismith
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest1.0.0.2.391.0.0.2.39------
FreeBSD:13:quarterly1.0.0.2.391.0.0.2.39------
FreeBSD:14:latest1.0.0.2.391.0.0.2.39------
FreeBSD:14:quarterly1.0.0.2.391.0.0.2.39------
FreeBSD:15:latest-1.0.0.2.39n/a-n/a---
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ghc-9.2.8 : lang/ghc92
  2. cabal : devel/hs-cabal-install
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:
cad_hs-verismith
USES:
cabal
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/ymherklotz/verismith/tar.gz/v1.0.0.2-39-g2523998?dummy=/
Collapse this list.

Number of commits found: 4

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.0.0.2.39
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
1.0.0.2.39
27 May 2023 08:44:42
commit hash: 1f44f7ad8560a05a4a4004bd552becad71b07e8ccommit hash: 1f44f7ad8560a05a4a4004bd552becad71b07e8ccommit hash: 1f44f7ad8560a05a4a4004bd552becad71b07e8ccommit hash: 1f44f7ad8560a05a4a4004bd552becad71b07e8c files touched by this commit		 Gleb Popov (arrowd) search for other commits by this committer 
cad/hs-verismith: Switch to GHC 9.2 for building.
1.0.0.2.39
19 Feb 2023 06:23:40
commit hash: e62529ccfbd36046e3b17b02fac0e6b7786d732ecommit hash: e62529ccfbd36046e3b17b02fac0e6b7786d732ecommit hash: e62529ccfbd36046e3b17b02fac0e6b7786d732ecommit hash: e62529ccfbd36046e3b17b02fac0e6b7786d732e files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
cad/hs-verismith: Add PORTSCOUT tag
1.0.0.2.39
17 Feb 2023 09:11:28
commit hash: f94ead8bc85efccf81985fffaf9f37ee3af13d46commit hash: f94ead8bc85efccf81985fffaf9f37ee3af13d46commit hash: f94ead8bc85efccf81985fffaf9f37ee3af13d46commit hash: f94ead8bc85efccf81985fffaf9f37ee3af13d46 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
cad/hs-verismith: New port: Verilog fuzzer

Number of commits found: 4
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
electron27Apr 18
electron28Apr 18
electron29Apr 18
filezillaApr 16
php81Apr 16
php82Apr 16
php83Apr 16
puttyApr 16
putty-nogtkApr 16
go121Apr 15
go122Apr 15
chromiumApr 12
ungoogled-chromiumApr 12
electron27Apr 11
electron28Apr 11

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

* - modified, not new

All vulnerabilities

Last processed:
2024-04-18 11:12:36 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 32206
Broken 87
Deprecated 179
Ignore 219
Forbidden 2
Restricted 2
No CDROM 1
Vulnerable 42
Expired 5
Set to expire 153
Interactive 0
new 24 hours 3
new 48 hours3
new 7 days10
new fortnight59
new month180
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2024 Dan Langille. All rights reserved.