[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"package:cask:coq-platform:en":3,"releases:stats:cask:coq-platform:en":496,"dependencies:cask:coq-platform:en:arm64_golden_gate":497},{"accentColor":4,"artifacts":5,"autoUpdates":29,"categories":30,"conflictsWith":36,"dependsOn":39,"deprecated":29,"description":47,"descriptionEn":48,"disabled":29,"displayName":49,"downloadSha256":50,"downloadSize":51,"downloadUrl":52,"editorChoice":29,"formulaeUrl":53,"homepage":54,"iconUrl":55,"installCommand":56,"installs":57,"installs30d":58,"isFont":29,"isLibrary":29,"kegOnly":29,"kind":61,"latestRelease":62,"machineTranslated":29,"name":49,"names":93,"platforms":96,"primaryCategory":474,"rank30d":475,"releaseCount":476,"releaseStats":477,"repoUrl":482,"screenshots":483,"sourceLocale":87,"sourceUrl":484,"summary":485,"summaryTranslation":486,"supports":487,"tags":489,"tap":494,"token":95,"version":155,"versionChangedAt":495},"#D6BF9A",{"apps":6,"binaries":8,"entries":9,"pkgs":28},[7],"Coq-Platform~8.20~2025.01.app",[],[10,17],{"declaration":11,"phase":14,"sources":15,"target":13,"type":16},{"app":12,"target":13},[7],"\u002FApplications\u002FCoq-Platform~8.20~2025.01.app","install",[7],"app",{"declaration":18,"phase":25,"sources":26,"type":27},{"zap":19},[20],{"trash":21},[22,23,24],"~\u002F.config\u002Fcoq","~\u002FLibrary\u002FApplication Support\u002Fcoq","~\u002FLibrary\u002FSaved Application State\u002Ffr.inria.coq.coqide.savedState","cleanup",[],"zap",[],false,[31],{"icon":32,"machineTranslated":29,"name":33,"slug":34,"sourceLocale":35},"lucide:graduation-cap","Education & Science","education","zh-CN",{"casks":37,"formulae":38},[],[],{"arch":40,"casks":43,"formulae":44,"requirements":45},[41,42],"arm64","x86_64",[],[],{"macos":46},{},"Coq Platform is a macOS application for working with the Rocq Prover, formerly known as the Coq Proof Assistant. Rocq is an interactive theorem prover and dependently typed programming language used to develop mechanized mathematical proofs and formal specifications, including specifications for programs and proofs that programs meet them.\n\n- Build and check formal proofs interactively.\n- Express mathematical developments and formal program specifications in a dependently typed language.\n- Extract executable programs from specifications as OCaml or Haskell source code.\n- Use the installed Coq Platform application to access the proof environment; the supplied Homebrew cask installs an app bundle.\n\nInstall with `brew install --cask coq-platform`, then open Coq Platform from Applications. The cask is macOS-specific. Its available download is architecture-dependent: the supplied package is the Apple silicon build, while the cask also defines a separate Intel build.\n\nSources: [Rocq Prover](https:\u002F\u002Frocq-prover.org\u002F) · [Homebrew cask](https:\u002F\u002Fraw.githubusercontent.com\u002FHomebrew\u002Fhomebrew-cask\u002FHEAD\u002FCasks\u002Fc\u002Fcoq-platform.rb)","Formal proof management system","Coq Platform","5bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3",1040564509,"https:\u002F\u002Fgithub.com\u002Frocq-prover\u002Fplatform\u002Freleases\u002Fdownload\u002F2025.01.0\u002Fcoq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg","https:\u002F\u002Fformulae.brew.sh\u002Fcask\u002Fcoq-platform","https:\u002F\u002Frocq-prover.org\u002F","https:\u002F\u002Fcdn.opennavo.com\u002Ficons\u002Fuploads\u002F1d82eeb15b46\u002Ffc16de039206-256.png","brew install --cask coq-platform",{"d30":58,"d365":59,"d90":60},16,196,39,"cask",{"bodyMarkdown":63,"brewCommittedAt":64,"hasNotes":65,"id":66,"isLatest":65,"isPrerelease":29,"machineTranslated":29,"publishedAt":67,"sections":68,"source":86,"sourceLocale":87,"summary":88,"title":89,"translation":90,"version":92},"Coq Platform 2025.01.0 includes the VsCoq language server. VSCoq can connect directly to the server supplied with a binary installer. On Windows, it can also connect to a server built from sources. The release describes hard-linking Cygwin-supplied MinGW DLLs through a script called automatically by coq_platform_make.sh. If additional binaries need other DLLs, the script may need to be run again. The notes say additional packages will be added in an intermediate release.\n\nThe recommended version is Coq 8.20.1 with the first package collection from January 2025. Compatibility versions are listed to help port packages and can be installed in separate opam switches. Snap is no longer supported while a replacement is being developed. The macOS Intel installer has issues, and building from sources is recommended for Intel Macs. QuickChick requires OCaml, which the macOS and Windows binary installers do not provide; the notes recommend compiling from sources to use QuickChick. CoqHammer's proof-generation component is available only on macOS and Linux. The notes also describe requirements for SerAPI executables and a Windows add-on for coq_makefile.\n\n[Official release notes](https:\u002F\u002Fgithub.com\u002Frocq-prover\u002Fplatform\u002Freleases\u002Ftag\u002F2025.01.0)","2025-03-31T08:23:24Z",true,5579,"2025-03-31T16:34:58Z",[69,75,80],{"area":70,"items":71},"Language",[72,73,74],"Includes the VsCoq language server in the platform release.","VSCoq can connect to the server supplied by a binary installer.","On Windows, VSCoq can also connect to a server built from sources.",{"area":76,"items":77},"Versions",[78,79],"Recommended: Coq 8.20.1 with the January 2025 package collection.","Compatibility versions are listed from Coq 8.19.2 through Coq 8.12.2.",{"area":81,"items":82},"Caveats",[83,84,85],"Snap is no longer supported; a replacement is in progress.","The macOS Intel installer has issues; source builds are recommended.","QuickChick needs OCaml, absent from macOS and Windows binary installers.","editorial","en-US","The platform release includes the VsCoq language server and supports direct VSCoq connections to it. Snap is no longer supported; the notes also document installer and package caveats.","Coq Platform 2025.01.0",{"locale":87,"machineTranslated":29,"sourceLocale":87,"status":91},"source","2025.01.0",[49,94,95],"coqide","coq-platform",[97,129,156,183,209,236,262,289,315,342,368,395,421,448],{"arch":42,"artifacts":98,"conflictsWith":115,"dependsOn":118,"downloadSha256":124,"downloadUrl":125,"macos":126,"requiresRosetta":29,"tag":127,"version":128},{"apps":99,"binaries":101,"entries":102,"pkgs":114},[100],"Coq-Platform~8.18~2023.11.app",[],[103,108],{"declaration":104,"phase":14,"sources":107,"target":106,"type":16},{"app":105,"target":106},[100],"\u002FApplications\u002FCoq-Platform~8.18~2023.11.app",[100],{"declaration":109,"phase":25,"sources":113,"type":27},{"zap":110},[111],{"trash":112},[22,23,24],[],[],{"casks":116,"formulae":117},[],[],{"arch":119,"casks":120,"formulae":121,"requirements":122},[42],[],[],{"macos":123},{},"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","https:\u002F\u002Fgithub.com\u002Frocq-prover\u002Fplatform\u002Freleases\u002Fdownload\u002F2023.11.0\u002Fcoq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","27","golden_gate","2023.11.0,8.18.2023.11",{"arch":41,"artifacts":130,"conflictsWith":145,"dependsOn":148,"downloadSha256":50,"downloadUrl":52,"macos":126,"requiresRosetta":29,"tag":154,"version":155},{"apps":131,"binaries":132,"entries":133,"pkgs":144},[7],[],[134,138],{"declaration":135,"phase":14,"sources":137,"target":13,"type":16},{"app":136,"target":13},[7],[7],{"declaration":139,"phase":25,"sources":143,"type":27},{"zap":140},[141],{"trash":142},[22,23,24],[],[],{"casks":146,"formulae":147},[],[],{"arch":149,"casks":150,"formulae":151,"requirements":152},[41],[],[],{"macos":153},{},"arm64_golden_gate","2025.01.0,8.20.2025.01",{"arch":42,"artifacts":157,"conflictsWith":172,"dependsOn":175,"downloadSha256":124,"downloadUrl":125,"macos":181,"requiresRosetta":29,"tag":182,"version":128},{"apps":158,"binaries":159,"entries":160,"pkgs":171},[100],[],[161,165],{"declaration":162,"phase":14,"sources":164,"target":106,"type":16},{"app":163,"target":106},[100],[100],{"declaration":166,"phase":25,"sources":170,"type":27},{"zap":167},[168],{"trash":169},[22,23,24],[],[],{"casks":173,"formulae":174},[],[],{"arch":176,"casks":177,"formulae":178,"requirements":179},[42],[],[],{"macos":180},{},"26","tahoe",{"arch":41,"artifacts":184,"conflictsWith":199,"dependsOn":202,"downloadSha256":50,"downloadUrl":52,"macos":181,"requiresRosetta":29,"tag":208,"version":155},{"apps":185,"binaries":186,"entries":187,"pkgs":198},[7],[],[188,192],{"declaration":189,"phase":14,"sources":191,"target":13,"type":16},{"app":190,"target":13},[7],[7],{"declaration":193,"phase":25,"sources":197,"type":27},{"zap":194},[195],{"trash":196},[22,23,24],[],[],{"casks":200,"formulae":201},[],[],{"arch":203,"casks":204,"formulae":205,"requirements":206},[41],[],[],{"macos":207},{},"arm64_tahoe",{"arch":42,"artifacts":210,"conflictsWith":225,"dependsOn":228,"downloadSha256":124,"downloadUrl":125,"macos":234,"requiresRosetta":29,"tag":235,"version":128},{"apps":211,"binaries":212,"entries":213,"pkgs":224},[100],[],[214,218],{"declaration":215,"phase":14,"sources":217,"target":106,"type":16},{"app":216,"target":106},[100],[100],{"declaration":219,"phase":25,"sources":223,"type":27},{"zap":220},[221],{"trash":222},[22,23,24],[],[],{"casks":226,"formulae":227},[],[],{"arch":229,"casks":230,"formulae":231,"requirements":232},[42],[],[],{"macos":233},{},"15","sequoia",{"arch":41,"artifacts":237,"conflictsWith":252,"dependsOn":255,"downloadSha256":50,"downloadUrl":52,"macos":234,"requiresRosetta":29,"tag":261,"version":155},{"apps":238,"binaries":239,"entries":240,"pkgs":251},[7],[],[241,245],{"declaration":242,"phase":14,"sources":244,"target":13,"type":16},{"app":243,"target":13},[7],[7],{"declaration":246,"phase":25,"sources":250,"type":27},{"zap":247},[248],{"trash":249},[22,23,24],[],[],{"casks":253,"formulae":254},[],[],{"arch":256,"casks":257,"formulae":258,"requirements":259},[41],[],[],{"macos":260},{},"arm64_sequoia",{"arch":42,"artifacts":263,"conflictsWith":278,"dependsOn":281,"downloadSha256":124,"downloadUrl":125,"macos":287,"requiresRosetta":29,"tag":288,"version":128},{"apps":264,"binaries":265,"entries":266,"pkgs":277},[100],[],[267,271],{"declaration":268,"phase":14,"sources":270,"target":106,"type":16},{"app":269,"target":106},[100],[100],{"declaration":272,"phase":25,"sources":276,"type":27},{"zap":273},[274],{"trash":275},[22,23,24],[],[],{"casks":279,"formulae":280},[],[],{"arch":282,"casks":283,"formulae":284,"requirements":285},[42],[],[],{"macos":286},{},"14","sonoma",{"arch":41,"artifacts":290,"conflictsWith":305,"dependsOn":308,"downloadSha256":50,"downloadUrl":52,"macos":287,"requiresRosetta":29,"tag":314,"version":155},{"apps":291,"binaries":292,"entries":293,"pkgs":304},[7],[],[294,298],{"declaration":295,"phase":14,"sources":297,"target":13,"type":16},{"app":296,"target":13},[7],[7],{"declaration":299,"phase":25,"sources":303,"type":27},{"zap":300},[301],{"trash":302},[22,23,24],[],[],{"casks":306,"formulae":307},[],[],{"arch":309,"casks":310,"formulae":311,"requirements":312},[41],[],[],{"macos":313},{},"arm64_sonoma",{"arch":42,"artifacts":316,"conflictsWith":331,"dependsOn":334,"downloadSha256":124,"downloadUrl":125,"macos":340,"requiresRosetta":29,"tag":341,"version":128},{"apps":317,"binaries":318,"entries":319,"pkgs":330},[100],[],[320,324],{"declaration":321,"phase":14,"sources":323,"target":106,"type":16},{"app":322,"target":106},[100],[100],{"declaration":325,"phase":25,"sources":329,"type":27},{"zap":326},[327],{"trash":328},[22,23,24],[],[],{"casks":332,"formulae":333},[],[],{"arch":335,"casks":336,"formulae":337,"requirements":338},[42],[],[],{"macos":339},{},"13","ventura",{"arch":41,"artifacts":343,"conflictsWith":358,"dependsOn":361,"downloadSha256":50,"downloadUrl":52,"macos":340,"requiresRosetta":29,"tag":367,"version":155},{"apps":344,"binaries":345,"entries":346,"pkgs":357},[7],[],[347,351],{"declaration":348,"phase":14,"sources":350,"target":13,"type":16},{"app":349,"target":13},[7],[7],{"declaration":352,"phase":25,"sources":356,"type":27},{"zap":353},[354],{"trash":355},[22,23,24],[],[],{"casks":359,"formulae":360},[],[],{"arch":362,"casks":363,"formulae":364,"requirements":365},[41],[],[],{"macos":366},{},"arm64_ventura",{"arch":42,"artifacts":369,"conflictsWith":384,"dependsOn":387,"downloadSha256":124,"downloadUrl":125,"macos":393,"requiresRosetta":29,"tag":394,"version":128},{"apps":370,"binaries":371,"entries":372,"pkgs":383},[100],[],[373,377],{"declaration":374,"phase":14,"sources":376,"target":106,"type":16},{"app":375,"target":106},[100],[100],{"declaration":378,"phase":25,"sources":382,"type":27},{"zap":379},[380],{"trash":381},[22,23,24],[],[],{"casks":385,"formulae":386},[],[],{"arch":388,"casks":389,"formulae":390,"requirements":391},[42],[],[],{"macos":392},{},"12","monterey",{"arch":41,"artifacts":396,"conflictsWith":411,"dependsOn":414,"downloadSha256":50,"downloadUrl":52,"macos":393,"requiresRosetta":29,"tag":420,"version":155},{"apps":397,"binaries":398,"entries":399,"pkgs":410},[7],[],[400,404],{"declaration":401,"phase":14,"sources":403,"target":13,"type":16},{"app":402,"target":13},[7],[7],{"declaration":405,"phase":25,"sources":409,"type":27},{"zap":406},[407],{"trash":408},[22,23,24],[],[],{"casks":412,"formulae":413},[],[],{"arch":415,"casks":416,"formulae":417,"requirements":418},[41],[],[],{"macos":419},{},"arm64_monterey",{"arch":42,"artifacts":422,"conflictsWith":437,"dependsOn":440,"downloadSha256":124,"downloadUrl":125,"macos":446,"requiresRosetta":29,"tag":447,"version":128},{"apps":423,"binaries":424,"entries":425,"pkgs":436},[100],[],[426,430],{"declaration":427,"phase":14,"sources":429,"target":106,"type":16},{"app":428,"target":106},[100],[100],{"declaration":431,"phase":25,"sources":435,"type":27},{"zap":432},[433],{"trash":434},[22,23,24],[],[],{"casks":438,"formulae":439},[],[],{"arch":441,"casks":442,"formulae":443,"requirements":444},[42],[],[],{"macos":445},{},"11","big_sur",{"arch":41,"artifacts":449,"conflictsWith":464,"dependsOn":467,"downloadSha256":50,"downloadUrl":52,"macos":446,"requiresRosetta":29,"tag":473,"version":155},{"apps":450,"binaries":451,"entries":452,"pkgs":463},[7],[],[453,457],{"declaration":454,"phase":14,"sources":456,"target":13,"type":16},{"app":455,"target":13},[7],[7],{"declaration":458,"phase":25,"sources":462,"type":27},{"zap":459},[460],{"trash":461},[22,23,24],[],[],{"casks":465,"formulae":466},[],[],{"arch":468,"casks":469,"formulae":470,"requirements":471},[41],[],[],{"macos":472},{},"arm64_big_sur",{"icon":32,"machineTranslated":29,"name":33,"slug":34,"sourceLocale":35},1870,1,{"brewLag":478,"cadence":480,"count30d":481},{"compared":476,"earlierCount":476,"medianMinutes":479},-491,"irregular",0,"https:\u002F\u002Fgithub.com\u002Frocq-prover\u002Fplatform",[],"https:\u002F\u002Fgithub.com\u002Fhomebrew\u002Fhomebrew-cask\u002Fblob\u002FHEAD\u002FCasks\u002Fc\u002Fcoq-platform.rb","A macOS proof-management application for interactive theorem proving and dependently typed programming with the Rocq Prover.",{"locale":87,"machineTranslated":29,"sourceLocale":87,"status":91},{"arm64":65,"requiresRosetta":29,"status":488,"x86_64":65},"known",[490,491,492,493],"theorem prover","formal proofs","proof assistant","program extraction","homebrew\u002Fcask","2026-10-07T09:38:27.243348Z",null,{"conflictsWith":498,"dependencies":501,"dependents":502,"dependsOn":504,"platforms":510},{"casks":499,"formulae":500},[],[],[],{"count":481,"top":503},[],{"arch":505,"casks":506,"formulae":507,"requirements":508},[41],[],[],{"macos":509},{},[511,536,561,586,611,636,661,686,711,736,761,786,811,836],{"arch":42,"artifacts":512,"conflictsWith":527,"dependsOn":530,"downloadSha256":124,"downloadUrl":125,"macos":126,"requiresRosetta":29,"tag":127,"version":128},{"apps":513,"binaries":514,"entries":515,"pkgs":526},[100],[],[516,520],{"declaration":517,"phase":14,"sources":519,"target":106,"type":16},{"app":518,"target":106},[100],[100],{"declaration":521,"phase":25,"sources":525,"type":27},{"zap":522},[523],{"trash":524},[22,23,24],[],[],{"casks":528,"formulae":529},[],[],{"arch":531,"casks":532,"formulae":533,"requirements":534},[42],[],[],{"macos":535},{},{"arch":41,"artifacts":537,"conflictsWith":552,"dependsOn":555,"downloadSha256":50,"downloadUrl":52,"macos":126,"requiresRosetta":29,"tag":154,"version":155},{"apps":538,"binaries":539,"entries":540,"pkgs":551},[7],[],[541,545],{"declaration":542,"phase":14,"sources":544,"target":13,"type":16},{"app":543,"target":13},[7],[7],{"declaration":546,"phase":25,"sources":550,"type":27},{"zap":547},[548],{"trash":549},[22,23,24],[],[],{"casks":553,"formulae":554},[],[],{"arch":556,"casks":557,"formulae":558,"requirements":559},[41],[],[],{"macos":560},{},{"arch":42,"artifacts":562,"conflictsWith":577,"dependsOn":580,"downloadSha256":124,"downloadUrl":125,"macos":181,"requiresRosetta":29,"tag":182,"version":128},{"apps":563,"binaries":564,"entries":565,"pkgs":576},[100],[],[566,570],{"declaration":567,"phase":14,"sources":569,"target":106,"type":16},{"app":568,"target":106},[100],[100],{"declaration":571,"phase":25,"sources":575,"type":27},{"zap":572},[573],{"trash":574},[22,23,24],[],[],{"casks":578,"formulae":579},[],[],{"arch":581,"casks":582,"formulae":583,"requirements":584},[42],[],[],{"macos":585},{},{"arch":41,"artifacts":587,"conflictsWith":602,"dependsOn":605,"downloadSha256":50,"downloadUrl":52,"macos":181,"requiresRosetta":29,"tag":208,"version":155},{"apps":588,"binaries":589,"entries":590,"pkgs":601},[7],[],[591,595],{"declaration":592,"phase":14,"sources":594,"target":13,"type":16},{"app":593,"target":13},[7],[7],{"declaration":596,"phase":25,"sources":600,"type":27},{"zap":597},[598],{"trash":599},[22,23,24],[],[],{"casks":603,"formulae":604},[],[],{"arch":606,"casks":607,"formulae":608,"requirements":609},[41],[],[],{"macos":610},{},{"arch":42,"artifacts":612,"conflictsWith":627,"dependsOn":630,"downloadSha256":124,"downloadUrl":125,"macos":234,"requiresRosetta":29,"tag":235,"version":128},{"apps":613,"binaries":614,"entries":615,"pkgs":626},[100],[],[616,620],{"declaration":617,"phase":14,"sources":619,"target":106,"type":16},{"app":618,"target":106},[100],[100],{"declaration":621,"phase":25,"sources":625,"type":27},{"zap":622},[623],{"trash":624},[22,23,24],[],[],{"casks":628,"formulae":629},[],[],{"arch":631,"casks":632,"formulae":633,"requirements":634},[42],[],[],{"macos":635},{},{"arch":41,"artifacts":637,"conflictsWith":652,"dependsOn":655,"downloadSha256":50,"downloadUrl":52,"macos":234,"requiresRosetta":29,"tag":261,"version":155},{"apps":638,"binaries":639,"entries":640,"pkgs":651},[7],[],[641,645],{"declaration":642,"phase":14,"sources":644,"target":13,"type":16},{"app":643,"target":13},[7],[7],{"declaration":646,"phase":25,"sources":650,"type":27},{"zap":647},[648],{"trash":649},[22,23,24],[],[],{"casks":653,"formulae":654},[],[],{"arch":656,"casks":657,"formulae":658,"requirements":659},[41],[],[],{"macos":660},{},{"arch":42,"artifacts":662,"conflictsWith":677,"dependsOn":680,"downloadSha256":124,"downloadUrl":125,"macos":287,"requiresRosetta":29,"tag":288,"version":128},{"apps":663,"binaries":664,"entries":665,"pkgs":676},[100],[],[666,670],{"declaration":667,"phase":14,"sources":669,"target":106,"type":16},{"app":668,"target":106},[100],[100],{"declaration":671,"phase":25,"sources":675,"type":27},{"zap":672},[673],{"trash":674},[22,23,24],[],[],{"casks":678,"formulae":679},[],[],{"arch":681,"casks":682,"formulae":683,"requirements":684},[42],[],[],{"macos":685},{},{"arch":41,"artifacts":687,"conflictsWith":702,"dependsOn":705,"downloadSha256":50,"downloadUrl":52,"macos":287,"requiresRosetta":29,"tag":314,"version":155},{"apps":688,"binaries":689,"entries":690,"pkgs":701},[7],[],[691,695],{"declaration":692,"phase":14,"sources":694,"target":13,"type":16},{"app":693,"target":13},[7],[7],{"declaration":696,"phase":25,"sources":700,"type":27},{"zap":697},[698],{"trash":699},[22,23,24],[],[],{"casks":703,"formulae":704},[],[],{"arch":706,"casks":707,"formulae":708,"requirements":709},[41],[],[],{"macos":710},{},{"arch":42,"artifacts":712,"conflictsWith":727,"dependsOn":730,"downloadSha256":124,"downloadUrl":125,"macos":340,"requiresRosetta":29,"tag":341,"version":128},{"apps":713,"binaries":714,"entries":715,"pkgs":726},[100],[],[716,720],{"declaration":717,"phase":14,"sources":719,"target":106,"type":16},{"app":718,"target":106},[100],[100],{"declaration":721,"phase":25,"sources":725,"type":27},{"zap":722},[723],{"trash":724},[22,23,24],[],[],{"casks":728,"formulae":729},[],[],{"arch":731,"casks":732,"formulae":733,"requirements":734},[42],[],[],{"macos":735},{},{"arch":41,"artifacts":737,"conflictsWith":752,"dependsOn":755,"downloadSha256":50,"downloadUrl":52,"macos":340,"requiresRosetta":29,"tag":367,"version":155},{"apps":738,"binaries":739,"entries":740,"pkgs":751},[7],[],[741,745],{"declaration":742,"phase":14,"sources":744,"target":13,"type":16},{"app":743,"target":13},[7],[7],{"declaration":746,"phase":25,"sources":750,"type":27},{"zap":747},[748],{"trash":749},[22,23,24],[],[],{"casks":753,"formulae":754},[],[],{"arch":756,"casks":757,"formulae":758,"requirements":759},[41],[],[],{"macos":760},{},{"arch":42,"artifacts":762,"conflictsWith":777,"dependsOn":780,"downloadSha256":124,"downloadUrl":125,"macos":393,"requiresRosetta":29,"tag":394,"version":128},{"apps":763,"binaries":764,"entries":765,"pkgs":776},[100],[],[766,770],{"declaration":767,"phase":14,"sources":769,"target":106,"type":16},{"app":768,"target":106},[100],[100],{"declaration":771,"phase":25,"sources":775,"type":27},{"zap":772},[773],{"trash":774},[22,23,24],[],[],{"casks":778,"formulae":779},[],[],{"arch":781,"casks":782,"formulae":783,"requirements":784},[42],[],[],{"macos":785},{},{"arch":41,"artifacts":787,"conflictsWith":802,"dependsOn":805,"downloadSha256":50,"downloadUrl":52,"macos":393,"requiresRosetta":29,"tag":420,"version":155},{"apps":788,"binaries":789,"entries":790,"pkgs":801},[7],[],[791,795],{"declaration":792,"phase":14,"sources":794,"target":13,"type":16},{"app":793,"target":13},[7],[7],{"declaration":796,"phase":25,"sources":800,"type":27},{"zap":797},[798],{"trash":799},[22,23,24],[],[],{"casks":803,"formulae":804},[],[],{"arch":806,"casks":807,"formulae":808,"requirements":809},[41],[],[],{"macos":810},{},{"arch":42,"artifacts":812,"conflictsWith":827,"dependsOn":830,"downloadSha256":124,"downloadUrl":125,"macos":446,"requiresRosetta":29,"tag":447,"version":128},{"apps":813,"binaries":814,"entries":815,"pkgs":826},[100],[],[816,820],{"declaration":817,"phase":14,"sources":819,"target":106,"type":16},{"app":818,"target":106},[100],[100],{"declaration":821,"phase":25,"sources":825,"type":27},{"zap":822},[823],{"trash":824},[22,23,24],[],[],{"casks":828,"formulae":829},[],[],{"arch":831,"casks":832,"formulae":833,"requirements":834},[42],[],[],{"macos":835},{},{"arch":41,"artifacts":837,"conflictsWith":852,"dependsOn":855,"downloadSha256":50,"downloadUrl":52,"macos":446,"requiresRosetta":29,"tag":473,"version":155},{"apps":838,"binaries":839,"entries":840,"pkgs":851},[7],[],[841,845],{"declaration":842,"phase":14,"sources":844,"target":13,"type":16},{"app":843,"target":13},[7],[7],{"declaration":846,"phase":25,"sources":850,"type":27},{"zap":847},[848],{"trash":849},[22,23,24],[],[],{"casks":853,"formulae":854},[],[],{"arch":856,"casks":857,"formulae":858,"requirements":859},[41],[],[],{"macos":860},{}]