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