coq-ide-8.20.1-1.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.

Provides

• coq-ide
• application()
• application(coq.desktop)
• coq-ide(x86-64)

Requires

• coq = 8.20.1
• coq-ide-server = 8.20.1
• ld-linux-x86-64.so.2()(64bit)
• ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.10)(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.15)(64bit)
• libc.so.6(GLIBC_2.16)(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.6)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libc.so.6(GLIBC_2.9)(64bit)
• libcairo.so.2()(64bit)
• libfontconfig.so.1()(64bit)
• libfreetype.so.6()(64bit)
• libgdk-3.so.0()(64bit)
• libgdk_pixbuf-2.0.so.0()(64bit)
• libglib-2.0.so.0()(64bit)
• libgmp.so.10()(64bit)
• libgobject-2.0.so.0()(64bit)
• libgtk-3.so.0()(64bit)
• libgtksourceview-3.0.so.1()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libpango-1.0.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

License

LGPL-2.1-only AND MIT AND BSD-3-Clause

Changelog

* Sun Jun 22 2025 daviddavid <daviddavid> 8.20.1-1.mga10
  + Revision: 2193932
  - new version: 8.20.1

Files

/etc/xdg/coq
/usr/bin/coqide
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/5e/468fb307e6f6268b19522aafa703e6a8bbd750
/usr/lib/.build-id/78/379251a661003405455d46c5bcf6706f002ec4
/usr/lib64/ocaml/coq-stdlib
/usr/lib64/ocaml/coq-stdlib/META
/usr/lib64/ocaml/coq-stdlib/dune-package
/usr/lib64/ocaml/coq-stdlib/opam
/usr/lib64/ocaml/coqide
/usr/lib64/ocaml/coqide/META
/usr/lib64/ocaml/coqide/dune-package
/usr/lib64/ocaml/coqide/opam
/usr/share/applications/coq.desktop
/usr/share/doc/coq-ide
/usr/share/doc/coq-ide/FAQ
/usr/share/gtksourceview-3.0/language-specs/coq-ssreflect.lang
/usr/share/gtksourceview-3.0/language-specs/coq.lang
/usr/share/gtksourceview-3.0/styles/coq_style.xml
/usr/share/icons/hicolor/16x16/apps/coq.png
/usr/share/icons/hicolor/256x256/apps/coq.png
/usr/share/icons/hicolor/32x32/apps/coq.png
/usr/share/icons/hicolor/48x48/apps/coq.png

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 8 07:56:54 2025