pineapplehunter/circt-nix

circt exists in upstream nixpkgs