Merge pull request #1412 from informalsystems/gabriela/bump-apalache

Bump Apalache version

Author: bugarela

quint/src/apalache.ts

@@ -39,7 +39,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.9'
+const APALACHE_VERSION_TAG = '0.44.10'
 // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124
 // const APALACHE_TGZ = 'apalache.tgz'