coq-coqide-server-8.20.0-1.fc42 RPM for s390x

From Fedora Rawhide for s390x / c

Coq 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 the coqidetop language server, an implementation of
Coq's XML protocol which allows clients, such as CoqIDE, to interact with
Coq in a structured way.

Provides

• coq-coqide-server
• coq-coqide-server(s390-64)
• ocaml(Document)
• ocaml(Interface)
• ocaml(Richpp)
• ocaml(Serialize)
• ocaml(Xml_lexer)
• ocaml(Xml_parser)
• ocaml(Xml_printer)
• ocaml(Xmlprotocol)
• ocamlx(Document)
• ocamlx(Richpp)
• ocamlx(Serialize)
• ocamlx(Xml_lexer)
• ocamlx(Xml_parser)
• ocamlx(Xml_printer)
• ocamlx(Xmlprotocol)

Requires

• /usr/bin/ocamlrun
• coq-core(s390-64) = 8.20.0-1.fc42
• 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.6)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libc.so.6(GLIBC_2.9)(64bit)
• libgmp.so.10()(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)
• ocaml(CArray) = 20ac17dc016f839cb39615a047ff6b91
• ocaml(CList) = c46eef275e72d0d97ac097e6159cdf50
• ocaml(CMap) = 8d2506e7f7f0d60de33fdc52ad81e44b
• ocaml(CSet) = c13a40ef51d41a723343eea390a5975e
• ocaml(CSig) = 479346196fd79eb1c4d45d24d048a7f2
• ocaml(CString) = 46d2ad546ea954adcb36675b763d4c52
• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalOO) = e79775f1d870ceba2a88f0340a0810e8
• ocaml(Exninfo) = 7fe9503d1122956e200720c29a35a93f
• ocaml(Feedback) = fe0fd5a742f4cb0437336e5135dd2ef9
• ocaml(Hashcons) = c0f32ac191ef63cfd7b6277561b4c7e6
• ocaml(Hashset) = fdfee9d55cd6d12cfc4c4d99a20ccd26
• ocaml(Interface) = 0a3a2a3ec3de4aa13c80895b5686671f
• ocaml(Loc) = 4182b80fe772365dc58a5e141bf3c080
• ocaml(Option) = 17c4a65573d840de020bd9d09e3b0883
• ocaml(Pp) = cb19ac72d9188bf01d0db95fb01a4506
• ocaml(Predicate) = 7f40f26b4b4821ae99ca34e9081ca78a
• ocaml(Richpp) = 05ad0caaefda8b06688e67e138063137
• ocaml(Serialize) = a93258f8c37bc0daf361857c8f62797c
• ocaml(Stateid) = aa8ca127a02a2a32952144eeba8fe2bf
• ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7
• ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7
• ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
• ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
• ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705
• ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212
• ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
• ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7
• ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc
• ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• ocaml(Util) = 856b910a5158827691cfde876269bf7b
• ocaml(Xml_datatype) = 2f6ecdd8682d4492a1198fb547390452
• ocaml(Xml_lexer) = 02dd5f96a9f03895d2abe05c140b23bb
• ocaml(Xml_printer) = 846d8efa1b444029a1b6eb0f2829db93
• ocamlx(CArray) = 2c6e6d062bc70583f4ed69953ea02bb0
• ocamlx(CList) = 3abacf41509529dffd4885076cb71861
• ocamlx(CString) = 1932ffc3370cac8627ceabe3628e2c8c
• ocamlx(CamlinternalFormat) = a581c27b8f754b024b5ebfacc741de52
• ocamlx(CamlinternalOO) = a1decd383ea07c84d7e05fa94610665e
• ocamlx(Exninfo) = 2e7369a02491a057d9444e374f68e9cf
• ocamlx(Option) = 89f4c8521f0616d6d6b47fe73af35962
• ocamlx(Pp) = 1b5a9420a6da57fc5884c3c9adb7c69c
• ocamlx(Richpp) = 8286a705d10b58834c7c6343af5d14b0
• ocamlx(Serialize) = 3be37908ff9017ea5f7cf9514a292d81
• ocamlx(Stateid) = 2a170188338aefce6fd185c45c99fbd1
• ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91
• ocamlx(Stdlib__Array) = f5a4260d6a2f034f54a4d22bef27fac3
• ocamlx(Stdlib__Bigarray) = 9059774cb15d1c388a3e9864e8d83286
• ocamlx(Stdlib__Buffer) = cf179269f9cac82db54e8655e5f8ab56
• ocamlx(Stdlib__Bytes) = 1d46e6f68390bb69f548f7ee08cfbffc
• ocamlx(Stdlib__Domain) = e3f25cddd411d78b67fccbabb079dc18
• ocamlx(Stdlib__Format) = be4220f17f277e5ed748d6822ae5d44e
• ocamlx(Stdlib__Hashtbl) = abbd7117d1904185ebb326a0a59266bc
• ocamlx(Stdlib__Lexing) = 212d0b08799ffca7cb0cb27027c85618
• ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304
• ocamlx(Stdlib__Map) = 80acd5081b1181a97a29f2f949d124fd
• ocamlx(Stdlib__Printf) = 314f1a0670e93aa7d6c0c90aaa9e9f95
• ocamlx(Stdlib__Queue) = 2d47d68742be20f6f7b448e3e9cf0a45
• ocamlx(Stdlib__Random) = d0b3c2894719a9000f8f85982b4d2c87
• ocamlx(Stdlib__Stack) = e1a1826bc5ff5a1af476d1714f9f3c46
• ocamlx(Stdlib__String) = 1e1eff16545d12e1e82e65bdf5927499
• ocamlx(Util) = 4bea87f4a7bb3f9ae598c1ce2f8b2f19
• ocamlx(Xml_lexer) = 7c937902c771c9c09c2a25a075db78db
• ocamlx(Xml_printer) = 18d1bb3fca8e18156453ca972bbcac21
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

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

