rocq-coqide-server-9.1.1-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-03-20 | Jerry James <loganjerry at gmail dot com> - 9.1.1-1 | - Initial RPM |
Dependencies
- glibc
- gmp
- ocaml = bb23651112c1e05c61498d902472830d
- ocaml-camlimages = 6d6405eea6173eefd26ae1bf0cad4c54
- ocaml-camlimages-devel = 6d6405eea6173eefd26ae1bf0cad4c54
- ocaml-extlib = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-extlib-devel = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-labltk = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-labltk-devel = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-ocp-indent = 6d6405eea6173eefd26ae1bf0cad4c54
- ocaml-ocp-indent-devel = 6d6405eea6173eefd26ae1bf0cad4c54
- ocaml-pp = a3240b9aca1401ce479dc8d56de4079e
- ocaml-pp-devel = a3240b9aca1401ce479dc8d56de4079e
- ocaml-runtime = bb23651112c1e05c61498d902472830d
- rocq-core = 9.1.1-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/
- 17/
- 5e836118efbd28576d83071a7c94b8b211cc83
- 77/
- 47d598540c82751d4ccc874d9a859158520287
- ad/
- 16203e876af2df881c8febdcb80fe55770b692
- 17/
- .build-id/
- 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
- coqide-server/
- ocaml/
- bin/
Sources on Pagure