{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/why3","name":"why3","description":"Haskell support for the Why3 input format","version":"0.8","softwareVersion":"0.8","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/GaloisInc/why3","issueTracker":"https://github.com/GaloisInc/why3/issues","keywords":["languages","library","mit","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"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","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/why3"],"https://www.w3.org/ns/activitystreams#likes":4,"https://forgefed.org/ns#forks":3}