rocq-coqide-server-devel-9.2.0-1.fc45 in Fedora Rawhide
↵ Return to the main page of rocq-coqide-server-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2026-04-16 | Jerry James <loganjerry at gmail dot com> - 9.2.0-1 | - Version 9.2.0 - Drop upstreamed documentation patch - Enable the native compiler for x86_64 |
| 2026-03-20 | Jerry James <loganjerry at gmail dot com> - 9.1.1-1 | - Initial RPM |
Dependencies
- ocaml = bb23651112c1e05c61498d902472830d
- ocaml-camlimages = c9f8d7b5acde205a5d3eff397851b62d
- ocaml-camlimages-devel = c9f8d7b5acde205a5d3eff397851b62d
- ocaml-extlib = 41b74a99c114f72e84a33073de712a98
- ocaml-extlib-devel = 41b74a99c114f72e84a33073de712a98
- ocaml-labltk = 41b74a99c114f72e84a33073de712a98
- ocaml-labltk-devel = 41b74a99c114f72e84a33073de712a98
- ocaml-ocp-indent = c9f8d7b5acde205a5d3eff397851b62d
- ocaml-ocp-indent-devel = c9f8d7b5acde205a5d3eff397851b62d
- ocaml-pp = a3240b9aca1401ce479dc8d56de4079e
- ocaml-pp-devel = a3240b9aca1401ce479dc8d56de4079e
- ocaml-runtime = bb23651112c1e05c61498d902472830d
- rocq-coqide-server = f6896541e07856d2775497df216c8302
- rocq-runtime = a2e455be7013ec529edc7deeb9c88dcd
- rocq-runtime-devel = a2e455be7013ec529edc7deeb9c88dcd
Provides
- ocaml(Document)
- ocaml(Richpp)
- ocaml(Serialize)
- ocaml(Xml_lexer)
- ocaml(Xml_parser)
- ocaml(Xml_printer)
- ocaml(Xmlprotocol)
- ocamlx(Document)
- ocamlx(Richpp)
- ocamlx(Serialize)
- ocamlx(Xml_lexer)
- ocamlx(Xml_parser)
- ocamlx(Xml_printer)
- ocamlx(Xmlprotocol)
- rocq-coqide-server-devel
- rocq-coqide-server-devel(x86-64)
Files
- usr/
- lib64/
- ocaml/
- coqide-server/
- core/
- core.a
- core.cmxa
- document.cmt
- document.cmti
- document.cmx
- document.mli
- dune-package
- opam
- protocol/
- interface.cmti
- interface.mli
- protocol.a
- protocol.cmxa
- richpp.cmt
- richpp.cmti
- richpp.cmx
- richpp.mli
- serialize.cmt
- serialize.cmti
- serialize.cmx
- serialize.mli
- xml_lexer.cmt
- xml_lexer.cmti
- xml_lexer.cmx
- xml_lexer.mli
- xml_parser.cmt
- xml_parser.cmti
- xml_parser.cmx
- xml_parser.mli
- xml_printer.cmt
- xml_printer.cmti
- xml_printer.cmx
- xml_printer.mli
- xmlprotocol.cmt
- xmlprotocol.cmti
- xmlprotocol.cmx
- xmlprotocol.mli
- core/
- coqide-server/
- ocaml/
- lib64/
Sources on Pagure