coq

Paket-Details

Name coq
Version 8.9.1-4
Beschreibung Formal proof management system
URL https://coq.inria.fr/
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen coq
Packer Juergen Hoetzel
Erstellt am 10.10.2019 12:43
Veröffentlicht am 10.10.2019 14:08
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket coq-8.9.1-4-x86_64.pkg.tar.xz
PGP-Signatur coq-8.9.1-4-x86_64.pkg.tar.xz.sig
Paket-Größe 67,22 MByte
Installations-Größe 375,43 MByte

Dateien