rocq-coqide-server-9.2.0-1.fc45 in Fedora Rawhide

↵ Return to the main page of rocq-coqide-server
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

glibc >= 2.43.9000-11
gmp
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-core = 9.2.0-1.fc45
rocq-runtime = a2e455be7013ec529edc7deeb9c88dcd
rocq-runtime-devel = a2e455be7013ec529edc7deeb9c88dcd

Provides

coq-coqide-server
ocaml(Document)
ocaml(Interface)
ocaml(Richpp)
ocaml(Serialize)
ocaml(Xml_lexer)
ocaml(Xml_parser)
ocaml(Xml_printer)
ocaml(Xmlprotocol)
rocq-coqide-server
rocq-coqide-server(x86-64)

Files

usr/
- bin/
  - coqidetop
- lib/
  - .build-id/
    - 26/
      - b88613599cefe9f2117331d4bf1d4252114246
    - 55/
      - 21121b2981bfe52f068868c30f60f5c411b6e8
    - d3/
      - 30b362c1a2ed32d28af00060a0ef11fd74ba3e
- lib64/
  - ocaml/
    - coqide-server/
      - META
      - core/
        
        core.cma
        
        core.cmxs
        
        document.cmi
      - protocol/
        
        interface.cmi
        
        protocol.cma
        
        protocol.cmxs
        
        richpp.cmi
        
        serialize.cmi
        
        xml_lexer.cmi
        
        xml_parser.cmi
        
        xml_printer.cmi
        
        xmlprotocol.cmi

Sources on Pagure