Index of /api/pulp-content/public-copr/mhough/neurofedora/fedora-45-x86_64/Packages/l/
../
labrecorder-1.17.1-2.fc45.src.rpm 17-Oct-2026 21:33 118.8 kB
labrecorder-1.17.1-2.fc45.x86_64.rpm 17-Oct-2026 21:33 163.8 kB
labrecorder-debuginfo-1.17.1-2.fc45.x86_64.rpm 17-Oct-2026 21:33 1.8 MB
labrecorder-debugsource-1.17.1-2.fc45.x86_64.rpm 17-Oct-2026 21:33 36.9 kB
laynii-2.10.0-2.fc45.src.rpm 17-Oct-2026 21:33 92.6 MB
laynii-2.10.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 965.3 kB
laynii-debuginfo-2.10.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 4.1 MB
laynii-debugsource-2.10.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 866.1 kB
laynii-ida-2.10.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 553.2 kB
laynii-ida-debuginfo-2.10.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 1.8 MB
lean-repl-4.32.0-1.fc45.src.rpm 17-Oct-2026 21:33 50.0 kB
lean-repl-4.32.0-1.fc45.x86_64.rpm 17-Oct-2026 21:33 40.5 MB
lean-repl-4.35.0-1.fc45.src.rpm 19-Oct-2026 16:24 50.6 kB
lean-repl-4.35.0-1.fc45.x86_64.rpm 19-Oct-2026 16:24 41.7 MB
lean4-4.32.0-1.fc45.src.rpm 17-Oct-2026 21:33 73.8 MB
lean4-4.32.0-1.fc45.x86_64.rpm 17-Oct-2026 21:33 522.5 MB
lean4-4.35.0-1.fc45.src.rpm 19-Oct-2026 14:29 88.9 MB
lean4-4.35.0-1.fc45.x86_64.rpm 19-Oct-2026 14:29 535.9 MB
lean4-aesop-0^20261012git4a174c4-1.fc45.noarch.rpm 04-Nov-2026 01:24 21.1 MB
lean4-aesop-0^20261012git4a174c4-1.fc45.src.rpm 04-Nov-2026 01:24 221.3 kB
lean4-batteries-0^20261012git66e4691-1.fc45.noarch.rpm 04-Nov-2026 01:20 29.5 MB
lean4-batteries-0^20261012git66e4691-1.fc45.src.rpm 04-Nov-2026 01:20 389.9 kB
lean4-cli-4.35.0-1.fc45.noarch.rpm 04-Nov-2026 01:18 1.2 MB
lean4-cli-4.35.0-1.fc45.src.rpm 04-Nov-2026 01:18 36.3 kB
lean4-importgraph-0^20261012gita41f0e9-1.fc45.noarch.rpm 04-Nov-2026 01:23 6.2 MB
lean4-importgraph-0^20261012gita41f0e9-1.fc45.src.rpm 04-Nov-2026 01:23 193.0 kB
lean4-leansearchclient-0^20261012gitd6b4c7b-1.fc45.noarch.rpm 04-Nov-2026 01:18 837.8 kB
lean4-leansearchclient-0^20261012gitd6b4c7b-1.fc45.src.rpm 04-Nov-2026 01:18 26.5 kB
lean4-mathlib-4.35.0-1.fc45.noarch.rpm 04-Nov-2026 08:41 1.6 GB
lean4-mathlib-4.35.0-1.fc45.src.rpm 04-Nov-2026 08:41 24.0 MB
lean4-mathlib-4.35.0-2.fc45.noarch.rpm 05-Nov-2026 05:14 1.6 GB
lean4-mathlib-4.35.0-2.fc45.src.rpm 05-Nov-2026 05:14 24.0 MB
lean4-physlib-4.35.0-2.fc45.noarch.rpm 04-Nov-2026 17:14 148.3 MB
lean4-physlib-4.35.0-2.fc45.src.rpm 04-Nov-2026 17:14 4.2 MB
lean4-physlib-4.35.0-3.fc45.noarch.rpm 05-Nov-2026 00:22 148.3 MB
lean4-physlib-4.35.0-3.fc45.src.rpm 05-Nov-2026 00:22 4.2 MB
lean4-plausible-0^20261012gitdfa4f38-1.fc45.noarch.rpm 04-Nov-2026 01:18 2.3 MB
lean4-plausible-0^20261012gitdfa4f38-1.fc45.src.rpm 04-Nov-2026 01:18 56.0 kB
lean4-proofwidgets-0.0.116-1.fc45.noarch.rpm 04-Nov-2026 01:19 13.2 MB
lean4-proofwidgets-0.0.116-1.fc45.src.rpm 04-Nov-2026 01:19 3.9 MB
lean4-qq-0^20261012gitdce0ad7-1.fc45.noarch.rpm 04-Nov-2026 01:19 3.4 MB
lean4-qq-0^20261012gitdce0ad7-1.fc45.src.rpm 04-Nov-2026 01:19 45.9 kB
lean4-rpm-macros-1-1.fc45.noarch.rpm 03-Nov-2026 19:37 9.1 kB
lean4-rpm-macros-1-1.fc45.src.rpm 03-Nov-2026 19:37 9.8 kB
leangz-0.1.20-2.fc45.src.rpm 17-Oct-2026 21:33 12.7 MB
leangz-0.1.20-2.fc45.x86_64.rpm 17-Oct-2026 21:33 966.5 kB
libigl-2.6.3-1.fc45.src.rpm 17-Oct-2026 21:33 1.3 MB
libigl-devel-2.6.3-1.fc45.noarch.rpm 17-Oct-2026 21:33 974.9 kB
liblsl-1.17.7-2.fc45.src.rpm 17-Oct-2026 21:33 1.0 MB
liblsl-1.17.7-2.fc45.x86_64.rpm 17-Oct-2026 21:33 271.6 kB
liblsl-debuginfo-1.17.7-2.fc45.x86_64.rpm 17-Oct-2026 21:33 3.2 MB
liblsl-debugsource-1.17.7-2.fc45.x86_64.rpm 17-Oct-2026 21:33 312.3 kB
liblsl-devel-1.17.7-2.fc45.x86_64.rpm 17-Oct-2026 21:33 39.3 kB
libspm-0.1.0-2.fc45.src.rpm 17-Oct-2026 21:33 84.5 kB
libspm-0.1.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 91.7 kB
libspm-debuginfo-0.1.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 143.2 kB
libspm-debugsource-0.1.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 52.6 kB
libspm-devel-0.1.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 16.5 kB
libspm-static-0.1.0-2.fc45.x86_64.rpm 17-Oct-2026 21:33 229.6 kB
libxdf-1.0.4-1.fc45.src.rpm 17-Oct-2026 21:33 384.2 kB
libxdf-1.0.4-1.fc45.x86_64.rpm 17-Oct-2026 21:33 64.7 kB
libxdf-debuginfo-1.0.4-1.fc45.x86_64.rpm 17-Oct-2026 21:33 377.6 kB
libxdf-debugsource-1.0.4-1.fc45.x86_64.rpm 17-Oct-2026 21:33 33.6 kB
libxdf-devel-1.0.4-1.fc45.x86_64.rpm 17-Oct-2026 21:33 11.3 kB
lsl-apps-1.0-3.fc45.noarch.rpm 17-Oct-2026 21:33 7.6 kB
lsl-apps-1.0-3.fc45.src.rpm 17-Oct-2026 21:33 10.0 kB