{"name":"ppl","full_name":"ppl","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Parma Polyhedra Library: numerical abstractions for analysis, verification","license":"GPL-3.0-or-later","homepage":"https://www.bugseng.com/ppl","versions":{"stable":"1.2","head":null,"bottle":true},"urls":{"stable":{"url":"https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz","tag":null,"revision":null,"using":null,"checksum":"691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60"}},"revision":1,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:72645288d73cc251a6310649cbd8782c07438ce56d1a66fe190ceea5e7a10782","sha256":"72645288d73cc251a6310649cbd8782c07438ce56d1a66fe190ceea5e7a10782"},"arm64_ventura":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:7b34ee3fa741ad47e0ec32a5fac0dffddea220097ea7938618586d1b1016f9ba","sha256":"7b34ee3fa741ad47e0ec32a5fac0dffddea220097ea7938618586d1b1016f9ba"},"arm64_monterey":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:3b7d7b75d9c40347d165192e5189725d94129dc5f95d848cc86251f493ccef91","sha256":"3b7d7b75d9c40347d165192e5189725d94129dc5f95d848cc86251f493ccef91"},"arm64_big_sur":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:f607e5d5ebefa0cb480bc84b1ba6e4eb1f2f07e7d7a00ae1f4c71958b5c82323","sha256":"f607e5d5ebefa0cb480bc84b1ba6e4eb1f2f07e7d7a00ae1f4c71958b5c82323"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:a67e256076ad9de40aa134fe1ea3ae194fc1ef12454f0e637d74c4a037037722","sha256":"a67e256076ad9de40aa134fe1ea3ae194fc1ef12454f0e637d74c4a037037722"},"ventura":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:c37e9a48bbaa4eee1c8c25b3e04cb6886da8bc19f684316dd93c7c121ba262c1","sha256":"c37e9a48bbaa4eee1c8c25b3e04cb6886da8bc19f684316dd93c7c121ba262c1"},"monterey":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:f75956df3abc16149ff87a0df7347973863331d8cadad40fef8dc3b760bfd6cf","sha256":"f75956df3abc16149ff87a0df7347973863331d8cadad40fef8dc3b760bfd6cf"},"big_sur":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:ceae5dd7024558587efdf935a870154a38e0cbf7e4882ba507cb3cebf574bed3","sha256":"ceae5dd7024558587efdf935a870154a38e0cbf7e4882ba507cb3cebf574bed3"},"catalina":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:65aa31c0201a860d32e874ab34cbdea7132101fc6461510e06641a11ca762e82","sha256":"65aa31c0201a860d32e874ab34cbdea7132101fc6461510e06641a11ca762e82"},"mojave":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:253714635b8718e7822853e1385c546b665450b7059e8067e4008ed865eae261","sha256":"253714635b8718e7822853e1385c546b665450b7059e8067e4008ed865eae261"},"high_sierra":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:7a9b9ceabcf71bf31ed8185caaa6e78c065511ba3e6cf805be13402983c2a7e1","sha256":"7a9b9ceabcf71bf31ed8185caaa6e78c065511ba3e6cf805be13402983c2a7e1"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/ppl/blobs/sha256:09999d2760a2d719f28918c3040eadeceffd32112eee8e5f28f5b93db80d4d9d","sha256":"09999d2760a2d719f28918c3040eadeceffd32112eee8e5f28f5b93db80d4d9d"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["gmp"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"uses_from_macos_bounds":[],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"b99ca70d6fd88207d4ec044948b79948d596297c","ruby_source_path":"Formula/p/ppl.rb","ruby_source_checksum":{"sha256":"a544cca64471bf6d87bb6d346248ea19c64e33cd883083e1bfb9adee9a37dd8a"},"variations":{"x86_64_linux":{"build_dependencies":["m4"]}},"analytics":{"install":{"30d":{"ppl":28},"90d":{"ppl":101},"365d":{"ppl":423}},"install_on_request":{"30d":{"ppl":11},"90d":{"ppl":67},"365d":{"ppl":259}},"build_error":{"30d":{"ppl":0}}},
"generated_date":"2024-05-13"}