name: hax-cli-options-engine
description: hax cli options engine helper crate
license_spdx: Apache-2.0
version: 0.1.0-pre.1
spec_version: 1.0
download_url: https://crates.io/api/v1/crates/hax-cli-options-engine/0.1.0-pre.1/download
home_url: https://github.com/hacspec/hax
news_url: https://libraries.io/cargo/hax-cli-options-engine/versions.atom
date: 2023-10-23
about_resource: NONE
libraries_io_url: https://libraries.io/cargo/hax-cli-options-engine?number=0.1.0-pre.1
vcs_tool: git
vcs_repository: https://github.com/hacspec/hax
vcs_branch: main
