resolver: lts-14.23 packages: - base - symbolic # X86 specific repos - x86 - x86/support - x86_symbolic extra-deps: - boomerang-1.4.5.7@sha256:67358e1ed44db2da2bf5ba8b5ccde4e3cd19adbc286c5308dba448f89fb03c4a,1979 - itanium-abi-0.1.1.1@sha256:1d727fa88ecafc13ba4ec2b6a752182ce70333fbde9726aec1393151d14de6df,1520 - monadLib-3.10@sha256:21dc120625bd612527b372e54251fd8358270effe263023d40d8e5892d24531c,653 - panic-0.4.0.1@sha256:fb46577c9e0ca38c37960572f958a8469f2b577e963ed4f3ea1904d8400d828b,702 - zenc-0.1.1@sha256:e4be3e5e9fe1a1ade05910909c6e5b5a8eff72e697868b03955c9781b0443947,964 # Submodules added to extra-deps so that we do not fail on warnings. - ./deps/crucible/what4 - ./deps/crucible/crucible - ./deps/crucible/crucible-llvm - ./deps/llvm-pretty - ./deps/llvm-pretty-bc-parser - ./deps/parameterized-utils - ./deps/dwarf - ./deps/elf-edit - ./deps/flexdis86 - ./deps/flexdis86/binary-symbols