{"token":"isabelle","full_token":"isabelle","old_tokens":[],"tap":"homebrew/cask","name":["Isabelle"],"desc":"Generic proof assistant","homepage":"https://www.cl.cam.ac.uk/research/hvg/Isabelle/","url":"https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz","url_specs":{},"version":"2025-2","autobump":true,"no_autobump_message":null,"skip_livecheck":false,"installed":null,"installed_time":null,"bundle_version":null,"bundle_short_version":null,"outdated":false,"sha256":"8f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e","artifacts":[{"artifact":["Isabelle2025-2.app",{"target":"$APPDIR/Isabelle2025-2.app"}]},{"binary":["$APPDIR/Isabelle2025-2.app/bin/isabelle"]}],"caveats":null,"caveats_rosetta":null,"depends_on":{"macos":{">=":[""]}},"conflicts_with":null,"container":null,"rename":[],"auto_updates":null,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":null,"disabled":false,"disable_date":null,"disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":null,"tap_git_head":"c81f46a2dc02ed5863157d2f318e73a21625aea2","languages":[],"ruby_source_path":"Casks/i/isabelle.rb","ruby_source_checksum":{"sha256":"130795d0a58ace0062fcbf492da20a5a9396e3262ced0802c7fa7813429af549"},"variations":{},"analytics":{"install":{"30d":{"isabelle":18},"90d":{"isabelle":60},"365d":{"isabelle":164}}},
"generated_date":"2026-04-28"}