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