Content of RPM libzimpl-devel-3.6.2-1.fc41.x86_64.rpm :
/usr/include/zimpl
/usr/include/zimpl/attribute.h
/usr/include/zimpl/blkmem.h
/usr/include/zimpl/bound.h
/usr/include/zimpl/code.h
/usr/include/zimpl/conname.h
/usr/include/zimpl/define.h
/usr/include/zimpl/elem.h
/usr/include/zimpl/entry.h
/usr/include/zimpl/gmpmisc.h
/usr/include/zimpl/hash.h
/usr/include/zimpl/heap.h
/usr/include/zimpl/idxset.h
/usr/include/zimpl/inst.h
/usr/include/zimpl/lint.h
/usr/include/zimpl/list.h
/usr/include/zimpl/local.h
/usr/include/zimpl/metaio.h
/usr/include/zimpl/mme.h
/usr/include/zimpl/mmlparse2.h
/usr/include/zimpl/mono.h
/usr/include/zimpl/mshell.h
/usr/include/zimpl/numb.h
/usr/include/zimpl/prog.h
/usr/include/zimpl/random.h
/usr/include/zimpl/ratlp.h
/usr/include/zimpl/ratlpstore.h
/usr/include/zimpl/ratlptypes.h
/usr/include/zimpl/rdefpar.h
/usr/include/zimpl/set.h
/usr/include/zimpl/set4.h
/usr/include/zimpl/stkchk.h
/usr/include/zimpl/stmt.h
/usr/include/zimpl/strstore.h
/usr/include/zimpl/symbol.h
/usr/include/zimpl/term.h
/usr/include/zimpl/tuple.h
/usr/include/zimpl/xlpglue.h
/usr/include/zimpl/zimpllib.h
/usr/include/zimpl/zlpglue.h
/usr/lib64/cmake/zimpl
/usr/lib64/cmake/zimpl/zimpl-config-version.cmake
/usr/lib64/cmake/zimpl/zimpl-config.cmake
/usr/lib64/cmake/zimpl/zimpl-targets-release.cmake
/usr/lib64/cmake/zimpl/zimpl-targets.cmake
/usr/lib64/libzimpl.so