path: root/src/Verilog/dune

(library
 (name Verilog)
 (public_name coqup.verilog)
 (libraries coqup.extraction))