coqide-8.9.0-1-x86_64.pkg.tar.xz


Advertisement

Description

coqide - GTK-based graphical interface for the Coq proof assistant

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename coqide-8.9.0-1-x86_64.pkg.tar.xz
Package name coqide
Package version 8.9.0
Package release 1
Package architecture x86_64
Package type xz
Homepage https://coq.inria.fr/
License GPL
Maintainer Baptiste Jonglez <archlinux@bitsofnetworks.org>
Download size 1.92 MB
Installed size 11.22 MB

Alternatives

Package Version Architecture Repository
coqide - - -

Requires

Name Value
camlp5 -
coq -
gtk2 -
gtksourceview2 -
ocaml -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package coqide-8.9.0-1-x86_64.pkg.tar.xz
Source Package coq

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install coqide xz package:
    # pacman -Sy coqide

Files

Path
/usr/
/usr/bin/coqide
/usr/lib/
/usr/lib/coq/
/usr/lib/coq/ide/config_lexer.cmi
/usr/lib/coq/ide/configwin.cmi
/usr/lib/coq/ide/configwin_ihm.cmi
/usr/lib/coq/ide/configwin_messages.cmi
/usr/lib/coq/ide/coq.cmi
/usr/lib/coq/ide/coqOps.cmi
/usr/lib/coq/ide/coq_commands.cmi
/usr/lib/coq/ide/coq_lex.cmi
/usr/lib/coq/ide/coqide.cmi
/usr/lib/coq/ide/coqide_ui.cmi
/usr/lib/coq/ide/document.cmi
/usr/lib/coq/ide/fileOps.cmi
/usr/lib/coq/ide/gtk_parsing.cmi
/usr/lib/coq/ide/ide.a
/usr/lib/coq/ide/ide.cmxa
/usr/lib/coq/ide/ideutils.cmi
/usr/lib/coq/ide/minilib.cmi
/usr/lib/coq/ide/nanoPG.cmi
/usr/lib/coq/ide/preferences.cmi
/usr/lib/coq/ide/sentence.cmi
/usr/lib/coq/ide/session.cmi
/usr/lib/coq/ide/tags.cmi
/usr/lib/coq/ide/utf8_convert.cmi
/usr/lib/coq/ide/wg_Command.cmi
/usr/lib/coq/ide/wg_Completion.cmi
/usr/lib/coq/ide/wg_Detachable.cmi
/usr/lib/coq/ide/wg_Find.cmi
/usr/lib/coq/ide/wg_MessageView.cmi
/usr/lib/coq/ide/wg_Notebook.cmi
/usr/lib/coq/ide/wg_ProofView.cmi
/usr/lib/coq/ide/wg_RoutedMessageViews.cmi
/usr/lib/coq/ide/wg_ScriptView.cmi
/usr/lib/coq/ide/wg_Segment.cmi
/usr/share/
/usr/share/applications/coqide.desktop
/usr/share/coq/coq-ssreflect.lang
/usr/share/coq/coq.lang
/usr/share/coq/coq.png
/usr/share/coq/coq_style.xml
/usr/share/doc/
/usr/share/doc/coq/FAQ-CoqIde
/usr/share/man/
/usr/share/man/man1/coqide.1.gz
/usr/share/pixmaps/coqide.png

See Also

Package Description
cor-0.1.17-3-x86_64.pkg.tar.xz Just another C++/C library
cordova-8.1.2-1-any.pkg.tar.xz Cordova command line interface tool
corkscrew-2.0-7-x86_64.pkg.tar.xz A tool for tunneling SSH through HTTP proxies
corrade-2019.01-1-x86_64.pkg.tar.xz C++11/C++14 multiplatform utility library
couchdb-2.3.1-2-x86_64.pkg.tar.xz A document-oriented database that can be queried and indexed in a MapReduce fashion using JSON
cowfortune-0.1.2-6-any.pkg.tar.xz Configurable fortune cookie proclaiming cow (and a few other creatures)
cowpatty-4.8-1-x86_64.pkg.tar.xz Wireless WPA/WPA2 PSK handshake cracking utility
coxeter-git.20180226-2-x86_64.pkg.tar.xz A library for the study of combinatorial aspects of Coxeter group theory
cozy-desktop-3.12.0-1-any.pkg.tar.xz File synchronisation for Cozy Cloud on Desktop
cozy-stack-1:1.2.5-1-x86_64.pkg.tar.xz Digital home: brings all your web services in the same private space – Stack component
cpanminus-1.7044-2-any.pkg.tar.xz get, unpack, build and install modules from CPAN
cpp-hocon-0.2.1-2-x86_64.pkg.tar.xz C++ port of the Typesafe Config library
cppcheck-1.86-1-x86_64.pkg.tar.xz A tool for static C/C++ code analysis
cppo-1.6.5-2-x86_64.pkg.tar.xz C-style preprocessor for OCaml
cpuburn-1.4a-6-x86_64.pkg.tar.xz CPU testing utilities in optimized assembler for maximum loading of CPUs
Advertisement
Advertisement