Merge pull request #1395 from informalsystems/apalache-version-44.7

Use Apalache versin 0.44.7

Author: Shon Feder

quint/src/quintVerifier.ts

@@ -38,7 +38,7 @@ import type { Buffer } from 'buffer'
 import type { PackageDefinition as ProtoPackageDefinition } from '@grpc/proto-loader'
 
 const APALACHE_SERVER_URI = 'localhost:8822'
-const APALACHE_VERSION_TAG = '0.44.2'
+const APALACHE_VERSION_TAG = '0.44.7'
 // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124
 // const APALACHE_TGZ = 'apalache.tgz'