Name: coq-coqide-server	Distribution: Fedora Project
Version: 8.16.0	Vendor: Fedora Project
Release: 1.fc37	Build date: Sat Sep 17 00:20:09 2022
Group: Unspecified	Build host: buildvm-ppc64le-31.iad2.fedoraproject.org
Size: 67397186	Source RPM: coq-8.16.0-1.fc37.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.16.0-1.fc37
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(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)
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)
ocaml(CArray) = 3bf67d1381824155797389de8a32d728
ocaml(CList) = a742212da585b925999bb1e9c57f8886
ocaml(CMap) = cbcf10800400dde7f75cbc0cc6a0a739
ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
ocaml(CString) = f53fe8692b6d16ecf125c5433c67ee1d
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalOO) = aea913efb75d4b8c0600eeba0222f7d8
ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922
ocaml(Feedback) = b430e30282f28df06f85bc6c5a2d4f3e
ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
ocaml(Interface) = b2c1692836b15aab87ca826474284875
ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
ocaml(Option) = 7b9ac55e8491af63e4054f2b26a988dd
ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
ocaml(Richpp) = 1bcebc1f984a3fc84cb0aea868ac1863
ocaml(Serialize) = 0675dc175d584c8b04f8d8ba2ee291e1
ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505
ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724
ocaml(Stdlib__Stream) = 510a78f010f6c530a911189d7538d002
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Util) = 46a1f0249bfbf29202e10de25200d4ea
ocaml(Xml_datatype) = e419aae791e14a9e40ee634429531000
ocaml(Xml_lexer) = 72d73bb411d5a1afbf240bf7446e7411
ocaml(Xml_printer) = d6f68614d3b68150f821cdea833e4a11
ocamlx(CList) = 8d59eb9210256be316adc1aa298f7fd3
ocamlx(CString) = 2c83e6da57716e19b8ed3547c7af15ed
ocamlx(CamlinternalOO) = 058cc49b692a2dd69add77baeb7dfd6d
ocamlx(Exninfo) = cf89b09c6ac1379986d9b016943c7cac
ocamlx(Loc) = 2c97260dd31fb8e11ad0c5e45f95bc6c
ocamlx(Option) = 3d469b81e472024e47962f901f721f6e
ocamlx(Pp) = 3a80561a26a756e8146e053a12c94633
ocamlx(Richpp) = ca0785ba4773d7a20bec05f56d85d785
ocamlx(Serialize) = c7a8241d829f4694f76b87ec2cfbb016
ocamlx(Stateid) = cfb111336607f6ed1098217f92ab3c85
ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a
ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb
ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c
ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f
ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9
ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883
ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa
ocamlx(Stdlib__Stack) = adbb9467e55324452b66f5e80904fd00
ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95
ocamlx(Util) = 19b4b81a3b0bdb1618506233bcac9410
ocamlx(Xml_lexer) = 54dbf31d7ee83bcbb441111d5e9f902e
ocamlx(Xml_printer) = 00e32ef02424f8d913d4f86a26aa9287
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

* 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
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 8.15.2-1
  - Upgrade to 8.15.2
  - OCaml 4.14.0 rebuild
* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 8.15.1-1
  - Version 8.15.1
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 8.15.0-1
  - Version 8.15.0
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 8.14.1-4
  - OCaml 4.13.1 rebuild to remove package notes
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.14.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-2
  - Rebuild for ocaml-lablgtk3 3.1.2
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-1
  - Version 8.14.1
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 8.14.0-1
  - Version 8.14.0
  - Add -core subpackage
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-5
  - OCaml 4.13.1 build
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-4
  - Try to build on s390x with OCaml 4.13
* Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-3
  - Rebuild for changed ocamlx(Dynlink)
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.13.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Fri Jun 04 2021 Jerry James <loganjerry@gmail.com> - 8.13.2-1
  - Version 8.13.2
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 8.13.1-1
  - Version 8.13.1
* Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.0-2
  - OCaml 4.12.0 build
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 8.13.0-1
  - Version 8.13.0
  - Revert to make; dune is unable to build the native compilation version
  - Install into the metainfo dir instead of the appdata dir
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 8.12.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 8.12.2-1
  - Version 8.12.2
* Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 8.12.1-1
  - Version 8.12.1
  - Drop upstreamed sphinx 3 support patch

Files

/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/40/a660a288b1706a93e62f443925a5c8fcb99eb7
/usr/lib/.build-id/56/2afa30d4d754218b7502055081fc3e0d873507
/usr/lib/.build-id/56/2afa30d4d754218b7502055081fc3e0d873507.1
/usr/lib/.build-id/c8/336a56dfc1a8c8e24b22e4d1a4d40c3ec58972
/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.ml
/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.cmt
/usr/lib64/ocaml/coqide-server/protocol/interface.cmx
/usr/lib64/ocaml/coqide-server/protocol/interface.ml
/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.ml
/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.ml
/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.ml
/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.ml
/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.ml
/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.ml
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 21:14:35 2024

coq-coqide-server-8.16.0-1.fc37 RPM for ppc64le

From Fedora 37 for ppc64le / c

Provides

Requires

License

Changelog

Files