Index of /api/pulp-content/public-copr/jjames/Rocq9/fedora-rawhide-aarch64/Packages/r/
../
rocq-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 7.3 kB
rocq-9.1.1-1.fc45.src.rpm 09-Mar-2026 17:05 6.4 MB
rocq-coqide-server-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 14.0 MB
rocq-coqide-server-debuginfo-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 4.3 MB
rocq-coqide-server-devel-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 1.0 MB
rocq-core-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 1.2 MB
rocq-core-source-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 121.3 kB
rocq-debuginfo-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 449.9 kB
rocq-debugsource-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 2.2 MB
rocq-doc-9.1.1-1.fc45.noarch.rpm 09-Mar-2026 17:05 11.4 MB
rocq-rocqide-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 3.2 MB
rocq-rocqide-debuginfo-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 1.9 MB
rocq-runtime-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 109.8 MB
rocq-runtime-debuginfo-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 14.7 MB
rocq-runtime-devel-9.1.1-1.fc45.aarch64.rpm 09-Mar-2026 17:05 128.9 MB
rocq-stdlib-9.1.0-1.fc45.aarch64.rpm 09-Mar-2026 17:30 22.9 MB
rocq-stdlib-9.1.0-1.fc45.src.rpm 09-Mar-2026 17:30 1.9 MB
rocq-stdlib-source-9.1.0-1.fc45.aarch64.rpm 09-Mar-2026 17:30 1.0 MB