repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Related Badges Report

Information for coq:gappalib

Versions

  • 1.11.0

Package names

  • gappalib-coq

Repositories

Categories

  • Unspecified

Licenses

  • LGPL-3.0-or-later

Summaries

  • Coq support library for gappa

All package recipes

Build logs