History coin-or-OS.spec