Package details
Package coq-emacs
Version 8.8.2-r0
Description A formal proof management system (Emacs files)
Project https://coq.inria.fr
License LGPL-2.1
Branch edge
Repository testing
Architecture ppc64le
Size 21.05 kB
Installed size 108 kB
Origin coq
Maintainer alpine-mips-patches
Build time 2019-03-06 07:43:48
Commit 7a56281cbb8ed2d94dadb843ecc25a9420a8c74c
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (2)