Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-ide-server-8.16.1-1.mga9 RPM for i586

From Mageia Cauldron for i586 / media / core / release

Name: coq-ide-server Distribution: Mageia
Version: 8.16.1 Vendor: Mageia.Org
Release: 1.mga9 Build date: Sat Jan 7 18:13:19 2023
Group: Sciences/Computer science Build host: localhost
Size: 2735214 Source RPM: coq-8.16.1-1.mga9.src.rpm
Packager: papoteur <papoteur>
Url: https://coq.inria.fr
Summary: The coqidetop language server
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.
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

License

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

Changelog

* Sat Jan 07 2023 papoteur <papoteur> 8.16.1-1.mga9
  + Revision: 1931087
  - Add ide-server
  - fix file list
  - new 8.16.1
  - new 8.16.0
  + neoclust <neoclust>
  - Rebuild against new ocaml
  + tv <tv>
  - Updates BRs
  - Fix install
  + pterjan <pterjan>
  - Rebuild for new ocaml-lablgtk3
* Fri May 20 2022 pterjan <pterjan> 8.13.2-3.mga9
  + Revision: 1859409
  - Rebuild for OCaml 4.14
* Fri Oct 15 2021 tv <tv> 8.13.2-2.mga9
  + Revision: 1751562
  - Rebuild for ocaml 4.13.1
* Sun Sep 05 2021 wally <wally> 8.13.2-1.mga9
  + Revision: 1744351
  - new version 8.13.2
  - drop ancient tutorial docs
* Fri Mar 26 2021 tv <tv> 8.13.1-3.mga9
  + Revision: 1710447
  - Disable doc (broken)
  - rebuild for ocaml-4.2-12
  + neoclust <neoclust>
  - Rebuild against new ocaml stack
* Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8
  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8
  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv <tv>
  - remove one BR workaround which is now fixed

Files

/usr/lib/.build-id
/usr/lib/.build-id/52/ff3ca6193e5fcc5b6fd752e41d3ed898bec52b
/usr/lib/.build-id/82
/usr/lib/.build-id/82/f6d6ac016ee5168726a650a94b91efa6fe5a96
/usr/lib/ocaml/coqide-server
/usr/lib/ocaml/coqide-server/META
/usr/lib/ocaml/coqide-server/core
/usr/lib/ocaml/coqide-server/core/core.a
/usr/lib/ocaml/coqide-server/core/core.cma
/usr/lib/ocaml/coqide-server/core/core.cmxa
/usr/lib/ocaml/coqide-server/core/core.cmxs
/usr/lib/ocaml/coqide-server/core/document.cmi
/usr/lib/ocaml/coqide-server/core/document.cmt
/usr/lib/ocaml/coqide-server/core/document.cmti
/usr/lib/ocaml/coqide-server/core/document.cmx
/usr/lib/ocaml/coqide-server/core/document.ml
/usr/lib/ocaml/coqide-server/core/document.mli
/usr/lib/ocaml/coqide-server/dune-package
/usr/lib/ocaml/coqide-server/opam
/usr/lib/ocaml/coqide-server/protocol
/usr/lib/ocaml/coqide-server/protocol/interface.cmi
/usr/lib/ocaml/coqide-server/protocol/interface.cmt
/usr/lib/ocaml/coqide-server/protocol/interface.cmx
/usr/lib/ocaml/coqide-server/protocol/interface.ml
/usr/lib/ocaml/coqide-server/protocol/protocol.a
/usr/lib/ocaml/coqide-server/protocol/protocol.cma
/usr/lib/ocaml/coqide-server/protocol/protocol.cmxa
/usr/lib/ocaml/coqide-server/protocol/protocol.cmxs
/usr/lib/ocaml/coqide-server/protocol/richpp.cmi
/usr/lib/ocaml/coqide-server/protocol/richpp.cmt
/usr/lib/ocaml/coqide-server/protocol/richpp.cmti
/usr/lib/ocaml/coqide-server/protocol/richpp.cmx
/usr/lib/ocaml/coqide-server/protocol/richpp.ml
/usr/lib/ocaml/coqide-server/protocol/richpp.mli
/usr/lib/ocaml/coqide-server/protocol/serialize.cmi
/usr/lib/ocaml/coqide-server/protocol/serialize.cmt
/usr/lib/ocaml/coqide-server/protocol/serialize.cmti
/usr/lib/ocaml/coqide-server/protocol/serialize.cmx
/usr/lib/ocaml/coqide-server/protocol/serialize.ml
/usr/lib/ocaml/coqide-server/protocol/serialize.mli
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmi
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmt
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmti
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmx
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.ml
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.mli
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmi
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmt
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmti
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmx
/usr/lib/ocaml/coqide-server/protocol/xml_parser.ml
/usr/lib/ocaml/coqide-server/protocol/xml_parser.mli
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmi
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmt
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmti
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmx
/usr/lib/ocaml/coqide-server/protocol/xml_printer.ml
/usr/lib/ocaml/coqide-server/protocol/xml_printer.mli
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmi
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmt
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmti
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmx
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.ml
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.mli
/usr/share/doc/coq/coqide-server/LICENSE
/usr/share/doc/coq/coqide-server/README.md


Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jun 7 04:36:21 2023