Index of /api/pulp-content/public-copr/mhough/neurofedora/fedora-44-x86_64/Packages/l/
../
labrecorder-1.17.1-2.fc44.src.rpm 17-Oct-2026 19:38 118.8 kB
labrecorder-1.17.1-2.fc44.x86_64.rpm 17-Oct-2026 19:38 164.5 kB
labrecorder-debuginfo-1.17.1-2.fc44.x86_64.rpm 17-Oct-2026 19:38 1.8 MB
labrecorder-debugsource-1.17.1-2.fc44.x86_64.rpm 17-Oct-2026 19:38 36.9 kB
laynii-2.10.0-2.fc44.src.rpm 17-Oct-2026 19:38 92.6 MB
laynii-2.10.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 964.2 kB
laynii-debuginfo-2.10.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 4.1 MB
laynii-debugsource-2.10.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 866.1 kB
laynii-ida-2.10.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 553.1 kB
laynii-ida-debuginfo-2.10.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 1.8 MB
lean-repl-4.32.0-1.fc44.src.rpm 17-Oct-2026 19:38 50.0 kB
lean-repl-4.32.0-1.fc44.x86_64.rpm 17-Oct-2026 19:38 40.4 MB
lean-repl-4.35.0-1.fc44.src.rpm 19-Oct-2026 16:24 50.6 kB
lean-repl-4.35.0-1.fc44.x86_64.rpm 19-Oct-2026 16:24 41.7 MB
lean4-4.32.0-1.fc44.src.rpm 17-Oct-2026 19:38 73.8 MB
lean4-4.32.0-1.fc44.x86_64.rpm 17-Oct-2026 19:38 522.1 MB
lean4-4.35.0-1.fc44.src.rpm 19-Oct-2026 14:08 88.9 MB
lean4-4.35.0-1.fc44.x86_64.rpm 19-Oct-2026 14:08 535.7 MB
lean4-aesop-0^20261012git4a174c4-1.fc44.noarch.rpm 04-Nov-2026 01:24 21.1 MB
lean4-aesop-0^20261012git4a174c4-1.fc44.src.rpm 04-Nov-2026 01:24 221.3 kB
lean4-batteries-0^20261012git66e4691-1.fc44.noarch.rpm 04-Nov-2026 01:20 29.5 MB
lean4-batteries-0^20261012git66e4691-1.fc44.src.rpm 04-Nov-2026 01:20 389.9 kB
lean4-cli-4.35.0-1.fc44.noarch.rpm 04-Nov-2026 01:18 1.2 MB
lean4-cli-4.35.0-1.fc44.src.rpm 04-Nov-2026 01:18 36.3 kB
lean4-importgraph-0^20261012gita41f0e9-1.fc44.noarch.rpm 04-Nov-2026 01:23 6.2 MB
lean4-importgraph-0^20261012gita41f0e9-1.fc44.src.rpm 04-Nov-2026 01:23 193.0 kB
lean4-leansearchclient-0^20261012gitd6b4c7b-1.fc44.noarch.rpm 04-Nov-2026 01:18 837.8 kB
lean4-leansearchclient-0^20261012gitd6b4c7b-1.fc44.src.rpm 04-Nov-2026 01:18 26.5 kB
lean4-mathlib-4.35.0-1.fc44.noarch.rpm 04-Nov-2026 08:52 1.6 GB
lean4-mathlib-4.35.0-1.fc44.src.rpm 04-Nov-2026 08:52 24.0 MB
lean4-mathlib-4.35.0-2.fc44.noarch.rpm 05-Nov-2026 05:06 1.6 GB
lean4-mathlib-4.35.0-2.fc44.src.rpm 05-Nov-2026 05:06 24.0 MB
lean4-physlib-4.35.0-2.fc44.noarch.rpm 04-Nov-2026 17:05 148.3 MB
lean4-physlib-4.35.0-2.fc44.src.rpm 04-Nov-2026 17:05 4.2 MB
lean4-physlib-4.35.0-3.fc44.noarch.rpm 05-Nov-2026 00:28 148.3 MB
lean4-physlib-4.35.0-3.fc44.src.rpm 05-Nov-2026 00:28 4.2 MB
lean4-plausible-0^20261012gitdfa4f38-1.fc44.noarch.rpm 04-Nov-2026 01:18 2.3 MB
lean4-plausible-0^20261012gitdfa4f38-1.fc44.src.rpm 04-Nov-2026 01:18 56.0 kB
lean4-proofwidgets-0.0.116-1.fc44.noarch.rpm 04-Nov-2026 01:19 13.2 MB
lean4-proofwidgets-0.0.116-1.fc44.src.rpm 04-Nov-2026 01:19 3.9 MB
lean4-qq-0^20261012gitdce0ad7-1.fc44.noarch.rpm 04-Nov-2026 01:19 3.4 MB
lean4-qq-0^20261012gitdce0ad7-1.fc44.src.rpm 04-Nov-2026 01:19 45.9 kB
lean4-rpm-macros-1-1.fc44.noarch.rpm 03-Nov-2026 19:37 9.1 kB
lean4-rpm-macros-1-1.fc44.src.rpm 03-Nov-2026 19:37 9.8 kB
leangz-0.1.20-2.fc44.src.rpm 17-Oct-2026 19:38 12.7 MB
leangz-0.1.20-2.fc44.x86_64.rpm 17-Oct-2026 19:38 967.4 kB
libclc-22.1.8-1.fc44.1.src.rpm 17-Oct-2026 19:38 167.2 MB
libclc-22.1.8-1.fc44.1.x86_64.rpm 17-Oct-2026 19:38 6.6 MB
libclc-devel-22.1.8-1.fc44.1.x86_64.rpm 17-Oct-2026 19:38 10.5 kB
libclc-spirv-22.1.8-1.fc44.1.x86_64.rpm 17-Oct-2026 19:38 2.2 MB
libigl-2.6.3-1.fc44.src.rpm 17-Oct-2026 19:38 1.3 MB
libigl-devel-2.6.3-1.fc44.noarch.rpm 17-Oct-2026 19:38 975.0 kB
liblsl-1.17.7-2.fc44.src.rpm 17-Oct-2026 19:38 1.0 MB
liblsl-1.17.7-2.fc44.x86_64.rpm 17-Oct-2026 19:38 272.4 kB
liblsl-debuginfo-1.17.7-2.fc44.x86_64.rpm 17-Oct-2026 19:38 3.1 MB
liblsl-debugsource-1.17.7-2.fc44.x86_64.rpm 17-Oct-2026 19:38 312.3 kB
liblsl-devel-1.17.7-2.fc44.x86_64.rpm 17-Oct-2026 19:38 39.3 kB
libspm-0.1.0-2.fc44.src.rpm 17-Oct-2026 19:38 84.5 kB
libspm-0.1.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 91.8 kB
libspm-debuginfo-0.1.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 143.1 kB
libspm-debugsource-0.1.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 52.6 kB
libspm-devel-0.1.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 16.5 kB
libspm-static-0.1.0-2.fc44.x86_64.rpm 17-Oct-2026 19:38 229.7 kB
libxdf-1.0.4-1.fc44.src.rpm 17-Oct-2026 19:38 384.2 kB
libxdf-1.0.4-1.fc44.x86_64.rpm 17-Oct-2026 19:38 64.9 kB
libxdf-debuginfo-1.0.4-1.fc44.x86_64.rpm 17-Oct-2026 19:38 377.0 kB
libxdf-debugsource-1.0.4-1.fc44.x86_64.rpm 17-Oct-2026 19:38 33.6 kB
libxdf-devel-1.0.4-1.fc44.x86_64.rpm 17-Oct-2026 19:38 11.3 kB
lsl-apps-1.0-3.fc44.noarch.rpm 17-Oct-2026 19:38 7.6 kB
lsl-apps-1.0-3.fc44.src.rpm 17-Oct-2026 19:38 10.0 kB