libopenstm32 was renamed to libopencm3, please use <a href="http://www.libopencm3.org">libopencm3.org</a>.