This website requires JavaScript.
Explore
Help
Sign In
ehmry
/
genodepkgs
Watch
2
Star
0
Fork
You've already forked genodepkgs
0
Code
Releases
Activity
25ca508821
genodepkgs
/
packages
/
genodelabs
History
Ehmry -
77e0aa3e05
Update Genode Labs sources
2020-11-27 15:03:29 +01:00
..
patches
Update Genode Labs sources
2020-11-27 15:03:29 +01:00
default.nix
genodePackages: symlink *.lib.so to lib*.so in depot outputs
2020-11-27 11:45:16 +01:00
depot-targets.nix
Update Genode Labs sources
2020-11-27 15:03:29 +01:00
make-targets.nix
Update Genode Labs sources
2020-11-27 15:03:29 +01:00
ports.nix
Update Genode Labs sources
2020-11-27 15:03:29 +01:00
toolchain.nix
Add aarch64 platform
2020-06-03 16:56:33 +05:30