GaloisInc/ivory-tower-stm32 — pull request #1 by leepike (2014-12-24 02:19:50+00:00)
Title: package names: standardize, put in tower frontend.

Depends on merging https://github.com/GaloisInc/tower/pull/7 first (will fail on Travis until that is merged).