Index of /api/pulp-content/public-copr/jjames/Rocq9/fedora-rawhide-s390x/Packages/r/
../
rocq-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 7.3 kB
rocq-9.1.1-1.fc45.src.rpm 09-Mar-2026 17:21 6.4 MB
rocq-coqide-server-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 14.6 MB
rocq-coqide-server-debuginfo-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 4.2 MB
rocq-coqide-server-devel-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 994.9 kB
rocq-core-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 1.2 MB
rocq-core-source-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 121.2 kB
rocq-debuginfo-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 449.9 kB
rocq-debugsource-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 2.2 MB
rocq-doc-9.1.1-1.fc45.noarch.rpm 09-Mar-2026 17:21 11.4 MB
rocq-rocqide-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 3.6 MB
rocq-rocqide-debuginfo-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 1.9 MB
rocq-runtime-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 112.6 MB
rocq-runtime-debuginfo-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 14.7 MB
rocq-runtime-devel-9.1.1-1.fc45.s390x.rpm 09-Mar-2026 17:21 126.6 MB
rocq-stdlib-9.1.0-1.fc45.s390x.rpm 09-Mar-2026 17:33 22.9 MB
rocq-stdlib-9.1.0-1.fc45.src.rpm 09-Mar-2026 17:33 1.9 MB
rocq-stdlib-source-9.1.0-1.fc45.s390x.rpm 09-Mar-2026 17:33 1.0 MB