Index of /api/pulp-content/public-copr/jjames/OCaml/fedora-rawhide-x86_64/Packages/r/
../
rocq-9.2.0-1.fc45.src.rpm 10-Apr-2026 16:18 6.6 MB
rocq-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 7.4 kB
rocq-coqide-server-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 13.3 MB
rocq-coqide-server-debuginfo-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 4.7 MB
rocq-coqide-server-devel-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 992.7 kB
rocq-core-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 3.9 MB
rocq-core-source-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 123.1 kB
rocq-debuginfo-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 462.5 kB
rocq-debugsource-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 2.3 MB
rocq-doc-9.2.0-1.fc45.noarch.rpm 10-Apr-2026 16:18 8.0 MB
rocq-rocqide-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 3.1 MB
rocq-rocqide-debuginfo-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 2.0 MB
rocq-runtime-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 110.0 MB
rocq-runtime-debuginfo-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 16.2 MB
rocq-runtime-devel-9.2.0-1.fc45.x86_64.rpm 10-Apr-2026 16:18 131.0 MB
rocq-stdlib-9.1.0-2.fc45.src.rpm 10-Apr-2026 21:05 1.9 MB
rocq-stdlib-9.1.0-2.fc45.x86_64.rpm 10-Apr-2026 21:05 37.4 MB
rocq-stdlib-source-9.1.0-2.fc45.x86_64.rpm 10-Apr-2026 21:05 1.0 MB