Content of RPM verilator-devel-5.022-3.el9.x86_64.rpm :
/usr/lib64/pkgconfig/verilator.pc
/usr/share/licenses/verilator-devel
/usr/share/licenses/verilator-devel/Artistic
/usr/share/licenses/verilator-devel/LICENSE
/usr/share/verilator/include
/usr/share/verilator/include/gtkwave
/usr/share/verilator/include/gtkwave/fastlz.c
/usr/share/verilator/include/gtkwave/fastlz.h
/usr/share/verilator/include/gtkwave/fst_config.h
/usr/share/verilator/include/gtkwave/fst_win_unistd.h
/usr/share/verilator/include/gtkwave/fstapi.c
/usr/share/verilator/include/gtkwave/fstapi.h
/usr/share/verilator/include/gtkwave/lz4.c
/usr/share/verilator/include/gtkwave/lz4.h
/usr/share/verilator/include/gtkwave/wavealloca.h
/usr/share/verilator/include/verilated.cpp
/usr/share/verilator/include/verilated.h
/usr/share/verilator/include/verilated.mk
/usr/share/verilator/include/verilated.v
/usr/share/verilator/include/verilated_config.h
/usr/share/verilator/include/verilated_config.h.in
/usr/share/verilator/include/verilated_cov.cpp
/usr/share/verilator/include/verilated_cov.h
/usr/share/verilator/include/verilated_cov_key.h
/usr/share/verilator/include/verilated_dpi.cpp
/usr/share/verilator/include/verilated_dpi.h
/usr/share/verilator/include/verilated_fst_c.cpp
/usr/share/verilator/include/verilated_fst_c.h
/usr/share/verilator/include/verilated_fst_sc.cpp
/usr/share/verilator/include/verilated_fst_sc.h
/usr/share/verilator/include/verilated_funcs.h
/usr/share/verilator/include/verilated_imp.h
/usr/share/verilator/include/verilated_intrinsics.h
/usr/share/verilator/include/verilated_probdist.cpp
/usr/share/verilator/include/verilated_profiler.cpp
/usr/share/verilator/include/verilated_profiler.h
/usr/share/verilator/include/verilated_save.cpp
/usr/share/verilator/include/verilated_save.h
/usr/share/verilator/include/verilated_sc.h
/usr/share/verilator/include/verilated_sc_trace.h
/usr/share/verilator/include/verilated_std.sv
/usr/share/verilator/include/verilated_sym_props.h
/usr/share/verilator/include/verilated_syms.h
/usr/share/verilator/include/verilated_threads.cpp
/usr/share/verilator/include/verilated_threads.h
/usr/share/verilator/include/verilated_timing.cpp
/usr/share/verilator/include/verilated_timing.h
/usr/share/verilator/include/verilated_trace.h
/usr/share/verilator/include/verilated_trace_imp.h
/usr/share/verilator/include/verilated_types.h
/usr/share/verilator/include/verilated_vcd_c.cpp
/usr/share/verilator/include/verilated_vcd_c.h
/usr/share/verilator/include/verilated_vcd_sc.cpp
/usr/share/verilator/include/verilated_vcd_sc.h
/usr/share/verilator/include/verilated_vpi.cpp
/usr/share/verilator/include/verilated_vpi.h
/usr/share/verilator/include/verilatedos.h
/usr/share/verilator/include/vltstd
/usr/share/verilator/include/vltstd/sv_vpi_user.h
/usr/share/verilator/include/vltstd/svdpi.h
/usr/share/verilator/include/vltstd/vpi_user.h
/usr/share/verilator/verilator-config-version.cmake
/usr/share/verilator/verilator-config.cmake