Changelog

* Thu Jan 09 2025 Jerry James <[email protected]> - 8.20.0-1
  - OCaml 5.3.0 rebuild for Fedora 42
  - Version 8.20.0
* Wed Jul 17 2024 Fedora Release Engineering <[email protected]> - 8.18.0-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <[email protected]> - 8.18.0-9
  - Rebuild for ocaml-zarith 1.14
* Thu Jul 11 2024 Jerry James <[email protected]> - 8.18.0-8
  - Rebuild for antlr4 4.13.1
* Wed Jun 19 2024 Richard W.M. Jones <[email protected]> - 8.18.0-7
  - Bump release and rebuild
* Wed Jun 19 2024 Richard W.M. Jones <[email protected]> - 8.18.0-6
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <[email protected]> - 8.18.0-5
  - OCaml 5.2.0 for Fedora 41
* Fri Feb 02 2024 Jerry James <[email protected]> - 8.18.0-4
  - Rebuild for ocaml-lablgtk3 3.1.4
* Wed Jan 24 2024 Fedora Release Engineering <[email protected]> - 8.18.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <[email protected]> - 8.18.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <[email protected]> - 8.18.0-1
  - Version 8.18.0
* Mon Dec 18 2023 Richard W.M. Jones <[email protected]> - 8.17.1-8
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <[email protected]> - 8.17.1-7
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <[email protected]> - 8.17.1-6
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <[email protected]> - 8.17.1-5
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <[email protected]> - 8.17.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <[email protected]> - 8.17.1-3
  - Validate appdata with appstream-util
* Wed Jul 12 2023 Richard W.M. Jones <[email protected]> - 8.17.1-3
  - OCaml 5.0 rebuild for Fedora 39
  - Only build coq and friends on architectures with the native compiler.
* Mon Jul 10 2023 Jerry James <[email protected]> - 8.17.1-1
  - Version 8.17.1
  - Build in release mode
  - Disable the native compiler, which is incompatible with OCaml 5.0
* Sat Apr 01 2023 Jerry James <[email protected]> - 8.17.0-1
  - Version 8.17.0
  - Drop upstreamed patch for Sphinx 5 support
* Tue Jan 24 2023 Richard W.M. Jones <[email protected]> - 8.16.1-3
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <[email protected]> - 8.16.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Files

/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/61/06ccc10d9cbca71a09e36b8ca0f74e0c64d14a
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/84a74b5f3ce26e5201684974b15c952b2d9c1f
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/d4cbcdd1f92fac73c3d9ce6dc7e91eef7703be
/usr/lib64/ocaml/coqide-server
/usr/lib64/ocaml/coqide-server/META
/usr/lib64/ocaml/coqide-server/core
/usr/lib64/ocaml/coqide-server/core/core.a
/usr/lib64/ocaml/coqide-server/core/core.cma
/usr/lib64/ocaml/coqide-server/core/core.cmxa
/usr/lib64/ocaml/coqide-server/core/core.cmxs
/usr/lib64/ocaml/coqide-server/core/document.cmi
/usr/lib64/ocaml/coqide-server/core/document.cmt
/usr/lib64/ocaml/coqide-server/core/document.cmti
/usr/lib64/ocaml/coqide-server/core/document.cmx
/usr/lib64/ocaml/coqide-server/core/document.mli
/usr/lib64/ocaml/coqide-server/dune-package
/usr/lib64/ocaml/coqide-server/opam
/usr/lib64/ocaml/coqide-server/protocol
/usr/lib64/ocaml/coqide-server/protocol/interface.cmi
/usr/lib64/ocaml/coqide-server/protocol/interface.cmti
/usr/lib64/ocaml/coqide-server/protocol/interface.mli
/usr/lib64/ocaml/coqide-server/protocol/protocol.a
/usr/lib64/ocaml/coqide-server/protocol/protocol.cma
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxa
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmi
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmt
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmti
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmx
/usr/lib64/ocaml/coqide-server/protocol/richpp.mli
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmi
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmt
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmti
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmx
/usr/lib64/ocaml/coqide-server/protocol/serialize.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.mli
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmi
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmt
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmti
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmx
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Jan 20 04:35:01 2025