Skip to content
Snippets Groups Projects
Select Git revision
  • c861be9e05b4e2e7894ae6020ac18a9c2b25630b
  • master default protected
2 results

Cargo.lock

Blame
  • Cargo.lock 2.08 KiB
    [[package]]
    name = "cfg-if"
    version = "0.1.6"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "cstr_core"
    version = "0.1.2"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "cty 0.1.5 (registry+https://github.com/rust-lang/crates.io-index)",
     "memchr 2.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "cty"
    version = "0.1.5"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "klee"
    version = "0.2.0"
    source = "git+https://gitlab.henriktjader.com/pln/cargo-klee#7d2f3699a763a2ef06c37b255afe1dd6ad9b2cdd"
    dependencies = [
     "cstr_core 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "memchr"
    version = "2.1.2"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "cfg-if 0.1.6 (registry+https://github.com/rust-lang/crates.io-index)",
     "version_check 0.1.5 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "plcopen"
    version = "0.1.0"
    dependencies = [
     "klee 0.2.0 (git+https://gitlab.henriktjader.com/pln/cargo-klee)",
    ]
    
    [[package]]
    name = "version_check"
    version = "0.1.5"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [metadata]
    "checksum cfg-if 0.1.6 (registry+https://github.com/rust-lang/crates.io-index)" = "082bb9b28e00d3c9d39cc03e64ce4cea0f1bb9b3fde493f0cbc008472d22bdf4"
    "checksum cstr_core 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)" = "6ebe7158ee57e848621d24d0ed87910edb97639cb94ad9977edf440e31226035"
    "checksum cty 0.1.5 (registry+https://github.com/rust-lang/crates.io-index)" = "c4e1d41c471573612df00397113557693b5bf5909666a8acb253930612b93312"
    "checksum klee 0.2.0 (git+https://gitlab.henriktjader.com/pln/cargo-klee)" = "<none>"
    "checksum memchr 2.1.2 (registry+https://github.com/rust-lang/crates.io-index)" = "db4c41318937f6e76648f42826b1d9ade5c09cafb5aef7e351240a70f39206e9"
    "checksum version_check 0.1.5 (registry+https://github.com/rust-lang/crates.io-index)" = "914b1a6776c4c929a602fafd8bc742e06365d4bcbe48c30f9cca5824f70dc9dd"