./fstar_uint32.o fstar_uint32.d : fstar_uint32.c FStar_UInt_8_16_32_64.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 \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-86f99f08afa04ca792f9c4f64f24db4c0fdbc46c/include/krml/fstar_int.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-86f99f08afa04ca792f9c4f64f24db4c0fdbc46c/include/krml/internal/compat.h
