tm-proposer-idris.ipkg

package tm-proposer-idris

brief       = "Formal verification of Tendermint proposer election fairness"
readme      = README.md
license     = GPL3
sourceloc   = git://git@github.com:cwgoes/tm-proposer-idris.git
bugtracker  = http://www.github.com/cwgoes/tm-proposer-idris/issues

modules     = Main
sourcedir   = src