Index of /api/pulp-content/public-copr/@fedora-review/fedora-review-2445873-rocq/fedora-45-x86_64/Packages/r/

../
rocq-9.1.1-1.fc45.src.rpm                                                                           14-Aug-2026 11:44  6.4 MB
rocq-9.1.1-1.fc45.x86_64.rpm                                                                        14-Aug-2026 11:44  7.4 kB
rocq-coqide-server-9.1.1-1.fc45.x86_64.rpm                                                          14-Aug-2026 11:44  12.8 MB
rocq-coqide-server-debuginfo-9.1.1-1.fc45.x86_64.rpm                                                14-Aug-2026 11:44  4.6 MB
rocq-coqide-server-devel-9.1.1-1.fc45.x86_64.rpm                                                    14-Aug-2026 11:44  992.8 kB
rocq-core-9.1.1-1.fc45.x86_64.rpm                                                                   14-Aug-2026 11:44  1.2 MB
rocq-core-source-9.1.1-1.fc45.x86_64.rpm                                                            14-Aug-2026 11:44  121.3 kB
rocq-debuginfo-9.1.1-1.fc45.x86_64.rpm                                                              14-Aug-2026 11:44  447.5 kB
rocq-debugsource-9.1.1-1.fc45.x86_64.rpm                                                            14-Aug-2026 11:44  2.2 MB
rocq-doc-9.1.1-1.fc45.noarch.rpm                                                                    14-Aug-2026 11:44  11.4 MB
rocq-rocqide-9.1.1-1.fc45.x86_64.rpm                                                                14-Aug-2026 11:44  3.1 MB
rocq-rocqide-debuginfo-9.1.1-1.fc45.x86_64.rpm                                                      14-Aug-2026 11:44  2.0 MB
rocq-runtime-9.1.1-1.fc45.x86_64.rpm                                                                14-Aug-2026 11:44  107.0 MB
rocq-runtime-debuginfo-9.1.1-1.fc45.x86_64.rpm                                                      14-Aug-2026 11:44  15.8 MB
rocq-runtime-devel-9.1.1-1.fc45.x86_64.rpm                                                          14-Aug-2026 11:44  126.0 MB