Index of /api/pulp-content/public-copr/jjames/OCaml/fedora-rawhide-ppc64le/Packages/w/

../
why3-1.8.2-10.fc45.ppc64le.rpm                                                                      13-Apr-2026 03:22  14.4 MB
why3-1.8.2-10.fc45.src.rpm                                                                          13-Apr-2026 03:22  7.4 MB
why3-all-1.8.2-10.fc45.ppc64le.rpm                                                                  13-Apr-2026 03:22  9.7 kB
why3-debuginfo-1.8.2-10.fc45.ppc64le.rpm                                                            13-Apr-2026 03:22  6.7 MB
why3-debugsource-1.8.2-10.fc45.ppc64le.rpm                                                          13-Apr-2026 03:22  1.0 MB
why3-emacs-1.8.2-10.fc45.noarch.rpm                                                                 13-Apr-2026 03:22  13.9 kB
why3-examples-1.8.2-10.fc45.noarch.rpm                                                              13-Apr-2026 03:22  4.6 MB
why3-proofgeneral-1.8.2-10.fc45.noarch.rpm                                                          13-Apr-2026 03:22  13.5 kB