Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# rustc version rustc 1.28.0-dev (b9bf4f162 2018-06-02)
# docs.rs version cratesfyi 0.5.0 (579f83b 2018-03-05)
# build log Updating registry `https://github.com/rust-lang/crates.io-index` Fresh utf8-ranges v0.1.3 Fresh fixedbitset v0.1.9 Fresh cfg-if v0.1.3 Fresh winapi v0.2.8 Fresh regex-syntax v0.3.9 Fresh libc v0.2.42 Compiling lalrpop-util v0.11.0 Fresh winapi-build v0.1.1 Compiling petgraph v0.2.10 Fresh log v0.4.1 Fresh memchr v0.1.11 Fresh log v0.3.9 Fresh aho-corasick v0.5.3 Fresh kernel32-sys v0.2.2 Fresh thread-id v2.0.0 Fresh thread_local v0.2.7 Fresh regex v0.1.80 Fresh env_logger v0.3.5 Running `rustc --crate-name lalrpop_util .cargo/registry/src/github.com-1ecc6299db9ec823/lalrpop-util-0.11.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=050551939f99f40d -C extra-filename=-050551939f99f40d --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --cap-lints allow` Running `rustc --crate-name petgraph .cargo/registry/src/github.com-1ecc6299db9ec823/petgraph-0.2.10/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=cc64193799234e5d -C extra-filename=-cc64193799234e5d --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern fixedbitset=/home/cratesfyi/cratesfyi/debug/deps/libfixedbitset-6e2a86c5423ce45e.rlib --extern-version fixedbitset=fixedbitset,0.1.9 --cap-lints allow` Compiling rustproof-libsmt v0.1.0 Running `rustc --crate-name rustproof_libsmt .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-libsmt-0.1.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=42c60ffe2496a27c -C extra-filename=-42c60ffe2496a27c --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern regex=/home/cratesfyi/cratesfyi/debug/deps/libregex-dc7fbac3abb8388f.rlib --extern-version regex=regex,0.1.80 --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-cc64193799234e5d.rlib --extern-version petgraph=petgraph,0.2.10 --cap-lints allow` Documenting rustproof v0.1.0 Running `rustdoc --crate-name rustproof .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20180602-1.28.0-dev-b9bf4f162 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern rustproof_libsmt=/home/cratesfyi/cratesfyi/debug/deps/librustproof_libsmt-42c60ffe2496a27c.rlib --extern-version rustproof_libsmt=rustproof-libsmt,0.1.0 --extern lalrpop_util=/home/cratesfyi/cratesfyi/debug/deps/liblalrpop_util-050551939f99f40d.rlib --extern-version lalrpop_util=lalrpop-util,0.11.0 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5 --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-cc64193799234e5d.rlib --extern-version petgraph=petgraph,0.2.10` error[E0463]: can't find crate for `rustc_const_math` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:39:1 | 39 | extern crate rustc_const_math; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate thread 'main' panicked at 'Error( CargoError( ChainedError { error: Could not document `rustproof`., cause: process didn't exit successfully: `rustdoc --crate-name rustproof .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20180602-1.28.0-dev-b9bf4f162 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern rustproof_libsmt=/home/cratesfyi/cratesfyi/debug/deps/librustproof_libsmt-42c60ffe2496a27c.rlib --extern-version rustproof_libsmt=rustproof-libsmt,0.1.0 --extern lalrpop_util=/home/cratesfyi/cratesfyi/debug/deps/liblalrpop_util-050551939f99f40d.rlib --extern-version lalrpop_util=lalrpop-util,0.11.0 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5 --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-cc64193799234e5d.rlib --extern-version petgraph=petgraph,0.2.10` (exit code: 101) } ), State { next_error: None, backtrace: None } )', src/bin/cratesfyi.rs:142:13 note: Run with `RUST_BACKTRACE=1` for a backtrace.