Info from https://github.com/stm32duino/wiki/wiki/
Add variant NUCLEO F303ZE board to your Arduino IDE Environment. Files are available in the corresponding folder. You have to declare the variant in the boards.txt file. Just add lines 37 to 48 from file boards.txt to YOUR boards.txt file and restart your Arduino IDE
Note: Tested on Linux and it works!