rocq-rocqide-9.2.0-1.fc44 in Fedora 44

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

Provides

application()
application(org.rocq-prover.rocqide.desktop)
bundled(ocaml-xml-light)
coq-coqide
metainfo()
metainfo(org.rocq-prover.rocqide.metainfo.xml)
mimehandler(application/x-rocq)
rocq-rocqide
rocq-rocqide(x86-64)

Files

etc/
- xdg/
  - rocq/
usr/
- bin/
  - rocqide
- lib/
  - .build-id/
    - 2b/
      - d8ee1b2e4ca763c33a523811f60aa0705918f3
- lib64/
  - ocaml/
    - rocqide/
      - META
      - dune-package
      - opam
- share/
  - applications/
    - org.rocq-prover.rocqide.desktop
  - coq/
    - coq-ssreflect.lang
    - coq.lang
    - coq.png
    - coq_style.xml
    - default.bindings
  - doc/
    - rocq-rocqide/
      - FAQ
  - gtksourceview-3.0/
    - language-specs/
      - coq-ssreflect.lang
      - coq.lang
    - styles/
      - coq_style.xml
  - icons/
    - hicolor/
      - 256x256/
        
        apps/
        
        rocq.png
        
        mimetypes/
        
        rocqfile.png
  - man/
    - man1/
      - rocqide.1.gz
  - metainfo/
    - org.rocq-prover.rocqide.metainfo.xml
  - mime/
    - packages/
      - rocq.xml

Sources on Pagure