Nix flake of prebuilt Genode binaries
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

1234567
  1. [{
  2. name = "base-linux";
  3. value = {
  4. sha256 = "1iw0sxwbz9l53hcqmiw6j73hfzzbh3dv2nwjjlj8hjw5k6ag4da7";
  5. version = "2019-12-12";
  6. };
  7. }]