ats2-postiats

0.4.2

Programming language with formal specification features

Install

brew install ats2-postiats

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	0.4.2	File SHA-256 `f7e6de3857d1fd9bd1052a3e6e256cf8b35ae703f69b3f96eb66267cd2b5bf19`
Apple Silicon	Tahoe	0.4.2	File SHA-256 `d971aa331b5bb0f2efb3e34658fbc4fdf590dbfaffc3c257f4c16ac177ff6821`
Apple Silicon	Sequoia	0.4.2	File SHA-256 `32296b820ff276f1de0eed59460f9dd48ca47132a77fdee78ee19fed9ba46923`
Apple Silicon	Sonoma	0.4.2	File SHA-256 `53cc8a637f0375080c8071792bef06c870579bab915aa44f7525ae580e9fd8f2`
Apple Silicon	Ventura	0.4.2	File SHA-256 `edc96757ad3e2248e4d87f904edeb0af670f07989406e0f5a4ae5e9e342ef959`
Apple Silicon	Monterey	0.4.2	File SHA-256 `bd07b22230211e0dd486209ccf7e4e370ae0f23cd651b57ad53ecd897143affd`
Apple Silicon	Big Sur	0.4.2	File SHA-256 `9e1df17625267408944c93dc245b69d4d9fbbc94a2c61352d4ec1a23a88168e0`
Intel	Sonoma	0.4.2	File SHA-256 `8237ef66fb0b9a07269662b74692cab6553440ed113d2b40fd1f304915b60711`
Intel	Ventura	0.4.2	File SHA-256 `fb64d3578989ac866fbe0aa59cb22626abaa518dd0f82c196a1378b8983fd6cf`
Intel	Monterey	0.4.2	File SHA-256 `ea6fbabe5daedb333244e591027f092c335a08ca202863df9ea045f36d983661`
Intel	Big Sur	0.4.2	File SHA-256 `747125c30964abb7ad33c827104ca58fdacbba8010f19e3cbf9c0590d3b95734`
ARM64	Linux	0.4.2	File SHA-256 `03245b8efbf85b96591b28ec06ca32b8c7da1b5dcdb8bf32c62dda500b98e5f7`
x86_64	Linux	0.4.2	File SHA-256 `6a8f6e305de82f8adcdd01b2533de14fe9d9209d3cf9f0253ec64e5088dcc155`