coq-coqide-server-8.20.1-9.fc44 in Fedora Rawhide
↵ Return to the main page of coq-coqide-server
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2026-01-16 | Fedora Release Engineering <releng at fedoraproject dot org> - 8.20.1-9 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild |
| 2026-01-16 | Fedora Release Engineering <releng at fedoraproject dot org> - 8.20.1-8 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild |
| 2026-01-12 | Jerry James <loganjerry at gmail dot com> - 8.20.1-7 | - Reflow the description text |
| 2025-10-14 | Richard W.M. Jones <rjones at redhat dot com> - 8.20.1-6 | - OCaml 5.4.0 rebuild |
| 2025-09-19 | Python Maint <python dash maint at redhat dot com> - 8.20.1-5 | - Rebuilt for Python 3.14.0rc3 bytecode |
| 2025-08-15 | Python Maint <python dash maint at redhat dot com> - 8.20.1-4 | - Rebuilt for Python 3.14.0rc2 bytecode |
| 2025-07-23 | Fedora Release Engineering <releng at fedoraproject dot org> - 8.20.1-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-07-12 | Jerry James <loganjerry at gmail dot com> - 8.20.1-2 | - Rebuild to fix OCaml dependencies |
| 2025-01-22 | Jerry James <loganjerry at gmail dot com> - 8.20.1-1 | - Version 8.20.1 |
| 2025-01-16 | Fedora Release Engineering <releng at fedoraproject dot org> - 8.20.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
Dependencies
- coq-core = 8.20.1-9.fc44
- glibc
- gmp
- ocaml = bb23651112c1e05c61498d902472830d
- ocaml-camlimages = e9789ace9d08d4a82aa34035de0901cd
- ocaml-camlimages-devel = e9789ace9d08d4a82aa34035de0901cd
- ocaml-extlib = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-extlib-devel = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-labltk = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-labltk-devel = e6b230b1582aa5d429e5fc3ca4c80044
- ocaml-ocp-indent = e9789ace9d08d4a82aa34035de0901cd
- ocaml-ocp-indent-devel = e9789ace9d08d4a82aa34035de0901cd
- ocaml-pp = 92eb9f5189874171077a49acc0746f4c
- ocaml-pp-devel = 92eb9f5189874171077a49acc0746f4c
- ocaml-runtime = bb23651112c1e05c61498d902472830d
Provides
- coq-coqide-server
- coq-coqide-server(x86-64)
- ocaml(Document)
- ocaml(Interface)
- 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)
Files
- usr/
- bin/
- coqidetop.byte
- coqidetop.opt
- lib/
- .build-id/
- 1e/
- 4775e0ece05060e6097af50df5b7cdbea77b54
- 7f/
- 067ca75a37fcc7e4a8f2d0c7b3a2e4fe575582
- 89/
- 9340788fbc083756953264c0a43e481b1738ec
- 1e/
- .build-id/
- lib64/
- ocaml/
- coqide-server/
- META
- core/
- core.a
- core.cma
- core.cmxa
- core.cmxs
- document.cmi
- document.cmt
- document.cmti
- document.cmx
- document.mli
- dune-package
- opam
- protocol/
- interface.cmi
- interface.cmti
- interface.mli
- protocol.a
- protocol.cma
- protocol.cmxa
- protocol.cmxs
- richpp.cmi
- richpp.cmt
- richpp.cmti
- richpp.cmx
- richpp.mli
- serialize.cmi
- serialize.cmt
- serialize.cmti
- serialize.cmx
- serialize.mli
- xml_lexer.cmi
- xml_lexer.cmt
- xml_lexer.cmti
- xml_lexer.cmx
- xml_lexer.mli
- xml_parser.cmi
- xml_parser.cmt
- xml_parser.cmti
- xml_parser.cmx
- xml_parser.mli
- xml_printer.cmi
- xml_printer.cmt
- xml_printer.cmti
- xml_printer.cmx
- xml_printer.mli
- xmlprotocol.cmi
- xmlprotocol.cmt
- xmlprotocol.cmti
- xmlprotocol.cmx
- xmlprotocol.mli
- coqide-server/
- ocaml/
- bin/
Sources on Pagure