Index of /api/pulp-content/public-copr/jjames/OCaml/fedora-rawhide-s390x/Packages/r/
../
rocq-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 7.3 kB
rocq-9.2.0-1.fc45.src.rpm 10-Apr-2026 19:31 6.6 MB
rocq-coqide-server-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 15.2 MB
rocq-coqide-server-debuginfo-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 4.3 MB
rocq-coqide-server-devel-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 995.3 kB
rocq-core-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 1.2 MB
rocq-core-source-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 123.0 kB
rocq-debuginfo-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 464.5 kB
rocq-debugsource-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 2.3 MB
rocq-doc-9.2.0-1.fc45.noarch.rpm 10-Apr-2026 19:31 8.2 MB
rocq-rocqide-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 3.6 MB
rocq-rocqide-debuginfo-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 1.9 MB
rocq-runtime-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 116.0 MB
rocq-runtime-debuginfo-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 15.1 MB
rocq-runtime-devel-9.2.0-1.fc45.s390x.rpm 10-Apr-2026 19:31 131.6 MB
rocq-stdlib-9.1.0-2.fc45.s390x.rpm 10-Apr-2026 21:40 22.7 MB
rocq-stdlib-9.1.0-2.fc45.src.rpm 10-Apr-2026 21:40 1.9 MB
rocq-stdlib-source-9.1.0-2.fc45.s390x.rpm 10-Apr-2026 21:40 1.0 MB