Package: gappalib-coq

Upstream info
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
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 1.5.4-3.fc40
f40 base 1.5.4-3.fc40
f39 updates 1.5.4-1.fc39
  base 1.5.3-4.fc39
f38 updates 1.5.3-2.fc38
  base 1.5.2-7.fc38
f37 updates 1.5.2-5.fc37
  base 1.5.2-4.fc37
f36 updates 1.5.1-3.fc36
  base 1.5.1-2.fc36
f35 updates 1.4.6-10.fc35
  base 1.4.6-9.fc35
f34 updates 1.4.6-6.fc34
  base 1.4.6-4.fc34
f33 updates 1.4.4-9.fc33
  base 1.4.4-6.fc33
f32 updates 1.4.4-1.fc32
  base 1.4.2-5.fc32
f31 updates 1.4.2-2.fc31
  base 1.4.2-1.fc31
f30 base 1.4.0-2.fc30
f29 base 1.3.3-4.fc29
f28 base 1.3.3-1.fc28
f27 base 1.3.2-10.fc27
f26 base 1.3.2-4.fc26
f25 updates 1.3.2-2.fc25
  base 1.3.1-2.fc25
f24 updates 1.3.0-1.fc24
  base 1.2.1-2.fc24
f23 updates 1.2.0-1.fc23
  base 1.1.0-2.fc23
f22 updates 1.1.0-1.fc22
  base 1.0.0-19.fc22
f21 base 1.0.0-13.fc21
f20 updates 1.0.0-8.fc20
  base 1.0.0-3.fc20
f19 updates 0.21.1-1.fc19
  base 0.20.0-1.fc19
f18 updates 0.18.0-6.fc18
  base 0.18.0-4.fc18
f17 base 0.18.0-1.fc17
f16 updates 0.17.0-1.fc16