@informalsystems/quint/dist/src/version.js

Core tool for the Quint specification language

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.version = void 0;
// Generated by genversion.
exports.version = '0.30.0';
//# sourceMappingURL=version.js.map