Index of /api/pulp-content/public-copr/@eventb-rossi/eventb-copr/fedora-42-x86_64/Packages/r/

../
rodin-3.9-3.fc42.src.rpm                                                                            19-Jun-2026 07:52  111.9 MB
rodin-3.9-3.fc42.x86_64.rpm                                                                         19-Jun-2026 07:52  108.8 MB
rodin-rc-3.10-0.3.RC2.fc42.src.rpm                                                                  19-Jun-2026 08:32  118.9 MB
rodin-rc-3.10-0.3.RC2.fc42.x86_64.rpm                                                               19-Jun-2026 08:32  115.6 MB
rossi-0.1.0-1.fc42.src.rpm                                                                          20-Jun-2026 14:51  5.3 MB
rossi-0.1.0-1.fc42.x86_64.rpm                                                                       20-Jun-2026 14:51  3.4 MB
rossi-debuginfo-0.1.0-1.fc42.x86_64.rpm                                                             20-Jun-2026 14:51  29.4 MB
rossi-debugsource-0.1.0-1.fc42.x86_64.rpm                                                           20-Jun-2026 14:51  3.0 MB