{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/why3","name":"why3","version":"0.8","softwareVersion":"0.8","license":"https://spdx.org/licenses/MIT","keywords":["languages","library","mit","Propose Tags"],"maintainer":[{"@type":"Person","name":"EricMertens"}],"author":[{"@type":"Person","name":"EricMertens"}],"copyrightHolder":[{"@type":"Person","name":"EricMertens"}],"dateCreated":"2015-08-27","dateModified":"2015-08-27","datePublished":"2015-08-27","copyrightYear":2015,"downloadUrl":"https://hackage.haskell.org/package/why3-0.8/why3-0.8.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/why3"]}