EPEL 8 for s390x : / usr /share /TeXmacs /plugins /coq

• CMakeFiles
• Makefile
• bin
• cmake_install.cmake
• packages
• progs
• src
• tm_coq
• tm_coq_autogen

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Nov 10 05:48:28 2024