./FStar_NormSteps.o FStar_NormSteps.d : FStar_NormSteps.c FStar_NormSteps.h FStar_String.h \
  FStar_BitVector.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krmllib.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/internal/target.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/internal/callconv.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/internal/builtin.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/internal/debug.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/internal/types.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/lowstar_endianness.h \
  fstar_uint128_gcc64.h FStar_UInt128.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/internal/compat.h \
  FStar_UInt_8_16_32_64.h LowStar_Endianness.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/fstar_int.h
