coqide

Paket-Details

Name coqide
Version 8.9.1-1
Beschreibung GTK-based graphical interface for the Coq proof assistant
URL https://coq.inria.fr/
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen coq
Packer Baptiste Jonglez
Erstellt am 31.05.2019 17:33
Veröffentlicht am 31.05.2019 18:34
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket coqide-8.9.1-1-x86_64.pkg.tar.xz
PGP-Signatur coqide-8.9.1-1-x86_64.pkg.tar.xz .sig
Paket-Größe 1,92 MByte
Installations-Größe 11,23 MByte

Dateien