OpenSuSE Leap 15.5 for s390x : / usr /lib64 /coq /plugins /nsatz

• g_nsatz.cmx
• ideal.cmi
• ideal.cmx
• nsatz.cmi
• nsatz.cmx
• nsatz_plugin.cmi
• nsatz_plugin.cmx
• nsatz_plugin.cmxs
• nsatz_plugin.o
• polynom.cmi
• polynom.cmx
• utile.cmi
• utile.cmx

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:42:55 2025