{ fetchgit }:
fetchgit {
  name = "tvix";
  url = "https://git.dgnum.eu/mdebray/tvl-depot.git";
  rev = "2f767d0ddaa513da11f491b3b6dead22f795776b";
  hash = "sha256-UYqyCc9uIckXMIp7iOzwy0COloM3o1FEwzo8ZALOw88=";
}