rocq-coqide-server-9.2.0-1.fc44 in Fedora 44

↵ 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
rocq-core = 9.2.0-1.fc44
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/
    - 18/
      - 56482721d5fd209c70c275cec51940824aa85f
    - 61/
      - e134873b2fb34f4d3e804f85a4ee80291272b8
    - f5/
      - 2a8f641507c69b9d4db8db7adf3a241746cfbe
- 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