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.