Name: coq-coqide-server	Distribution: Fedora Project
Version: 8.18.0	Vendor: Fedora Project
Release: 7.fc41	Build date: Wed Jun 19 19:45:39 2024
Group: Unspecified	Build host: buildvm-ppc64le-26.iad2.fedoraproject.org
Size: 97939535	Source RPM: coq-8.18.0-7.fc41.src.rpm
Packager: Fedora Project
Url: https://coq.inria.fr/
Summary: The coqidetop language server

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

Requires

/usr/bin/ocamlrun
coq-core(ppc-64) = 8.18.0-7.fc41
ld64.so.2()(64bit)
ld64.so.2(GLIBC_2.22)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.25)(64bit)
libc.so.6(GLIBC_2.28)(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_ABI_DT_RELR)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.17)(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libm.so.6(GLIBC_2.35)(64bit)
libm.so.6(GLIBC_2.38)(64bit)
ocaml(CArray) = 72f80c4d474f3a52c10a646d481a6e6a
ocaml(CList) = 2e0c5a2dffaa27bd8e06c509e37776d2
ocaml(CMap) = fb2e1c5ea1c619d3a3544410da29f8ae
ocaml(CSet) = 019adb1e50f0b8182ae935de6a005db0
ocaml(CSig) = 2676c9112307572a452bec4b87098429
ocaml(CString) = f1794ea484d4244d5e8a3abf1badd216
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalOO) = bf3206c1e533a97ee4e00a76bfe1dae6
ocaml(Exninfo) = 19d7f6bff61408da974e03ad8379233d
ocaml(Feedback) = 02ba8e8f0926d04a19dd376eab0623ff
ocaml(Hashcons) = 94bdc6ac3201831c154e2be6aceecd5e
ocaml(Hashset) = d8a284b1aac88561153dd0a4198abfe1
ocaml(Interface) = 96d7bfc413ba973271ca901009c3a2ca
ocaml(Loc) = 8ed5211fdca74b779bc6f04784e60fda
ocaml(Option) = efe194fe0713b97ac3fe466d1e9d85d0
ocaml(Pp) = 2b296c72b89b91257cc16a104005de5b
ocaml(Predicate) = d0a897998df1a40d587b43624be35a23
ocaml(Richpp) = 89b73b84b1e27b47eb9cf7917785a81a
ocaml(Serialize) = 0da9cf70841f8abc5c955612c7cb757a
ocaml(Stateid) = cdb14ba366136f02eabf6891582e0d90
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Util) = 8fc9d2a0e25fc1a8bef9b03c8901192b
ocaml(Xml_datatype) = aa60a86f8ed177458ab512290f443452
ocaml(Xml_lexer) = f0a9520cb6eaa6a51bc1ab2d42480f42
ocaml(Xml_printer) = ca591a9c71eb7bd7d93b52504b1959af
ocamlx(CArray) = af5c2262452aa887b6e6c5d202c38164
ocamlx(CList) = 0b221d973b2f88075af5fe4fe9dcf9a9
ocamlx(CString) = 9ab089a134f4fee3b19edc838696e7c4
ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028
ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3
ocamlx(Exninfo) = f34125a45ddf1afb7da367390d6cf903
ocamlx(Option) = 23699ee501fb2fd6a8bd5ccc0f16eff6
ocamlx(Pp) = 7f7d4fadfec15c3d9871cf49f52b8c8d
ocamlx(Richpp) = 2779647b09e7e352e45a042a63d39e2a
ocamlx(Serialize) = 84d1aeb86c5cf8c27f4aa96bca99df43
ocamlx(Stateid) = 73a500e6b1ef463ba54dd673d6a185ea
ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3
ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb
ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1
ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0
ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186
ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f
ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999
ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b
ocamlx(Stdlib__Lexing) = c1a768a943b2d5bd82715a40f3ca91a5
ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b
ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542
ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c
ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5
ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557
ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0
ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992
ocamlx(Util) = 8bd896d2aca6c2365bc286d29bd9abb5
ocamlx(Xml_lexer) = 61b2da51172e9f829d84dc32ee0f76d7
ocamlx(Xml_printer) = 5f16553f4d0bd964d57cc05be20124a6
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)

License

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

Changelog

* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 8.18.0-7
  - Bump release and rebuild
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 8.18.0-6
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 8.18.0-5
  - OCaml 5.2.0 for Fedora 41
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-4
  - Rebuild for ocaml-lablgtk3 3.1.4
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 8.18.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 8.18.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-1
  - Version 8.18.0
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-8
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-7
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-6
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-5
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 8.17.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-3
  - Validate appdata with appstream-util
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 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 <loganjerry@gmail.com> - 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 <loganjerry@gmail.com> - 8.17.0-1
  - Version 8.17.0
  - Drop upstreamed patch for Sphinx 5 support
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 8.16.1-3
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 8.16.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 8.16.1-1
  - Version 8.16.1
* Thu Oct 06 2022 Jerry James <loganjerry@gmail.com> - 8.16.0-2
  - Remove the manual, which has a non-free license (bz 2132567)
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 8.16.0-1
  - Version 8.16.0
  - Drop upstreamed patch for Sphinx 4.5 support
* Mon Aug 15 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-3
  - Convert License tags to SPDX
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.15.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Karolina Surma <ksurma@redhat.com> - 8.15.2-2
  - Enable documentation build with Sphinx 5+
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-2
  - Remove i686 support
  - Use new OCaml macros
* Mon Jun 20 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-2
  - Rebuild for antlr4-project 4.10.1

Files

/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/94
/usr/lib/.build-id/94/05fb74249da476549a864b3ca7d9101296f7be
/usr/lib/.build-id/b9/710c7d57c38f3bfb3ad316fb30830faddbe069
/usr/lib/.build-id/da
/usr/lib/.build-id/da/1bfd5b8a9ee6f2d15da806c848626901371d4d
/usr/lib/.build-id/da/1bfd5b8a9ee6f2d15da806c848626901371d4d.1
/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 Jul 1 01:35:38 2024

coq-coqide-server-8.18.0-7.fc41 RPM for ppc64le

From Fedora Rawhide for ppc64le / c

Provides

Requires

License

Changelog

Files