Name: coq-coqide-server	Distribution: Fedora Project
Version: 8.18.0	Vendor: Fedora Project
Release: 1.fc39	Build date: Wed Jan 3 00:49:11 2024
Group: Unspecified	Build host: buildhw-a64-23.iad2.fedoraproject.org
Size: 103642162	Source RPM: coq-8.18.0-1.fc39.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.18.0-1.fc39
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)
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) = 6d58569e3639e38decf1a0dbacbf0726
ocaml(CList) = a7a0c48b94e35b57bfb2bc2689d58cb7
ocaml(CMap) = 56aa025417b342f792402ad3a956066e
ocaml(CSet) = 7d7be9cc23fb38e10753233bf859750e
ocaml(CSig) = cbe0b0a079f2ef2dcd13f42ae80840dd
ocaml(CString) = ba1439e877c8deb15a04b63ae44497cb
ocaml(CamlinternalFormatBasics) = cecfafd5c021473f5e358c96ac7502a0
ocaml(CamlinternalOO) = 9899de300aafbea37490d6da3d93b55d
ocaml(Exninfo) = 38ad6517d5220e43e479a1d0d18b8b8c
ocaml(Feedback) = 369f881d87535e3db952615840ea3253
ocaml(Hashcons) = 16cd719166c8c5010b0670dadb52fe96
ocaml(Hashset) = 054fe5127bf9aac57339f346c0d1a1ef
ocaml(Interface) = 03a481a8812607515975c92932f70244
ocaml(Loc) = 66403678cb7815a79c0e1a1c82447bd2
ocaml(Option) = 0ed8cf70257474be112f25e670767659
ocaml(Pp) = a06106912b4260216a95b51835f39c2e
ocaml(Predicate) = 1b54ffe866048b283dcf39c247b9f856
ocaml(Richpp) = b62b02f11d0fcf196154eecf21f1fac9
ocaml(Serialize) = e6d8c007d0ebe1c9baa3e96a6ceabc86
ocaml(Stateid) = 54380a42612c023be92895eb75e54315
ocaml(Stdlib) = 85f85ddb47edc0c7579657eee740302d
ocaml(Stdlib__Array) = 9bcf1a06bdcfbb976f898e818e15611a
ocaml(Stdlib__Buffer) = 12b944b4b2913751cd65bdc638975d4d
ocaml(Stdlib__Domain) = 0d152be3cd9163970a657d842fca8ecf
ocaml(Stdlib__Either) = b3ad0f8c65f28252059edebc03f68808
ocaml(Stdlib__Format) = e7385010d0d6a0bbd4191bc7546d458a
ocaml(Stdlib__Hashtbl) = bafdecabd3fce4f5ccc09a1a5587dab4
ocaml(Stdlib__Int32) = 1db604c2106f996ea47a572773a5ff7f
ocaml(Stdlib__Lexing) = be62854f0fbcd8531fe531cd00e34821
ocaml(Stdlib__List) = feb7c568830f9f239501efb83f4725e4
ocaml(Stdlib__Map) = 71415964978d1cf0c1701af1137aa1ea
ocaml(Stdlib__Obj) = 85655eceec5bcd6c7c4ef5dd6758b19d
ocaml(Stdlib__Printf) = 8debea255efc834da5c1bc2e73f09214
ocaml(Stdlib__Seq) = cc3f899885b746f777815dc93be7ede2
ocaml(Stdlib__Set) = f849884bcf48f894e90800c7ccd98f21
ocaml(Stdlib__Stack) = 2c058a31c4619e2e1504072ca87f6bee
ocaml(Stdlib__String) = facad7e0dada5941148738b8188d844f
ocaml(Stdlib__Uchar) = 9ea864085095970c73b7b17c26c37317
ocaml(Util) = 739c05c768541246b721db6b4ded59cd
ocaml(Xml_datatype) = af4d607b4dbe09d931cd3a2b78a84fe3
ocaml(Xml_lexer) = ae086551e8d464cea528042ec64dcda8
ocaml(Xml_printer) = da001b9a8389bb85c965453b972a030b
ocamlx(CArray) = c283a0f77b8df3491d4cbae050b76801
ocamlx(CList) = 8dbde6359f78faf766a8eef408657daa
ocamlx(CString) = d41891d060af3446d0e198ca71795b32
ocamlx(CamlinternalFormat) = 58f88a5a5c64196bd9b440558fffce16
ocamlx(CamlinternalOO) = 837bc42c277f1552b35648daabf1155b
ocamlx(Exninfo) = eb4df81e306597953871daed2ed2174e
ocamlx(Option) = df5eb2d73fefed70260934356ff58707
ocamlx(Pp) = 419fdf7aff0a53196f149e576ae4bb8c
ocamlx(Richpp) = 2fa44964687e9bc491ece2084173c927
ocamlx(Serialize) = aef999baeb0a8aa35194ab9d6bfa7355
ocamlx(Stateid) = 8a6cfa1023aa999633213c8ccbc3b77d
ocamlx(Stdlib) = c6f226e44d674edd1d531948ff863828
ocamlx(Stdlib__Array) = 888f09bbed5faa92247fb11d913bbe54
ocamlx(Stdlib__Bigarray) = b408aede49ea6c933a86ec2dd65b7cda
ocamlx(Stdlib__Buffer) = 3bbe0fd85e51b1403af1226c5d608789
ocamlx(Stdlib__Bytes) = cb1095d933ce955029ed699727baead0
ocamlx(Stdlib__Domain) = d7f8796322f2cd99efcf341f8e42acf4
ocamlx(Stdlib__Format) = c94bb08665553c56dece8353dbff3b32
ocamlx(Stdlib__Hashtbl) = acdc6437bcb9e7a81c6ed8660e82b471
ocamlx(Stdlib__Lexing) = 76289d92733d00a1d4c106dfb93c8ac7
ocamlx(Stdlib__List) = b78ab95aebcef67de9b99ec053edb534
ocamlx(Stdlib__Map) = 7b1e4df07736a72638c021a5a9ffbccd
ocamlx(Stdlib__Printf) = 662e9ca31ecdf5f11c9788ed827feb11
ocamlx(Stdlib__Queue) = 968e2f724fd81b382edfc126f84c80d0
ocamlx(Stdlib__Random) = 2617b12d0fefbf237d757668e0688155
ocamlx(Stdlib__Stack) = 018afd60df09186eaef4d0d459f62321
ocamlx(Stdlib__String) = ff814de8355985ea0e450e0986a59446
ocamlx(Util) = 44b5822c32cc6176e4a217380ca5890d
ocamlx(Xml_lexer) = 537cac598e4cdfb18debcfba36be5a06
ocamlx(Xml_printer) = e551abe6647b53c5ba0ede74c3ac4228
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

* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 8.18.0-1
  - Version 8.18.0
* 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
* 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

Files

/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/27
/usr/lib/.build-id/27/525b52dd63de59d44d675aaff3bd65e6015018
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/6aafdf04b7e14c740b28e3824feacb6e9ec263
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/31b5b0a5965b257811a398dcb24a3fe5c0a76c
/usr/lib/.build-id/dd/31b5b0a5965b257811a398dcb24a3fe5c0a76c.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, Wed Nov 27 04:04:38 2024

coq-coqide-server-8.18.0-1.fc39 RPM for aarch64

From Fedora 39 updates for aarch64 / Packages / c

Provides

Requires

License

Changelog

Files