coq-coqide-8.5pl2-1.fc25.x86_64.rpm


Advertisement

Description

coq-coqide - Coqide IDE for Coq proof management system

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: coq-coqide
Package version: 8.5pl2
Package release: 1.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 7.21 MB
Download size: 2.09 MB
Official Mirror: dl.fedoraproject.org
Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq.

Alternatives

Requires

Provides

  • appdata()
  • appdata(coqide.appdata.xml)
  • application()
  • application(coqide.desktop)
  • coq-coqide = 8.5pl2-1.fc25
  • coq-coqide(x86-64) = 8.5pl2-1.fc25
  • mimehandler(application/x-coq)
  • ocaml(Config_file) = 817559dba49c673d57e7e9daf55a5400
  • ocaml(Config_lexer) = a4eb5d822adfd2904e30d0e2a61b92e9
  • ocaml(Configwin) = 391321e2ecaa7e96759078c38d8f4a1a
  • ocaml(Configwin_ihm) = 290c9709bab28e4465ce108b59be25e8
  • ocaml(Configwin_keys) = 551eb51c535402feef53bd22738bb68f
  • ocaml(Configwin_messages) = 3f65847358af09d0789fb1b514057598
  • ocaml(Configwin_types) = 714a8e15572d6aa20ccd3c81835c5b55
  • ocaml(Coq) = 0230a5a2c315e338e7139be3ed0b80e0
  • ocaml(CoqOps) = 848587669080eb0ef44f38b7c57dd0ee
  • ocaml(Coq_commands) = 36ee9b70e1e8cb45921704465888c026
  • ocaml(Coq_lex) = d30dcd7c993faa4a59aa95048a093088
  • ocaml(Coqide) = b95e6b13c03c701c555dfafe58a76647
  • ocaml(Coqide_ui) = 18606cc5ad98399875b6aaa5b357faa4
  • ocaml(Document) = e862a547465202496eff6e9641ad85cb
  • ocaml(Editable_cells) = dd900c57f4ca5d9e0a377c10dc10741e
  • ocaml(FileOps) = e4349289f58b79707f29f36d597bc559
  • ocaml(Gtk_parsing) = dd63b3889a7a339c651633093ebce65c
  • ocaml(Ideutils) = d0d4fbd85d0f463fdbc45fbf62c085bb
  • ocaml(Minilib) = e7b8f1a155ce2f29b10bdc4a6f4aa2cc
  • ocaml(NanoPG) = cc13158ae5a3dfc06312061020cfd7a0
  • ocaml(Okey) = a4c08ad6f33ba7eb73a14004b94b22ca
  • ocaml(Preferences) = f21956a75d94c368fba96c130d243991
  • ocaml(Project_file) = 923128c1bdcbec66feb19670cf581962
  • ocaml(Sentence) = 2296444c67d1f4be1d946d8ae1f20ef6
  • ocaml(Session) = 507579782b3583e59ae112906066f8b8
  • ocaml(Tags) = d99e78559bbfaa4635b32b86c7e12ab7
  • ocaml(Utf8_convert) = da1fc3ecb4274f8dbef70dcf90a6ef94
  • ocaml(Wg_Command) = 7917ecdf47a41d4d4154c0b7f5e0bdb4
  • ocaml(Wg_Completion) = 85021097f4c62a6eff0f8c8d6f5fe264
  • ocaml(Wg_Detachable) = 0d1af7bc36b87a516bf5f887989fb4ac
  • ocaml(Wg_Find) = 969009a9498d80866f1687ff72d4bea8
  • ocaml(Wg_MessageView) = b9a7f21f999ab116c50cfbc3e79b52b2
  • ocaml(Wg_Notebook) = 967129f7de8518ab68bc25a0335be0f3
  • ocaml(Wg_ProofView) = f2b2ed68092292c56c63762481f61f90
  • ocaml(Wg_ScriptView) = 1814cd9da409d7088e57f5b94415954f
  • ocaml(Wg_Segment) = 9db32c307d7394a132f81794202daa55
  • ocaml(Xmlprotocol) = 4b92236444513df5baf8c43dff9ee987

    Download

    Install Howto

    Install the coq-coqide rpm package:

    # dnf install coq-coqide

    Files

    • /etc/xdg/coq/
    • /usr/bin/coqide
    • /usr/lib64/coq/ide/config_lexer.cmi
    • /usr/lib64/coq/ide/coq.cmi
    • /usr/lib64/coq/ide/coqOps.cmi
    • /usr/lib64/coq/ide/coq_commands.cmi
    • /usr/lib64/coq/ide/coq_lex.cmi
    • /usr/lib64/coq/ide/coqide.cmi
    • /usr/lib64/coq/ide/coqide_ui.cmi
    • /usr/lib64/coq/ide/document.cmi
    • /usr/lib64/coq/ide/fileOps.cmi
    • /usr/lib64/coq/ide/gtk_parsing.cmi
    • /usr/lib64/coq/ide/ide.cma
    • /usr/lib64/coq/ide/ideutils.cmi
    • /usr/lib64/coq/ide/minilib.cmi
    • /usr/lib64/coq/ide/nanoPG.cmi
    • /usr/lib64/coq/ide/preferences.cmi
    • /usr/lib64/coq/ide/project_file.cmi
    • /usr/lib64/coq/ide/sentence.cmi
    • /usr/lib64/coq/ide/session.cmi
    • /usr/lib64/coq/ide/tags.cmi
    • /usr/lib64/coq/ide/utf8_convert.cmi
    • /usr/lib64/coq/ide/wg_Command.cmi
    • /usr/lib64/coq/ide/wg_Completion.cmi
    • /usr/lib64/coq/ide/wg_Detachable.cmi
    • /usr/lib64/coq/ide/wg_Find.cmi
    • /usr/lib64/coq/ide/wg_MessageView.cmi
    • /usr/lib64/coq/ide/wg_Notebook.cmi
    • /usr/lib64/coq/ide/wg_ProofView.cmi
    • /usr/lib64/coq/ide/wg_ScriptView.cmi
    • /usr/lib64/coq/ide/wg_Segment.cmi
    • /usr/lib64/coq/ide/xmlprotocol.cmi
    • /usr/lib64/coq/ide/utils/config_file.cmi
    • /usr/lib64/coq/ide/utils/configwin.cmi
    • /usr/lib64/coq/ide/utils/configwin_ihm.cmi
    • /usr/lib64/coq/ide/utils/configwin_keys.cmi
    • /usr/lib64/coq/ide/utils/configwin_messages.cmi
    • /usr/lib64/coq/ide/utils/configwin_types.cmi
    • /usr/lib64/coq/ide/utils/editable_cells.cmi
    • /usr/lib64/coq/ide/utils/okey.cmi
    • /usr/share/appdata/coqide.appdata.xml
    • /usr/share/applications/coqide.desktop
    • /usr/share/doc/coq-coqide/FAQ
    • /usr/share/mime/packages/coq.xml
    • /usr/share/pixmaps/coq.png

    Changelog

    Advertisement
    Advertisement