Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
cadical-devel
cadical-devel(x86-64)

Requires :

cadical-libs(x86-64) = 1:2.0.0-4.fc42
libcadical.so.0()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

Content of RPM :
/usr/include/cadical
/usr/include/cadical.hpp
/usr/include/cadical/arena.hpp
/usr/include/cadical/averages.hpp
/usr/include/cadical/bins.hpp
/usr/include/cadical/block.hpp
/usr/include/cadical/cadical.hpp
/usr/include/cadical/ccadical.h
/usr/include/cadical/checker.hpp
/usr/include/cadical/clause.hpp
/usr/include/cadical/config.hpp
/usr/include/cadical/contract.hpp
/usr/include/cadical/cover.hpp
/usr/include/cadical/decompose.hpp
/usr/include/cadical/drattracer.hpp
/usr/include/cadical/elim.hpp
/usr/include/cadical/ema.hpp
/usr/include/cadical/external.hpp
/usr/include/cadical/file.hpp
/usr/include/cadical/flags.hpp
/usr/include/cadical/format.hpp
/usr/include/cadical/frattracer.hpp
/usr/include/cadical/heap.hpp
/usr/include/cadical/idruptracer.hpp
/usr/include/cadical/instantiate.hpp
/usr/include/cadical/internal.hpp
/usr/include/cadical/inttypes.hpp
/usr/include/cadical/ipasir.h
/usr/include/cadical/level.hpp
/usr/include/cadical/lidruptracer.hpp
There is 32 files more in these RPM.