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