Index of /api/pulp-content/public-copr/jjames/Rocq9/fedora-rawhide-x86_64/Packages/g/
../
gappa-1.7.0-1.fc45.src.rpm 09-Mar-2026 16:52 431.2 kB
gappa-1.7.0-1.fc45.x86_64.rpm 09-Mar-2026 16:52 307.1 kB
gappa-debuginfo-1.7.0-1.fc45.x86_64.rpm 09-Mar-2026 16:52 3.0 MB
gappa-debugsource-1.7.0-1.fc45.x86_64.rpm 09-Mar-2026 16:52 111.3 kB
gappa-doc-1.7.0-1.fc45.noarch.rpm 09-Mar-2026 16:52 229.9 kB
gappalib-coq-1.8.0-1.fc45.src.rpm 09-Mar-2026 17:49 122.1 kB
gappalib-coq-1.8.0-1.fc45.x86_64.rpm 09-Mar-2026 17:49 780.6 kB
gappalib-coq-debuginfo-1.8.0-1.fc45.x86_64.rpm 09-Mar-2026 17:49 25.1 kB
gappalib-coq-debugsource-1.8.0-1.fc45.x86_64.rpm 09-Mar-2026 17:49 16.3 kB
gappalib-coq-source-1.8.0-1.fc45.x86_64.rpm 09-Mar-2026 17:49 51.6 kB