cad/hs-verismith 1.1.0_2 MidnightBSD

Verilog fuzzer

System: MidnightBSD
Repository: mports
Maintainer: [email protected]
Last update: 2026-10-02
Commit: cdc7fc3402
License: gpl3
Categories: cad, haskell

Description

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

In the other systems

The newest version among them is 1.1.0, as upstream numbers it.

System

Port

Version

Vulnerabilities

Status

Maintainer

Last update

MidnightBSD

cad/hs-verismith

1.1.0_2 newest

no data

[email protected]

2026-10-02

FreeBSD

cad/hs-verismith

1.1.0_2 newest

none known

[email protected]

2026-10-10

DragonFly

cad/hs-verismith

1.0.0.2.40

none known

[email protected]

HardenedBSD

cad/hs-verismith

1.1.0_2 newest

no data

[email protected]

GhostBSD

cad/hs-verismith

1.1.0_2 newest

no data

[email protected]

Install

Binary package:

mport install verismith

From mports:

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

To depend on this port in another port's Makefile:

RUN_DEPENDS=	verismith>0:cad/hs-verismith

Dependencies

No port depends on this one.

Configuration

No options to configure.

USES: cabal
Service scripts: none

Files

distinfo 118

File

Size

SHA256

cabal/verismith-1.1.0/verismith-1.1.0.tar.gz

191602

73fb19967d6819eeda67c1c979766df2ab93b86384898e446d53bfe655c76fc9

cabal/OneTuple-0.4.3/OneTuple-0.4.3.tar.gz

5299

643d1f48e63480ac6d03a8f0ab5976d66527c9b42b1fca81d1bf373d10099c6b

cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz

5048

5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825

cabal/adjunctions-4.4.4/adjunctions-4.4.4.tar.gz

16778

21408d9bd3c74331b557ce86281e592f56466e19d2a7e3f37e4065203a663145

cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz

94432

df481dc960e2c59a30395f7335031fd4ef8773b8a42894a4f2320e00ff474418

cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz

33344

9cf083cef2e2ba88a425f132c8a82bfa931eb4b0c38232b2017f8fcea2e23073

cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz

8791

9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689

cabal/assoc-1.1.1/assoc-1.1.1.tar.gz

3158

231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6

cabal/assoc-1.1.1/revision/2.cabal

1437

766b1040eda5255bfcf10e1a9859c06d0ed6ad0e2ac87ed915bb035574d10ae4

cabal/async-2.2.6/async-2.2.6.tar.gz

18996

148571bc188003101241da6c49131d07324e63a88ed283a84def2e9694599619

cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz

41687

73972093f6a5f8e8daaeb5f1058abbd0944d3fcb9f073f2ad3cdb94095d4d2b7

cabal/base-compat-0.15.0/base-compat-0.15.0.tar.gz

32422

59aa49d7779a20a808924690583653c2bdfb0e54b5162df80df5a81632824531

cabal/base-orphans-0.9.4/base-orphans-0.9.4.tar.gz

19999

08cc283a31350f7bd28b2a5d31af693ee337f2593d3e7222999b72dd4954c72b

cabal/basement-0.0.16/basement-0.0.16.tar.gz

134837

7fb77e249aef76ba5aed3059d556800ce02b614597c488ba01f0a16449146300

cabal/bifunctors-5.6.3/bifunctors-5.6.3.tar.gz

38216

ad7a357f022f4c780c505040d73f1c06a4fd697b4a0bab6123bbd73b55d8115c

cabal/bifunctors-5.6.3/revision/1.cabal

3271

58f1d66db71ed9dd70648eaca1a0986b29354b3a69b5bfd729ce1a896766466e

cabal/blaze-builder-0.4.4.1/blaze-builder-0.4.4.1.tar.gz

59452

971d360428ac97af9a4e55e4f2c23649f6cedc0ce5d6e94d520e663f33ea5113

cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz

81915

65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f

cabal/blaze-html-0.9.2.0/revision/1.cabal

3087

85c42f84f4ead2c48844fbe0865069add3bb3bb3322d38607e93d5515a4c9c58

cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz

14647

8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8

Commit history 1

Date Commit Credits Log message

2026-10-02

cdc7fc3402

Lucas Holt

cad/hs-verismith: unbreak with GHC 9.12 (#1668)

cad/hs-verismith 1.1.0 could not build: its GHC dependency was disabled (`xBUILD_DEPENDS` on a non-existent lang/ghc96). **Requires #1665** (synced cabal.mk, `Makefile.cabal`). GHC 9.12.4 from #1662. FreeBSD builds verismith with a separate lang/ghc910 because verismith's bounds exclude GHC 9.12's boot libraries. Instead of adding a second GHC port: - Fetch from Hackage and take FreeBSD's `USE_CABAL` set (`Makefile.cabal`), **minus the GHC boot libraries it vendors** (binary, bytestring, directory, file-io, filepath, os-string, parsec, process, text, unix). Built as local packages they get the same `-inplace` unit ids as GHC 9.12.4's copies; Template Haskell then loads GHC's `libHSdirectory` .so while gitrev was compiled against the local copy → …