rocqide
Paket-Details
| Name | rocqide |
|---|---|
| Version | 9.1.1-1 |
| Beschreibung | Interactive theorem prover, or proof assistant (GTK-based GUI) |
| URL | https://rocq-prover.org/ |
| Lizenzen | LGPL-2.1-only |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Carl Smedstad |
| Erstellt am | 09.02.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | rocqide-9.1.1-1-x86_64.pkg.tar.zst |
| PGP-Signatur | rocqide-9.1.1-1-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 7.4 MiB |
| Installations-Größe | 25.4 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
Stellt bereit
Ersetzt
Konflikte
Build-Abhängigkeiten
cairodunefontconfigfreetype2gdk-pixbuf2glib2glibcgmpgtk3gtksourceview3lablgtk3ocamlocaml-findlibocaml-zarithpango