Index of /api/pulp-content/public-copr/jjames/OCaml/fedora-rawhide-aarch64/Packages/r/
../
rocq-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 7.4 kB
rocq-9.2.0-1.fc45.src.rpm 10-Apr-2026 16:19 6.6 MB
rocq-coqide-server-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 14.1 MB
rocq-coqide-server-debuginfo-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 4.4 MB
rocq-coqide-server-devel-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 1.0 MB
rocq-core-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 1.2 MB
rocq-core-source-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 123.0 kB
rocq-debuginfo-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 462.1 kB
rocq-debugsource-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 2.3 MB
rocq-doc-9.2.0-1.fc45.noarch.rpm 10-Apr-2026 16:19 8.0 MB
rocq-rocqide-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 3.3 MB
rocq-rocqide-debuginfo-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 1.9 MB
rocq-runtime-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 112.1 MB
rocq-runtime-debuginfo-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 14.9 MB
rocq-runtime-devel-9.2.0-1.fc45.aarch64.rpm 10-Apr-2026 16:19 133.6 MB
rocq-stdlib-9.1.0-2.fc45.aarch64.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.aarch64.rpm 10-Apr-2026 21:05 1.0 MB