coq

Paket-Details

Name coq
Version 8.10.1-1
Beschreibung Formal proof management system
URL https://coq.inria.fr/
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen coq
Packer Baptiste Jonglez
Erstellt am 01.11.2019 18:10
Veröffentlicht am 04.11.2019 08:40
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket coq-8.10.1-1-x86_64.pkg.tar.xz
PGP-Signatur coq-8.10.1-1-x86_64.pkg.tar.xz.sig
Paket-Größe 72,66 MByte
Installations-Größe 400,98 MByte

Dateien