Index of /api/pulp-content/public-copr/jjames/OCaml/fedora-rawhide-ppc64le/Packages/r/
../
rocq-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 7.3 kB
rocq-9.2.0-1.fc45.src.rpm 10-Apr-2026 16:34 6.6 MB
rocq-coqide-server-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 13.6 MB
rocq-coqide-server-debuginfo-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 4.3 MB
rocq-coqide-server-devel-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 1.0 MB
rocq-core-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 1.2 MB
rocq-core-source-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 123.0 kB
rocq-debuginfo-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 465.5 kB
rocq-debugsource-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 2.3 MB
rocq-doc-9.2.0-1.fc45.noarch.rpm 10-Apr-2026 16:34 8.0 MB
rocq-rocqide-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 3.2 MB
rocq-rocqide-debuginfo-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 1.9 MB
rocq-runtime-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 111.1 MB
rocq-runtime-debuginfo-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 14.7 MB
rocq-runtime-devel-9.2.0-1.fc45.ppc64le.rpm 10-Apr-2026 16:34 134.3 MB
rocq-stdlib-9.1.0-2.fc45.ppc64le.rpm 10-Apr-2026 21:05 22.7 MB
rocq-stdlib-9.1.0-2.fc45.src.rpm 10-Apr-2026 21:05 1.9 MB
rocq-stdlib-source-9.1.0-2.fc45.ppc64le.rpm 10-Apr-2026 21:05 1.0 MB