{"pname":"coq-platform","version":"2025.01.0,8.20.2025.01","src":{"url":"https://github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg","sha256":"5bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3"},"installPhase":["mkdir -p \"$out/Applications/Coq-Platform~8.20~2025.01.app\" && cp -r \"Coq-Platform~8.20~2025.01.app\" \"$out/Applications\""],"meta":{"description":"Formal proof management system","homepage":"https://rocq-prover.org/"}}