Skip to content
Snippets Groups Projects
Select Git revision
  • b362eb07abaf328d46eac05888afe6641e1d0360
  • master default protected
  • overflow
  • dev
4 results

Cargo.lock

Blame
  • user avatar
    David Renshaw authored
    b362eb07
    History
    Cargo.lock 16.71 KiB
    [[package]]
    name = "aho-corasick"
    version = "0.5.3"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "memchr 0.1.11 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "byteorder"
    version = "1.2.1"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "cargo_metadata"
    version = "0.1.2"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "serde 0.9.15 (registry+https://github.com/rust-lang/crates.io-index)",
     "serde_derive 0.9.15 (registry+https://github.com/rust-lang/crates.io-index)",
     "serde_json 0.9.10 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "cfg-if"
    version = "0.1.2"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "compiletest_rs"
    version = "0.3.5"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "diff 0.1.11 (registry+https://github.com/rust-lang/crates.io-index)",
     "filetime 0.1.14 (registry+https://github.com/rust-lang/crates.io-index)",
     "getopts 0.2.15 (registry+https://github.com/rust-lang/crates.io-index)",
     "libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)",
     "log 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)",
     "miow 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
     "rustc-serialize 0.3.24 (registry+https://github.com/rust-lang/crates.io-index)",
     "winapi 0.2.8 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "diff"
    version = "0.1.11"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "dtoa"
    version = "0.4.2"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "env_logger"
    version = "0.3.5"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "log 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)",
     "regex 0.1.80 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "filetime"
    version = "0.1.14"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "cfg-if 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)",
     "redox_syscall 0.1.32 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "getopts"
    version = "0.2.15"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "itoa"
    version = "0.3.4"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "kernel32-sys"
    version = "0.2.2"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "winapi 0.2.8 (registry+https://github.com/rust-lang/crates.io-index)",
     "winapi-build 0.1.1 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "lazy_static"
    version = "0.1.16"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "lazy_static"
    version = "0.2.11"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "libc"
    version = "0.2.34"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "log"
    version = "0.3.9"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "log 0.4.0 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "log"
    version = "0.4.0"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "cfg-if 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "log_settings"
    version = "0.1.1"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "lazy_static 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "memchr"
    version = "0.1.11"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "miow"
    version = "0.2.1"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "kernel32-sys 0.2.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "net2 0.2.31 (registry+https://github.com/rust-lang/crates.io-index)",
     "winapi 0.2.8 (registry+https://github.com/rust-lang/crates.io-index)",
     "ws2_32-sys 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "net2"
    version = "0.2.31"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "cfg-if 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "kernel32-sys 0.2.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)",
     "winapi 0.2.8 (registry+https://github.com/rust-lang/crates.io-index)",
     "ws2_32-sys 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "num-traits"
    version = "0.1.41"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "quote"
    version = "0.3.15"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "redox_syscall"
    version = "0.1.32"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "regex"
    version = "0.1.80"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "aho-corasick 0.5.3 (registry+https://github.com/rust-lang/crates.io-index)",
     "memchr 0.1.11 (registry+https://github.com/rust-lang/crates.io-index)",
     "regex-syntax 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)",
     "thread_local 0.2.7 (registry+https://github.com/rust-lang/crates.io-index)",
     "utf8-ranges 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "regex-syntax"
    version = "0.3.9"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "rustc-serialize"
    version = "0.3.24"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "seer"
    version = "0.0.3"
    dependencies = [
     "byteorder 1.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
     "cargo_metadata 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "compiletest_rs 0.3.5 (registry+https://github.com/rust-lang/crates.io-index)",
     "env_logger 0.3.5 (registry+https://github.com/rust-lang/crates.io-index)",
     "log 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)",
     "log_settings 0.1.1 (registry+https://github.com/rust-lang/crates.io-index)",
     "seer-z3 0.1.0 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "seer-z3"
    version = "0.1.0"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "env_logger 0.3.5 (registry+https://github.com/rust-lang/crates.io-index)",
     "lazy_static 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
     "libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)",
     "log 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)",
     "z3-sys 0.1.0 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "serde"
    version = "0.9.15"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "serde_codegen_internals"
    version = "0.14.2"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "syn 0.11.11 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "serde_derive"
    version = "0.9.15"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "quote 0.3.15 (registry+https://github.com/rust-lang/crates.io-index)",
     "serde_codegen_internals 0.14.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "syn 0.11.11 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "serde_json"
    version = "0.9.10"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "dtoa 0.4.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "itoa 0.3.4 (registry+https://github.com/rust-lang/crates.io-index)",
     "num-traits 0.1.41 (registry+https://github.com/rust-lang/crates.io-index)",
     "serde 0.9.15 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "syn"
    version = "0.11.11"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "quote 0.3.15 (registry+https://github.com/rust-lang/crates.io-index)",
     "synom 0.11.3 (registry+https://github.com/rust-lang/crates.io-index)",
     "unicode-xid 0.0.4 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "synom"
    version = "0.11.3"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "unicode-xid 0.0.4 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "thread-id"
    version = "2.0.0"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "kernel32-sys 0.2.2 (registry+https://github.com/rust-lang/crates.io-index)",
     "libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "thread_local"
    version = "0.2.7"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "thread-id 2.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "unicode-xid"
    version = "0.0.4"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "utf8-ranges"
    version = "0.1.3"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "va_list"
    version = "0.0.1"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "winapi"
    version = "0.2.8"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "winapi-build"
    version = "0.1.1"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    
    [[package]]
    name = "ws2_32-sys"
    version = "0.2.1"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "winapi 0.2.8 (registry+https://github.com/rust-lang/crates.io-index)",
     "winapi-build 0.1.1 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [[package]]
    name = "z3-sys"
    version = "0.1.0"
    source = "registry+https://github.com/rust-lang/crates.io-index"
    dependencies = [
     "libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)",
     "va_list 0.0.1 (registry+https://github.com/rust-lang/crates.io-index)",
    ]
    
    [metadata]
    "checksum aho-corasick 0.5.3 (registry+https://github.com/rust-lang/crates.io-index)" = "ca972c2ea5f742bfce5687b9aef75506a764f61d37f8f649047846a9686ddb66"
    "checksum byteorder 1.2.1 (registry+https://github.com/rust-lang/crates.io-index)" = "652805b7e73fada9d85e9a6682a4abd490cb52d96aeecc12e33a0de34dfd0d23"
    "checksum cargo_metadata 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)" = "34fdab49a2904acb112c83b62f0118de3de3ce28e52a9188dec2858e43878f25"
    "checksum cfg-if 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)" = "d4c819a1287eb618df47cc647173c5c4c66ba19d888a6e50d605672aed3140de"
    "checksum compiletest_rs 0.3.5 (registry+https://github.com/rust-lang/crates.io-index)" = "9d58e648d0fb482578b63212d0cedce5c8b21ae45f6f49736a92b70e9adec05c"
    "checksum diff 0.1.11 (registry+https://github.com/rust-lang/crates.io-index)" = "3c2b69f912779fbb121ceb775d74d51e915af17aaebc38d28a592843a2dd0a3a"
    "checksum dtoa 0.4.2 (registry+https://github.com/rust-lang/crates.io-index)" = "09c3753c3db574d215cba4ea76018483895d7bff25a31b49ba45db21c48e50ab"
    "checksum env_logger 0.3.5 (registry+https://github.com/rust-lang/crates.io-index)" = "15abd780e45b3ea4f76b4e9a26ff4843258dd8a3eed2775a0e7368c2e7936c2f"
    "checksum filetime 0.1.14 (registry+https://github.com/rust-lang/crates.io-index)" = "aa75ec8f7927063335a9583e7fa87b0110bb888cf766dc01b54c0ff70d760c8e"
    "checksum getopts 0.2.15 (registry+https://github.com/rust-lang/crates.io-index)" = "65922871abd2f101a2eb0eaebadc66668e54a87ad9c3dd82520b5f86ede5eff9"
    "checksum itoa 0.3.4 (registry+https://github.com/rust-lang/crates.io-index)" = "8324a32baf01e2ae060e9de58ed0bc2320c9a2833491ee36cd3b4c414de4db8c"
    "checksum kernel32-sys 0.2.2 (registry+https://github.com/rust-lang/crates.io-index)" = "7507624b29483431c0ba2d82aece8ca6cdba9382bff4ddd0f7490560c056098d"
    "checksum lazy_static 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)" = "cf186d1a8aa5f5bee5fd662bc9c1b949e0259e1bcc379d1f006847b0080c7417"
    "checksum lazy_static 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)" = "76f033c7ad61445c5b347c7382dd1237847eb1bce590fe50365dcb33d546be73"
    "checksum libc 0.2.34 (registry+https://github.com/rust-lang/crates.io-index)" = "36fbc8a8929c632868295d0178dd8f63fc423fd7537ad0738372bd010b3ac9b0"
    "checksum log 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)" = "e19e8d5c34a3e0e2223db8e060f9e8264aeeb5c5fc64a4ee9965c062211c024b"
    "checksum log 0.4.0 (registry+https://github.com/rust-lang/crates.io-index)" = "b3a89a0c46ba789b8a247d4c567aed4d7c68e624672d238b45cc3ec20dc9f940"
    "checksum log_settings 0.1.1 (registry+https://github.com/rust-lang/crates.io-index)" = "3d382732ea0fbc09790c4899db3255bdea0fc78b54bf234bd18a63bb603915b6"
    "checksum memchr 0.1.11 (registry+https://github.com/rust-lang/crates.io-index)" = "d8b629fb514376c675b98c1421e80b151d3817ac42d7c667717d282761418d20"
    "checksum miow 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)" = "8c1f2f3b1cf331de6896aabf6e9d55dca90356cc9960cca7eaaf408a355ae919"
    "checksum net2 0.2.31 (registry+https://github.com/rust-lang/crates.io-index)" = "3a80f842784ef6c9a958b68b7516bc7e35883c614004dd94959a4dca1b716c09"
    "checksum num-traits 0.1.41 (registry+https://github.com/rust-lang/crates.io-index)" = "cacfcab5eb48250ee7d0c7896b51a2c5eec99c1feea5f32025635f5ae4b00070"
    "checksum quote 0.3.15 (registry+https://github.com/rust-lang/crates.io-index)" = "7a6e920b65c65f10b2ae65c831a81a073a89edd28c7cce89475bff467ab4167a"
    "checksum redox_syscall 0.1.32 (registry+https://github.com/rust-lang/crates.io-index)" = "ab105df655884ede59d45b7070c8a65002d921461ee813a024558ca16030eea0"
    "checksum regex 0.1.80 (registry+https://github.com/rust-lang/crates.io-index)" = "4fd4ace6a8cf7860714a2c2280d6c1f7e6a413486c13298bbc86fd3da019402f"
    "checksum regex-syntax 0.3.9 (registry+https://github.com/rust-lang/crates.io-index)" = "f9ec002c35e86791825ed294b50008eea9ddfc8def4420124fbc6b08db834957"
    "checksum rustc-serialize 0.3.24 (registry+https://github.com/rust-lang/crates.io-index)" = "dcf128d1287d2ea9d80910b5f1120d0b8eede3fbf1abe91c40d39ea7d51e6fda"
    "checksum seer-z3 0.1.0 (registry+https://github.com/rust-lang/crates.io-index)" = "52863c66fa327aea5d43fded5bd4accaea89c85e9754cd5fccfb89b8bda39b8f"
    "checksum serde 0.9.15 (registry+https://github.com/rust-lang/crates.io-index)" = "34b623917345a631dc9608d5194cc206b3fe6c3554cd1c75b937e55e285254af"
    "checksum serde_codegen_internals 0.14.2 (registry+https://github.com/rust-lang/crates.io-index)" = "bc888bd283bd2420b16ad0d860e35ad8acb21941180a83a189bb2046f9d00400"
    "checksum serde_derive 0.9.15 (registry+https://github.com/rust-lang/crates.io-index)" = "978fd866f4d4872084a81ccc35e275158351d3b9fe620074e7d7504b816b74ba"
    "checksum serde_json 0.9.10 (registry+https://github.com/rust-lang/crates.io-index)" = "ad8bcf487be7d2e15d3d543f04312de991d631cfe1b43ea0ade69e6a8a5b16a1"
    "checksum syn 0.11.11 (registry+https://github.com/rust-lang/crates.io-index)" = "d3b891b9015c88c576343b9b3e41c2c11a51c219ef067b264bd9c8aa9b441dad"
    "checksum synom 0.11.3 (registry+https://github.com/rust-lang/crates.io-index)" = "a393066ed9010ebaed60b9eafa373d4b1baac186dd7e008555b0f702b51945b6"
    "checksum thread-id 2.0.0 (registry+https://github.com/rust-lang/crates.io-index)" = "a9539db560102d1cef46b8b78ce737ff0bb64e7e18d35b2a5688f7d097d0ff03"
    "checksum thread_local 0.2.7 (registry+https://github.com/rust-lang/crates.io-index)" = "8576dbbfcaef9641452d5cf0df9b0e7eeab7694956dd33bb61515fb8f18cfdd5"
    "checksum unicode-xid 0.0.4 (registry+https://github.com/rust-lang/crates.io-index)" = "8c1f860d7d29cf02cb2f3f359fd35991af3d30bac52c57d265a3c461074cb4dc"
    "checksum utf8-ranges 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)" = "a1ca13c08c41c9c3e04224ed9ff80461d97e121589ff27c753a16cb10830ae0f"
    "checksum va_list 0.0.1 (registry+https://github.com/rust-lang/crates.io-index)" = "35dd61c2a3fd97881058e5b401d981e8647d0630c64065b2a65c329049d6b5ef"
    "checksum winapi 0.2.8 (registry+https://github.com/rust-lang/crates.io-index)" = "167dc9d6949a9b857f3451275e911c3f44255842c1f7a76f33c55103a909087a"
    "checksum winapi-build 0.1.1 (registry+https://github.com/rust-lang/crates.io-index)" = "2d315eee3b34aca4797b2da6b13ed88266e6d612562a0c46390af8299fc699bc"
    "checksum ws2_32-sys 0.2.1 (registry+https://github.com/rust-lang/crates.io-index)" = "d59cefebd0c892fa2dd6de581e937301d8552cb44489cdff035c6187cb63fa5e"
    "checksum z3-sys 0.1.0 (registry+https://github.com/rust-lang/crates.io-index)" = "09ad369c3bebfb2b5585060ce765c1e0c4896b5a3bc58dd3870e9f73c0209b98"