aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2023-02-17 08:59:25 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2023-02-17 09:11:28 +0000
commitf94ead8bc85efccf81985fffaf9f37ee3af13d46 (patch)
tree621bf800e9b0d77fe5638e0d77af9d7bc60f8e08
parent6cd0065548ed59d65792609748648333f244ea7e (diff)
downloadports-f94ead8bc85efccf81985fffaf9f37ee3af13d46.tar.gz
ports-f94ead8bc85efccf81985fffaf9f37ee3af13d46.zip
cad/hs-verismith: New port: Verilog fuzzer
-rw-r--r--cad/Makefile1
-rw-r--r--cad/hs-verismith/Makefile112
-rw-r--r--cad/hs-verismith/distinfo255
-rw-r--r--cad/hs-verismith/pkg-descr2
4 files changed, 370 insertions, 0 deletions
diff --git a/cad/Makefile b/cad/Makefile
index 7d15ad17a9ab..e70db95d7378 100644
--- a/cad/Makefile
+++ b/cad/Makefile
@@ -48,6 +48,7 @@
SUBDIR += gspiceui
SUBDIR += gtkwave
SUBDIR += horizon-eda
+ SUBDIR += hs-verismith
SUBDIR += ifcopenshell
SUBDIR += impact
SUBDIR += irsim
diff --git a/cad/hs-verismith/Makefile b/cad/hs-verismith/Makefile
new file mode 100644
index 000000000000..5c635932a3e1
--- /dev/null
+++ b/cad/hs-verismith/Makefile
@@ -0,0 +1,112 @@
+PORTNAME= verismith
+DISTVERSIONPREFIX= v
+DISTVERSION= 1.0.0.2-39
+DISTVERSIONSUFFIX= -g2523998
+CATEGORIES= cad haskell
+
+PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/
+PATCHFILES= ea76f79b0b3366ab376b75ec8e7894ee5fccdc55.patch:-p1 # https://github.com/ymherklotz/verismith/pull/86
+
+MAINTAINER= yuri@FreeBSD.org
+COMMENT= Verilog fuzzer
+WWW= https://github.com/ymherklotz/verismith
+
+LICENSE= GPLv3
+LICENSE_FILE= ${WRKSRC}/LICENSE
+
+USES= cabal
+
+USE_CABAL= OneTuple-0.3.1_3 \
+ StateVar-1.2.2 \
+ adjunctions-4.4.2 \
+ alex-3.2.7.1 \
+ ansi-terminal-0.11.4 \
+ ansi-wl-pprint-0.6.9_3 \
+ assoc-1.0.2_3 \
+ async-2.2.4_2 \
+ barbies-2.0.4.0 \
+ base-compat-0.12.2 \
+ base-orphans-0.8.7 \
+ basement-0.0.15 \
+ bifunctors-5.5.14 \
+ blaze-builder-0.4.2.2_1 \
+ blaze-html-0.9.1.2_2 \
+ blaze-markup-0.8.2.8_3 \
+ call-stack-0.4.0 \
+ case-insensitive-1.2.1.0 \
+ colour-2.3.6 \
+ comonad-5.0.8_1 \
+ concurrent-output-1.10.17 \
+ constraints-0.13.4 \
+ contravariant-1.5.5 \
+ cryptonite-0.30 \
+ data-array-byte-0.1.0.1_1 \
+ data-fix-0.3.2_3 \
+ directory-1.3.7.1 \
+ distributive-0.6.2.1_1 \
+ dotgen-0.4.3 \
+ enclosed-exceptions-1.0.3 \
+ erf-2.0.0.0 \
+ fgl-5.7.0.3_1 \
+ fgl-visualize-0.1.0.1 \
+ free-5.1.10 \
+ gitrev-1.3.1 \
+ happy-1.20.1.1 \
+ hashable-1.4.2.0 \
+ haskell-lexer-1.1.1 \
+ hedgehog-1.1.2 \
+ hsc2hs-0.68.9 \
+ indexed-traversable-0.1.2_2 \
+ indexed-traversable-instances-0.1.1.1 \
+ integer-logarithms-1.0.3.1_4 \
+ invariant-0.6_1 \
+ kan-extensions-5.2.5 \
+ lens-5.1.1_1 \
+ lifted-async-0.10.2.3 \
+ lifted-base-0.2.3.12 \
+ megaparsec-9.2.2 \
+ memory-0.17.0_1 \
+ mmorph-1.2.0_3 \
+ monad-control-1.0.3.1 \
+ optparse-applicative-0.16.1.0_2 \
+ parallel-3.2.2.0_5 \
+ parser-combinators-1.3.0 \
+ pretty-show-1.10 \
+ prettyprinter-1.7.1 \
+ primitive-0.7.4.0_1 \
+ process-1.6.17.0 \
+ profunctors-5.6.2_2 \
+ random-1.2.1.1 \
+ recursion-schemes-5.2.2.3 \
+ reflection-2.1.6_1 \
+ resourcet-1.2.6 \
+ scientific-0.3.7.0_3 \
+ selective-0.5 \
+ semigroupoids-5.3.7_1 \
+ semigroups-0.20 \
+ shelly-1.10.0.1 \
+ splitmix-0.1.0.4_2 \
+ strict-0.4.0.1_4 \
+ tagged-0.8.6.1_3 \
+ terminal-size-0.3.3 \
+ th-abstraction-0.4.5.0 \
+ these-1.1.1.1_6 \
+ time-1.12.2 \
+ tomland-1.3.3.2 \
+ transformers-base-0.4.6 \
+ transformers-compat-0.7.2 \
+ type-equality-1_4 \
+ unix-2.7.3 \
+ unix-compat-0.6_1 \
+ unliftio-core-0.2.1.0_1 \
+ unordered-containers-0.2.19.1_1 \
+ validation-selective-0.1.0.2 \
+ vector-0.13.0.0_2 \
+ vector-stream-0.1.0.0_2 \
+ void-0.7.3 \
+ wl-pprint-annotated-0.1.0.1_1
+
+USE_GITHUB= yes
+GH_ACCOUNT= ymherklotz
+
+.include <bsd.port.mk>
diff --git a/cad/hs-verismith/distinfo b/cad/hs-verismith/distinfo
new file mode 100644
index 000000000000..a75df36f8f44
--- /dev/null
+++ b/cad/hs-verismith/distinfo
@@ -0,0 +1,255 @@
+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
+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
diff --git a/cad/hs-verismith/pkg-descr b/cad/hs-verismith/pkg-descr
new file mode 100644
index 000000000000..98e4451906a1
--- /dev/null
+++ b/cad/hs-verismith/pkg-descr
@@ -0,0 +1,2 @@
+verismith is a Verilog fuzzer to test the major simulators and sythesisers by
+generating random, valid Verilog.