[CI][slang] Rename slang to slang-verilog#50174
Conversation
|
Note: This port was merged two days ago -> #50116 @timkpaine It looks like the configs from this port were in conflict with another port in the registry. I see on repology that this library is referenced as |
|
@BillyONeal @vicroms I could revert the commit that adds this port and re-add it in a new PR? |
I think for now we should just deindex it to limit the damage and effectively reopen the original PR. |
To the best of my understanding renaming the port will not change this. |
slang-veriloghttps://aur.archlinux.org/packages/slang-verilogshare/slangwhich conflicts with another port (shader-slang) https://dev.azure.com/vcpkg/public/_build/results?buildId=127571&view=logs&j=f79cfdd7-47a8-597f-8f57-dc3e21a8f2ad&t=73c5513e-c47c-57a4-379a-581f7e429f13