@User: Actually I forgot that I put them in the open_pdks repository. You can find them under sky130/custom/sky130_fd_io/spice/sky130_fd_io.spice. Along with everything else, but the sky130_fd_io__top_power_hvc_wpadv2 subcircuit is in there.
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.