Name: coq-coqide-server	Distribution: Fedora Project
Version: 8.20.0	Vendor: Fedora Project
Release: 1.fc42	Build date: Fri Jan 10 04:40:47 2025
Group: Unspecified	Build host: buildvm-a64-05.iad2.fedoraproject.org
Size: 90389648	Source RPM: coq-8.20.0-1.fc42.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(aarch-64) = 8.20.0-1.fc42
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(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) = 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) = 1ee2836ab824ca8a2b37a8133c0d7233
ocamlx(CList) = 42793e94f26b28cea691dffdcacbbe49
ocamlx(CString) = 277071fdd402629efd496245c39f1c0a
ocamlx(CamlinternalFormat) = f1ab66cb30c6feb059ed4e4305b99ad2
ocamlx(CamlinternalOO) = 4e613462c5209cda820b4c04f98c5b04
ocamlx(Exninfo) = f412fce56150cb5d7be4d48bd60d909c
ocamlx(Option) = 89f4c8521f0616d6d6b47fe73af35962
ocamlx(Pp) = 81f0bbc2ea6bda50ac0a74e6acff77f8
ocamlx(Richpp) = e1b16755e279d87f05d54e2e48778ca0
ocamlx(Serialize) = 2f933af93f15faec9076788487eb9366
ocamlx(Stateid) = fb352c41dba6ed2f8c5664177c710343
ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91
ocamlx(Stdlib__Array) = 6404162ec33be9da742187b2e7daa6dd
ocamlx(Stdlib__Bigarray) = d7bed1890ae6e7682731ed7e64c57fa1
ocamlx(Stdlib__Buffer) = 8bfec1bb8025d5663957b5cb3fb43d7a
ocamlx(Stdlib__Bytes) = ac33bbc94d1715627aedd97c0d71dbe5
ocamlx(Stdlib__Domain) = 03a029c7c0bd3ab3d998e402bfe1e4dc
ocamlx(Stdlib__Format) = 3f89da41a87017ba4e3a9b2ead68b563
ocamlx(Stdlib__Hashtbl) = 1aee99c15b532bac42321d046d148b7d
ocamlx(Stdlib__Lexing) = f4f1110b97c9a35dc4f53f94a8a43d45
ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304
ocamlx(Stdlib__Map) = 38bf69fbc5d75df3afdb0d36ac5f0a95
ocamlx(Stdlib__Printf) = d684bd439c5cd6675e8dbdb2407652fa
ocamlx(Stdlib__Queue) = d508be67e8cd7f93d169a2e4b7430bf6
ocamlx(Stdlib__Random) = 4b4d0e60f5d1223ff8e1fd34ae84ade0
ocamlx(Stdlib__Stack) = 83d074c9545c749fa9663a06220b6263
ocamlx(Stdlib__String) = 343b4a10f6af2b7002ce3db416b04c17
ocamlx(Util) = 0eb3fce7b306c007bd2c3d4296dd7a70
ocamlx(Xml_lexer) = 45f95b7055506323f026a7d3f66d5962
ocamlx(Xml_printer) = 74b91155f8044f11a41b671d0d53640f
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/37
/usr/lib/.build-id/37/44484bf3cc12336e3ecce5ac03ae2c00c9882e
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/7bef1cf59b0d25baeb84eb2176eebcd3c7362c
/usr/lib/.build-id/ec/38f3d0f6d2c87426ae1bbf1e7c785bbfd75a52
/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 00:33:58 2025

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

From Fedora Rawhide for aarch64 / c

Provides

Requires

License

Changelog

Files