chipkit uno32

Hello!
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
Mogens

Did you add https://github.com/chipKIT32/chipKIT-core/raw/master/package_chipkit_index.json to Additioanal Board Managers URL box ( Files --> Preferences ) ?

@moje

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.