diff --git a/CHANGELOG.md b/CHANGELOG.md index 9ca51e1..4a37b6c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog -## Unreleased +## v0.2.4 * Update Dhall contract template to use the package configuration on `master` ([\#72](https://github.com/informalsystems/themis-contract/pull/72)) diff --git a/pkg/themis-contract/statik/statik.go b/pkg/themis-contract/statik/statik.go index 430239d..1a2ccbb 100644 --- a/pkg/themis-contract/statik/statik.go +++ b/pkg/themis-contract/statik/statik.go @@ -8,7 +8,7 @@ import ( func init() { - data := "PK\x03\x04\x14\x00\x08\x00\x08\x00m\x86\xefP\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1a\x00 \x00pandoc/header-includes.texUT\x05\x00\x01\x0e4\x0f_L\xccK\x0e\xc20\x10\x03\xd0}O\xe1M\xc4E8F7\x0dq\xcbH\xd3L\x95\x99\xf0\x11\xe2\xee\x08\x85\x05\xcbg[N g\xab\xa7\xc0R\nn\xe2\x92\x95h] \x95JG\x18b\xc9J\x9fR\xc2\x95z\xac]\xb1Z\x83\xc7S\xa5np\xa9\x17\xe2Nt\xe7o:z\xd9\xea\x12\xbd\x11\xd9\x1e\xf4i.\\\xe7\xb0\xe3\xfb\xfdz\x0ff\x8b\xb0\xfd?\xd9\xa5\x0c~\x02\x00\x00\xff\xffPK\x07\x08\xa2$\xe3\xafr\x00\x00\x00\x98\x00\x00\x00PK\x03\x04\x14\x00\x08\x00\x08\x00m\x86\xefP\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00 \x00pandoc/include-before.texUT\x05\x00\x01\x0e4\x0f_\x1c\x8d1\x0e\xc20\x10\x04\xfb\xbc\xe2\x1a7HT\xfc\x84:\xcda/\x89\xa5\xf8lqkP\x14\xe5\xef(nwg4!\xc8\x13\xa9G\xb8p\x85h\xa9\xdd(\xf5-\xde4B^\xe0\x0f\xb0\xf11s\x83\xac\xd0\x94mqQK\xd7<\x85 N\xfd\x0c\xe9\xc2R\x8d\xbd\xc0(\xb1\x1aa\x9cf\xae\xd9\x9b.p\xee\x1b\x0e\x94\xc6\xfd\x9c\xe6\xef(\xdc\x8e\xfb\x03\xe5\xfc\x07\x00\x00\xff\xffPK\x07\x08\xed\xe6\x9aPq\x00\x00\x00\x87\x00\x00\x00PK\x03\x04\x14\x00\x08\x00\x08\x00m\x86\xefP\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1b\x00 \x00pandoc/pandoc-defaults.yamlUT\x05\x00\x01\x0e4\x0f_\\R\xcdn\xdb<\x10\xbc\xf3)\x16\xd21\x1fc\xe4\xaa\xdb\x87\xa2\xd7\xa2h\xd2S\x11$+rh\x11\xa6H\x81\xbbr\xed\xb7/\xf4c\x1b\xedI\xe2\xce\xccrv\xb8\xa1\x96\xb1\xa3\x91\xeb\xc9\x97\xdf\xf9) ;\xf8\x0f\x1f\xcf\xf2\xd4Wv'(\xfc\x87L\x9c\xc5\x98\x96~\n(\x06\x1a^h\x00\xfb\x98\x8fB2\x949y\xcaE\xa9\x07\xe5y\xecQ\xe1I\xe04\x96,\xa6%\x19bP\xbb\x0bl\xc2\x19Il\x7f\xed\xc8\xbe\x18#\xca\xd9s*\x19\x1di\x9da\x04)XW\xb2r\xcc\xf0{\xd1\xb4\xf45s\x9f \x84\xcb\x94\xa2\x8bz\xbf\x81\x16\xb3\xd4\xb3\xc0S\xc9T\x91X\xe3\x197\x874\x15\x89\x9b\x95]a\x17\xc1\xa3\xf1\xb7\xd5\xf2\xc3\xf06\x82\xbd\x9d\x1f\xc4/\xb3h\x19)\xb1\xe2B\xa2\xd7\xc5\x8d\x16b\xef\x97\x8f\x0e \xc58-\xb0i \xec\x06\x8a\x8a\x91b^\xb1\x14Eoa\xf5 \xa6\x10\x13hb\x1dL\xcc.\xcd\x1e6\xe65%\xd4\x8e~5\xdb\x9f\xdd1yV\\\x9a\xf7;\xb5G(\x15\xb6/\xfe\xba\x90\xff.\xef\\\xd3\xd2[\xe5,\xa1\xd4\x91\xb7\xa8\xca\x19uu3q\xf6\xc5\xd1\xff\xafo&\xc4\xa4\xa8\xd2\x19\xa2\x96^\x01\x1aT'\xe9\x0e\x87c\xd4a\xee\x9f]\x19\x0f)\xa2z>\xc5t\xd8\x84\xd6\xd5\"R\x11\x0c\x91\xa5\x7fkf\x84\xb2g\xe5\xad\xe7\x0f\x04\xd4e\xaf\xd6\xb8>[\x81\xebB)\x9f\xa4|\x14\xe2\n\xaa\xc8~\xdd\x1a\x16j^\xb7\xe0\xe9\xa51\xb4\xbc\xca\xf7\x8a\x10/\xcb\x94;\xd2\xfcw'I\xf3n\xfe\x04\x00\x00\xff\xffPK\x07\x08\x1c\x98L\xa8\x94\x01\x00\x00\xc2\x02\x00\x00PK\x03\x04\x14\x00\x08\x00\x08\x00&\x0c\x1aQ\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1d\x00 \x00templates/contract.dhall.tmplUT\x05\x00\x01\xd8\xbbE_\x84\x92\xddn\xdb0\x0c\x85\xef\xfd\x14D\xaf\x179u~l\x07\xc8\xc5\xb0\xa1\xd8\xc50\x0c[\xf7\x00\x8cL\xdb\xc2\xf4\x13H\xcc\nC\xd0\xbb\x0fu\x9cduW\xf4\xce\xa6\x8e>\x1d\x1e2.2\x00\x80\xcf\x0e\xacc0\xaeQ\xed\x00\xdc\xab\x00\xad\xd2\x04\x0bP\x0c*\x00\x9e\xd8\x19d%Q\xeb\x01:\xb2\xe4\x91\xa9\x01\xb4\x0d\x18\xb4\xd8Q\x03\x87aD=\xf6dT\x80O\xce\xb2G\xc9\x02>\xda\x01d\x8f\xb6\xa3\x00\x06\x078\xd0\x0c\xe7\xfe\x90\x7f\xf2\x8a\x99\xac\xc8\x16)\xcb4\xf1\x84\xb9P`\x0f=\xf31\xec\xf2\xdc\xe3\x93\xe8\x14\xf7\xa7\xc3)\x90\x97\xce2Y\x16\xd2\x99\\\xd9\xd6y\x83:\x0c\x81\xc9\x84\x9cG\xc4BN\x8c\xdc``\xf2\xb9t\xb6U]~D\xf9\x1b;\x12M\x8fZ\x8f\xceC\x8f\xc5f\xbb[\xdeo\x0f\xab\xaa\xa8 \x89\x8a\xb2n\x0bI%\x96\xeb%\xd6\xe5\xba\xbdGYn\xcaMU\xd5+\xb9.\x9a\xa2XV\xdb\x0d\xae\xabR\xae6m[cU/\xcf\xfe/\xaf\xc2n\xd6\x8a\xb8\xf54\xbe\x1a\xe1\x88\x1eM\x98~\xcf%\xed$\xb2r\x16\xf6p\x17\xa3\xf8>*\x1e\x94&\xf1u:I\xe9\xee\xaa\xff\x00=\x86\xfe\xb5\xf6\x0b\x86\xfe_]\xca\xce\xea\xd31\xb0'4\xb0\x87\x18U\x0b\xe2\xd7TH\xe9\xa73\xf4\xb6\x8f\x8b\xee}\x17W\xe5+\x0f1\x92\x0e\x94\xd27gi\x1e\xcd\xb3\xeb\x1f\xd4\xc6H\xb6I\x17\xb7L\xe6\xa8\x91\xe9E@\xe3\xa4\x9f\xd7bFx\x9c\xc4\x0f\xe3\xb9\x88\xf1Z\x11\xe7\xd2\x84=\xa3\xc7\x1d\xbfa\xff\xdb\xf3\xed\xfe[\xf1\xc3\xbc\xf9\x97W\xe6 \xc0u\x12\xb7\xaf\x94e\xca^w\xe6o\x00\x00\x00\xff\xffPK\x07\x08\\\xa9G\xb6\xab\x01\x00\x00\x95\x03\x00\x00PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00m\x86\xefP\xa2$\xe3\xafr\x00\x00\x00\x98\x00\x00\x00\x1a\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81\x00\x00\x00\x00pandoc/header-includes.texUT\x05\x00\x01\x0e4\x0f_PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00m\x86\xefP\xed\xe6\x9aPq\x00\x00\x00\x87\x00\x00\x00\x19\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81\xc3\x00\x00\x00pandoc/include-before.texUT\x05\x00\x01\x0e4\x0f_PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00m\x86\xefP\x1c\x98L\xa8\x94\x01\x00\x00\xc2\x02\x00\x00\x1b\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81\x84\x01\x00\x00pandoc/pandoc-defaults.yamlUT\x05\x00\x01\x0e4\x0f_PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00&\x0c\x1aQ\\\xa9G\xb6\xab\x01\x00\x00\x95\x03\x00\x00\x1d\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81j\x03\x00\x00templates/contract.dhall.tmplUT\x05\x00\x01\xd8\xbbE_PK\x05\x06\x00\x00\x00\x00\x04\x00\x04\x00G\x01\x00\x00i\x05\x00\x00\x00\x00" + data := "PK\x03\x04\x14\x00\x08\x00\x08\x00m\x86\xefP\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1a\x00 \x00pandoc/header-includes.texUT\x05\x00\x01\x0e4\x0f_L\xccK\x0e\xc20\x10\x03\xd0}O\xe1M\xc4E8F7\x0dq\xcbH\xd3L\x95\x99\xf0\x11\xe2\xee\x08\x85\x05\xcbg[N g\xab\xa7\xc0R\nn\xe2\x92\x95h] \x95JG\x18b\xc9J\x9fR\xc2\x95z\xac]\xb1Z\x83\xc7S\xa5np\xa9\x17\xe2Nt\xe7o:z\xd9\xea\x12\xbd\x11\xd9\x1e\xf4i.\\\xe7\xb0\xe3\xfb\xfdz\x0ff\x8b\xb0\xfd?\xd9\xa5\x0c~\x02\x00\x00\xff\xffPK\x07\x08\xa2$\xe3\xafr\x00\x00\x00\x98\x00\x00\x00PK\x03\x04\x14\x00\x08\x00\x08\x00m\x86\xefP\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00 \x00pandoc/include-before.texUT\x05\x00\x01\x0e4\x0f_\x1c\x8d1\x0e\xc20\x10\x04\xfb\xbc\xe2\x1a7HT\xfc\x84:\xcda/\x89\xa5\xf8lqkP\x14\xe5\xef(nwg4!\xc8\x13\xa9G\xb8p\x85h\xa9\xdd(\xf5-\xde4B^\xe0\x0f\xb0\xf11s\x83\xac\xd0\x94mqQK\xd7<\x85 N\xfd\x0c\xe9\xc2R\x8d\xbd\xc0(\xb1\x1aa\x9cf\xae\xd9\x9b.p\xee\x1b\x0e\x94\xc6\xfd\x9c\xe6\xef(\xdc\x8e\xfb\x03\xe5\xfc\x07\x00\x00\xff\xffPK\x07\x08\xed\xe6\x9aPq\x00\x00\x00\x87\x00\x00\x00PK\x03\x04\x14\x00\x08\x00\x08\x00m\x86\xefP\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1b\x00 \x00pandoc/pandoc-defaults.yamlUT\x05\x00\x01\x0e4\x0f_\\R\xcdn\xdb<\x10\xbc\xf3)\x16\xd21\x1fc\xe4\xaa\xdb\x87\xa2\xd7\xa2h\xd2S\x11$+rh\x11\xa6H\x81\xbbr\xed\xb7/\xf4c\x1b\xedI\xe2\xce\xccrv\xb8\xa1\x96\xb1\xa3\x91\xeb\xc9\x97\xdf\xf9) ;\xf8\x0f\x1f\xcf\xf2\xd4Wv'(\xfc\x87L\x9c\xc5\x98\x96~\n(\x06\x1a^h\x00\xfb\x98\x8fB2\x949y\xcaE\xa9\x07\xe5y\xecQ\xe1I\xe04\x96,\xa6%\x19bP\xbb\x0bl\xc2\x19Il\x7f\xed\xc8\xbe\x18#\xca\xd9s*\x19\x1di\x9da\x04)XW\xb2r\xcc\xf0{\xd1\xb4\xf45s\x9f \x84\xcb\x94\xa2\x8bz\xbf\x81\x16\xb3\xd4\xb3\xc0S\xc9T\x91X\xe3\x197\x874\x15\x89\x9b\x95]a\x17\xc1\xa3\xf1\xb7\xd5\xf2\xc3\xf06\x82\xbd\x9d\x1f\xc4/\xb3h\x19)\xb1\xe2B\xa2\xd7\xc5\x8d\x16b\xef\x97\x8f\x0e \xc58-\xb0i \xec\x06\x8a\x8a\x91b^\xb1\x14Eoa\xf5 \xa6\x10\x13hb\x1dL\xcc.\xcd\x1e6\xe65%\xd4\x8e~5\xdb\x9f\xdd1yV\\\x9a\xf7;\xb5G(\x15\xb6/\xfe\xba\x90\xff.\xef\\\xd3\xd2[\xe5,\xa1\xd4\x91\xb7\xa8\xca\x19uu3q\xf6\xc5\xd1\xff\xafo&\xc4\xa4\xa8\xd2\x19\xa2\x96^\x01\x1aT'\xe9\x0e\x87c\xd4a\xee\x9f]\x19\x0f)\xa2z>\xc5t\xd8\x84\xd6\xd5\"R\x11\x0c\x91\xa5\x7fkf\x84\xb2g\xe5\xad\xe7\x0f\x04\xd4e\xaf\xd6\xb8>[\x81\xebB)\x9f\xa4|\x14\xe2\n\xaa\xc8~\xdd\x1a\x16j^\xb7\xe0\xe9\xa51\xb4\xbc\xca\xf7\x8a\x10/\xcb\x94;\xd2\xfcw'I\xf3n\xfe\x04\x00\x00\xff\xffPK\x07\x08\x1c\x98L\xa8\x94\x01\x00\x00\xc2\x02\x00\x00PK\x03\x04\x14\x00\x08\x00\x08\x00\x10\x0d\x1aQ\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1d\x00 \x00templates/contract.dhall.tmplUT\x05\x00\x01\x90\xbdE_\x84\x92\xddn\xdb0\x0c\x85\xef\xfd\x14D\xaf\x179u~l\x07\xc8\xc5\xb0\xa1\xd8\xc50\x0c[\xf7\x00\x8cL\xdb\xc2\xf4\x13H\xcc\nC\xd0\xbb\x0fu\x9cduW\xf4\xce\xa6\x8e>\x1d\x1e2.2\x00\x80\xcf\x0e\xacc0\xaeQ\xed\x00\xdc\xab\x00\xad\xd2\x04\x0bP\x0c*\x00\x9e\xd8\x19d%Q\xeb\x01:\xb2\xe4\x91\xa9\x01\xb4\x0d\x18\xb4\xd8Q\x03\x87aD=\xf6dT\x80O\xce\xb2G\xc9\x02>\xda\x01d\x8f\xb6\xa3\x00\x06\x078\xd0\x0c\xe7\xfe\x90\x7f\xf2\x8a\x99\xac\xc8\x16)\xcb4\xf1\x84\xb9P`\x0f=\xf31\xec\xf2\xdc\xe3\x93\xe8\x14\xf7\xa7\xc3)\x90\x97\xce2Y\x16\xd2\x99\\\xd9\xd6y\x83:\x0c\x81\xc9\x84\x9cG\xc4BN\x8c\xdc``\xf2\xb9t\xb6U]~D\xf9\x1b;\x12M\x8fZ\x8f\xceC\x8f\xc5f\xbb[\xdeo\x0f\xab\xaa\xa8 \x89\x8a\xb2n\x0bI%\x96\xeb%\xd6\xe5\xba\xbdGYn\xcaMU\xd5+\xb9.\x9a\xa2XV\xdb\x0d\xae\xabR\xae6m[cU/\xcf\xfe/\xaf\xc2n\xd6\x8a\xb8\xf54\xbe\x1a\xe1\x88\x1eM\x98~\xcf%\xed$\xb2r\x16\xf6p\x17\xa3\xf8>*\x1e\x94&\xf1u:I\xe9\xee\xaa\xff\x00=\x86\xfe\xb5\xf6\x0b\x86\xfe_]\xca\xce\xea\xd31\xb0'4\xb0\x87\x18U\x0b\xe2\xd7TH\xe9\xa73\xf4\xb6\x8f\x8b\xee}\x17W\xe5+\x0f1\x92\x0e\x94\xd27gi\x1e\xcd\xb3\xeb\x1f\xd4\xc6H\xb6I\x17\xb7L\xe6\xa8\x91\xe9E@\xe3\xa4\x9f\xd7bFx\x9c\xc4\x0f\xe3\xb9\x88\xf1Z\x11\xe7\xd2\x84=\xa3\xc7\x1d\xbfa\xff\xdb\xf3\xed\xfe[\xf1\xc3\xbc\xf9\x97W\xe6 \xc0u\x12\xb7\xaf\x94e\xca^w\xe6o\x00\x00\x00\xff\xffPK\x07\x08\\\xa9G\xb6\xab\x01\x00\x00\x95\x03\x00\x00PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00m\x86\xefP\xa2$\xe3\xafr\x00\x00\x00\x98\x00\x00\x00\x1a\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81\x00\x00\x00\x00pandoc/header-includes.texUT\x05\x00\x01\x0e4\x0f_PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00m\x86\xefP\xed\xe6\x9aPq\x00\x00\x00\x87\x00\x00\x00\x19\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81\xc3\x00\x00\x00pandoc/include-before.texUT\x05\x00\x01\x0e4\x0f_PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00m\x86\xefP\x1c\x98L\xa8\x94\x01\x00\x00\xc2\x02\x00\x00\x1b\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81\x84\x01\x00\x00pandoc/pandoc-defaults.yamlUT\x05\x00\x01\x0e4\x0f_PK\x01\x02\x14\x03\x14\x00\x08\x00\x08\x00\x10\x0d\x1aQ\\\xa9G\xb6\xab\x01\x00\x00\x95\x03\x00\x00\x1d\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\x81j\x03\x00\x00templates/contract.dhall.tmplUT\x05\x00\x01\x90\xbdE_PK\x05\x06\x00\x00\x00\x00\x04\x00\x04\x00G\x01\x00\x00i\x05\x00\x00\x00\x00" fs.Register(data) } \ No newline at end of file