You are here:
Show more informations from pkgdb
Summary: | Coq support library for gappa |
---|---|
Description: | |
URL: | https://gitlab.inria.fr/gappa/coq |
Owner: | jjames |
Bugzilla: | Active bugs |
Pagure: | https://src.fedoraproject.org/rpms/gappalib-coq |
Koschei: | https://koschei.fedoraproject.org/package/gappalib-coq |