mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
9 lines
172 B
JSON
9 lines
172 B
JSON
{
|
|
"Version": "1.0.0",
|
|
"Intent": "ProductRelease",
|
|
"ContentType": "Binaries",
|
|
"ContentOrigin": "1stParty",
|
|
"ProductState": "Next",
|
|
"Audience": "ExternalBroad"
|
|
}
|