Mageia 8 for armv7hl : / usr /lib /coq

• clib
• config
• coqpp
• dev
• doc
• engine
• gramlib
• ide
• interp
• kernel
• lib
• library
• parsing
• plugins
• pretyping
• printing
• proofs
• revision
• stm
• tactics
• theories
• tools
• topbin
• toplevel
• user-contrib
• vernac

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 12:12:17 2025