chipkit uno32

After I have updated my Arduino 1.8.1 to ver. 1.8.12. I cannot find my chipkit uno32 in the Board manager.
How can I get it back into 1.8.12.
I have tried to install the 1.8.1 again but it is using the new Board manager so it did not help me.

Best regards

Did you add to Additioanal Board Managers URL box ( Files --> Preferences ) ?


PLEASE stop using the "REPORT TO MODERATOR" button like a reply option.

Could you take a few moments to Learn How To Use The Forum. It will help you get the best out of the forum in the future. Other general help and troubleshooting advice can be found here.