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