tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
by-name
/
el
/
elan
/
at
master
2 files
0001-dynamically-patchelf-binaries.patch
elan: fix for Lean >= 4.16.0
1 year ago
package.nix
treewide: remove useFetchCargoVendor usages
7 months ago