{"pname":"isabelle","version":"2025-2","src":{"url":"https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz","sha256":"8f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e"},"installPhase":["mkdir -p \"$out/Applications\" && cp -r \"Isabelle2025-2.app\" \"$out/Applications/Isabelle2025-2.app\"","mkdir -p \"$out/bin\" && ln -s \"$out/Applications/Isabelle2025-2.app/bin/isabelle\" \"$out/bin/isabelle\""],"meta":{"description":"Generic proof assistant","homepage":"https://www.cl.cam.ac.uk/research/hvg/Isabelle/"}}