coq-ide-8.16.1-1.mga9 RPM for i586

From Mageia Cauldron for i586 / 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-32)

Requires

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

* Sat Jan 07 2023 papoteur <papoteur> 8.16.1-1.mga9
  + Revision: 1931087
  - Add ide-server
  - fix file list
  - new 8.16.1
  - new 8.16.0
  + neoclust <neoclust>
  - Rebuild against new ocaml
  + tv <tv>
  - Updates BRs
  - Fix install
  + pterjan <pterjan>
  - Rebuild for new ocaml-lablgtk3
* Fri May 20 2022 pterjan <pterjan> 8.13.2-3.mga9
  + Revision: 1859409
  - Rebuild for OCaml 4.14
* Fri Oct 15 2021 tv <tv> 8.13.2-2.mga9
  + Revision: 1751562
  - Rebuild for ocaml 4.13.1
* Sun Sep 05 2021 wally <wally> 8.13.2-1.mga9
  + Revision: 1744351
  - new version 8.13.2
  - drop ancient tutorial docs
* Fri Mar 26 2021 tv <tv> 8.13.1-3.mga9
  + Revision: 1710447
  - Disable doc (broken)
  - rebuild for ocaml-4.2-12
  + neoclust <neoclust>
  - Rebuild against new ocaml stack
* Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8
  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8
  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv <tv>
  - remove one BR workaround which is now fixed

Files

/etc/xdg/coq
/usr/bin/coqide
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/76/c4677bdc51e64ac556be5dc51a9822f99bcab2
/usr/lib/.build-id/e1/28f9ef5044f887a8e51fd55e7a94da9353a0fd
/usr/lib/ocaml/coqide
/usr/lib/ocaml/coqide/META
/usr/lib/ocaml/coqide/dune-package
/usr/lib/ocaml/coqide/opam
/usr/share/applications/coq.desktop
/usr/share/doc/coq/coqide/FAQ
/usr/share/doc/coq/coqide/LICENSE
/usr/share/doc/coq/coqide/README.md
/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 Apr 9 10:16:32 2024