{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/agda-server","name":"agda-server","version":"0.1.1","softwareVersion":"0.1.1","license":"https://spdx.org/licenses/BSD-3-Clause","keywords":["bsd3","dependent-types","deprecated","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"PeterDivianszky"}],"author":[{"@type":"Person","name":"PeterDivianszky"}],"copyrightHolder":[{"@type":"Person","name":"PeterDivianszky"}],"dateCreated":"2013-10-03","dateModified":"2013-10-03","datePublished":"2013-10-03","copyrightYear":2013,"downloadUrl":"https://hackage.haskell.org/package/agda-server-0.1.1/agda-server-0.1.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/agda-server"]}