rocq-rocqide-9.1.1-1.fc44 RPM for s390x

From Fedora 44 for s390x / r

Rocq is a formal proof management system.  It provides a formal language to
write mathematical definitions, executable algorithms and theorems together
with an environment for semi-interactive development of machine-checked proofs.

This package provides RocqIDE, a graphical user interface for the
development of interactive proofs.

Provides

• rocq-rocqide
• application()
• application(org.rocq-prover.rocqide.desktop)
• bundled(ocaml-xml-light)
• coq-coqide
• metainfo()
• metainfo(org.rocq-prover.rocqide.metainfo.xml)
• rocq-rocqide(s390-64)

Requires

• adwaita-icon-theme
• hicolor-icon-theme
• ld64.so.1()(64bit)
• ld64.so.1(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.15)(64bit)
• libc.so.6(GLIBC_2.16)(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2)(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.42)(64bit)
• libc.so.6(GLIBC_2.6)(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)
• 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)(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)
• rocq-coqide-server(s390-64) = 9.1.1-1.fc44
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PartialHardlinkSets) <= 4.0.4-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)
• xdg-utils

License

LGPL-2.1-only AND LGPL-2.1-or-later

Changelog

* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 9.1.1-1
  - Initial RPM

Files

/etc/xdg/rocq
/usr/bin/rocqide
/usr/lib/.build-id
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/b9d9ac7efe09e27d9635f261bb9d8aa0af18da
/usr/lib64/ocaml/rocqide
/usr/lib64/ocaml/rocqide/META
/usr/lib64/ocaml/rocqide/dune-package
/usr/lib64/ocaml/rocqide/opam
/usr/share/applications/org.rocq-prover.rocqide.desktop
/usr/share/coq
/usr/share/coq/coq-ssreflect.lang
/usr/share/coq/coq.lang
/usr/share/coq/coq.png
/usr/share/coq/coq_style.xml
/usr/share/coq/default.bindings
/usr/share/doc/rocq-rocqide
/usr/share/doc/rocq-rocqide/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/256x256/apps/rocq.png
/usr/share/icons/hicolor/256x256/mimetypes/rocqfile.png
/usr/share/man/man1/rocqide.1.gz
/usr/share/metainfo/org.rocq-prover.rocqide.metainfo.xml
/usr/share/mime/packages/rocq.xml

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jul 25 11:27:19 2026