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

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