{"packages":{"hoa/praspel":{"0.14.09.16":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.14.09.16","version_normalized":"0.14.09.16","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"3825237ad506d26a114e819bef4411e4adc9b67b"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/3825237ad506d26a114e819bef4411e4adc9b67b","type":"zip","shasum":"","reference":"3825237ad506d26a114e819bef4411e4adc9b67b"},"type":"library","time":"2014-09-16T19:55:38+00:00","autoload":{"psr-0":{"Hoa\\Praspel":"."}},"target-dir":"Hoa/Praspel","require":{"hoa/core":"~1.0","hoa/compiler":"~1.0","hoa/file":"~0.0","hoa/iterator":"~0.0","hoa/realdom":"~0.0","hoa/string":"~1.0","hoa/visitor":"~0.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":235954},"0.14.09.17":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.14.09.17","version_normalized":"0.14.09.17","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"4e6b9599c991fd1aaf10aef7b8095a2bfa0826b9"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/4e6b9599c991fd1aaf10aef7b8095a2bfa0826b9","type":"zip","shasum":"","reference":"4e6b9599c991fd1aaf10aef7b8095a2bfa0826b9"},"type":"library","time":"2014-09-17T15:36:18+00:00","autoload":{"psr-0":{"Hoa\\Praspel":"."}},"target-dir":"Hoa/Praspel","require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~0.0","hoa/realdom":"~0.0","hoa/string":"~2.0","hoa/visitor":"~0.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":236792},"0.14.09.23":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.14.09.23","version_normalized":"0.14.09.23","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"94c305d20a4fa7a47f2b4671a6c89f4718159c53"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/94c305d20a4fa7a47f2b4671a6c89f4718159c53","type":"zip","shasum":"","reference":"94c305d20a4fa7a47f2b4671a6c89f4718159c53"},"type":"library","time":"2014-09-23T09:56:17+00:00","autoload":{"psr-0":{"Hoa\\Praspel":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"target-dir":"Hoa/Praspel","require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~0.0","hoa/realdom":"~0.0","hoa/string":"~2.0","hoa/visitor":"~0.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":239682},"0.14.11.09":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.14.11.09","version_normalized":"0.14.11.09","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"59a146d02a71f024555a9535f6ade23eb6b9294f"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/59a146d02a71f024555a9535f6ade23eb6b9294f","type":"zip","shasum":"","reference":"59a146d02a71f024555a9535f6ade23eb6b9294f"},"type":"library","time":"2014-11-09T10:05:20+00:00","autoload":{"psr-0":{"Hoa\\Praspel":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"target-dir":"Hoa/Praspel","require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~1.0","hoa/realdom":"~0.0","hoa/string":"~2.0","hoa/visitor":"~0.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":266595},"0.14.11.25":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.14.11.25","version_normalized":"0.14.11.25","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"afe3060c02e3963a3d455d01065b7544d39fa348"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/afe3060c02e3963a3d455d01065b7544d39fa348","type":"zip","shasum":"","reference":"afe3060c02e3963a3d455d01065b7544d39fa348"},"type":"library","time":"2014-11-15T21:22:01+00:00","autoload":{"psr-0":{"Hoa\\Praspel":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"target-dir":"Hoa/Praspel","require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~1.0","hoa/realdom":"~0.0","hoa/string":"~2.0","hoa/visitor":"~1.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":277327},"0.14.12.10":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.14.12.10","version_normalized":"0.14.12.10","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"df82c9f61d4879924645e83f2ce27d8d45dd45c0"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/df82c9f61d4879924645e83f2ce27d8d45dd45c0","type":"zip","shasum":"","reference":"df82c9f61d4879924645e83f2ce27d8d45dd45c0"},"type":"library","time":"2014-12-09T12:59:10+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~1.0","hoa/realdom":"~0.0","hoa/string":"~2.0","hoa/visitor":"~1.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":285797},"0.15.02.24":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.15.02.24","version_normalized":"0.15.02.24","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"f7801604c0631304547eee00b68ce3174d40ccdc"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/f7801604c0631304547eee00b68ce3174d40ccdc","type":"zip","shasum":"","reference":"f7801604c0631304547eee00b68ce3174d40ccdc"},"type":"library","time":"2015-02-24T08:38:30+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~1.0","hoa/realdom":"~0.0","hoa/string":"~2.0","hoa/visitor":"~1.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":339431},"0.15.05.29":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.15.05.29","version_normalized":"0.15.05.29","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"8dea9e4e8f3dd6fc9fc10ad464d48c3973dedf50"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/8dea9e4e8f3dd6fc9fc10ad464d48c3973dedf50","type":"zip","shasum":"","reference":"8dea9e4e8f3dd6fc9fc10ad464d48c3973dedf50"},"type":"library","time":"2015-05-29T14:03:57+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~1.0","hoa/realdom":"~0.0","hoa/ustring":"~3.0","hoa/visitor":"~1.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":419793},"0.15.06.01":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.15.06.01","version_normalized":"0.15.06.01","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"47e26bd74ddb85f2bfd4841f1432c0c14482cd45"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/47e26bd74ddb85f2bfd4841f1432c0c14482cd45","type":"zip","shasum":"","reference":"47e26bd74ddb85f2bfd4841f1432c0c14482cd45"},"type":"library","time":"2015-06-01T11:45:25+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~1.0","hoa/realdom":"~0.0","hoa/ustring":"~3.0","hoa/visitor":"~1.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":421759},"0.15.09.08":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"0.15.09.08","version_normalized":"0.15.09.08","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"a99b764114216174c360828af2e594e6724bacba"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/a99b764114216174c360828af2e594e6724bacba","type":"zip","shasum":"","reference":"a99b764114216174c360828af2e594e6724bacba"},"type":"library","time":"2015-09-08T13:28:27+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"0.x-dev"}},"require":{"hoa/core":"~2.0","hoa/compiler":"~2.0","hoa/file":"~0.0","hoa/iterator":"~1.0","hoa/realdom":"~0.0","hoa/ustring":"~3.0","hoa/visitor":"~1.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":515279},"1.16.01.14":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"1.16.01.14","version_normalized":"1.16.01.14","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"114345a68d6bb8c10ed3858aaa6395cf37b79c1d"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/114345a68d6bb8c10ed3858aaa6395cf37b79c1d","type":"zip","shasum":"","reference":"114345a68d6bb8c10ed3858aaa6395cf37b79c1d"},"type":"library","time":"2016-01-14T20:00:12+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~0.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~0.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":657989},"1.16.01.15":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"1.16.01.15","version_normalized":"1.16.01.15","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"2ca6fdb61791e0d73dacf5d6a040e12976f5ddca"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/2ca6fdb61791e0d73dacf5d6a040e12976f5ddca","type":"zip","shasum":"","reference":"2ca6fdb61791e0d73dacf5d6a040e12976f5ddca"},"type":"library","time":"2016-01-14T21:06:28+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~1.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~1.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~0.0"},"abandoned":true,"uid":658074},"1.16.01.16":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"1.16.01.16","version_normalized":"1.16.01.16","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"14cbe9f7bc887e34f7415fbce3117d7ee7daede6"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/14cbe9f7bc887e34f7415fbce3117d7ee7daede6","type":"zip","shasum":"","reference":"14cbe9f7bc887e34f7415fbce3117d7ee7daede6"},"type":"library","time":"2016-01-14T21:34:22+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~1.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~1.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~1.0"},"abandoned":true,"uid":658119},"1.16.05.09":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"1.16.05.09","version_normalized":"1.16.05.09","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"a638798344bf8eaa24c6b66fd377d7b52bdc2b5c"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/a638798344bf8eaa24c6b66fd377d7b52bdc2b5c","type":"zip","shasum":"","reference":"a638798344bf8eaa24c6b66fd377d7b52bdc2b5c"},"type":"library","time":"2016-05-09T11:28:19+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~1.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~1.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~1.0"},"abandoned":true,"uid":812027},"1.16.05.11":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"http://hoa-project.net/","version":"1.16.05.11","version_normalized":"1.16.05.11","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"http://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"15f8b6775695e81a73f0e20994c0ea79997363da"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/15f8b6775695e81a73f0e20994c0ea79997363da","type":"zip","shasum":"","reference":"15f8b6775695e81a73f0e20994c0ea79997363da"},"type":"library","time":"2016-05-11T07:55:24+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~1.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~1.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~1.0"},"abandoned":true,"uid":815301},"1.17.01.06":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"https://hoa-project.net/","version":"1.17.01.06","version_normalized":"1.17.01.06","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"https://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"d00a77387bfce0006a6638dd94cf05a784cb3a9b"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/d00a77387bfce0006a6638dd94cf05a784cb3a9b","type":"zip","shasum":"","reference":"d00a77387bfce0006a6638dd94cf05a784cb3a9b"},"type":"library","time":"2017-01-06T14:35:30+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~1.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~1.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~1.0"},"abandoned":true,"uid":1159224},"1.17.01.10":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"https://hoa-project.net/","version":"1.17.01.10","version_normalized":"1.17.01.10","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"https://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace","type":"zip","shasum":"","reference":"b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace"},"type":"library","time":"2017-01-10T13:08:06+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~1.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~1.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~1.0"},"abandoned":true,"uid":1165549},"dev-master":{"name":"hoa/praspel","description":"The Hoa\\Praspel library.","keywords":["library","test","validation","generation","specification","praspel","contract","precondition","postcondition","invariant"],"homepage":"https://hoa-project.net/","version":"dev-master","version_normalized":"9999999-dev","license":["BSD-3-Clause"],"authors":[{"name":"Ivan Enderlin","email":"ivan.enderlin@hoa-project.net"},{"name":"Hoa community","homepage":"https://hoa-project.net/"}],"source":{"url":"https://github.com/hoaproject/Praspel.git","type":"git","reference":"b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace"},"dist":{"url":"https://api.github.com/repos/hoaproject/Praspel/zipball/b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace","type":"zip","shasum":"","reference":"b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace"},"type":"library","time":"2017-01-10T13:08:06+00:00","autoload":{"psr-4":{"Hoa\\Praspel\\":"."}},"extra":{"branch-alias":{"dev-master":"1.x-dev"}},"default-branch":true,"require":{"hoa/compiler":"~3.0","hoa/consistency":"~1.0","hoa/exception":"~1.0","hoa/file":"~1.0","hoa/iterator":"~2.0","hoa/protocol":"~1.0","hoa/realdom":"~1.0","hoa/ustring":"~4.0","hoa/visitor":"~2.0"},"require-dev":{"hoa/math":"~1.0"},"abandoned":true,"uid":4022556}}}}