Index of /api/pulp-content/public-copr/jjames/Rocq9/fedora-rawhide-x86_64/Packages/r/

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