Content of RPM adevs-devel-2.8.1-6.fc24.x86_64.rpm :
/usr/include/adevs
/usr/include/adevs/adevs.h
/usr/include/adevs/adevs_abstract_simulator.h
/usr/include/adevs/adevs_bag.h
/usr/include/adevs/adevs_cellspace.h
/usr/include/adevs/adevs_corrected_euler.h
/usr/include/adevs/adevs_digraph.h
/usr/include/adevs/adevs_event_listener.h
/usr/include/adevs/adevs_event_locators.h
/usr/include/adevs/adevs_exception.h
/usr/include/adevs/adevs_hybrid.h
/usr/include/adevs/adevs_lp.h
/usr/include/adevs/adevs_lp_graph.h
/usr/include/adevs/adevs_lp_no_omp.h
/usr/include/adevs/adevs_lp_omp.h
/usr/include/adevs/adevs_message_q.h
/usr/include/adevs/adevs_modelica_runtime.h
/usr/include/adevs/adevs_models.h
/usr/include/adevs/adevs_msg_manager.h
/usr/include/adevs/adevs_par_simulator.h
/usr/include/adevs/adevs_poly.h
/usr/include/adevs/adevs_public_modelica_runtime.h
/usr/include/adevs/adevs_rand.h
/usr/include/adevs/adevs_rk_45.h
/usr/include/adevs/adevs_sched.h
/usr/include/adevs/adevs_set.h
/usr/include/adevs/adevs_simpledigraph.h
/usr/include/adevs/adevs_simulator.h
/usr/include/adevs/adevs_time.h
/usr/include/adevs/adevs_wrapper.h
/usr/include/adevs/object_pool.h
/usr/lib64/libadevs.so