./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-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 \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/fstar_int.h \
  /opt/local/var/macports/build/karamel-2db46b72/work/karamel-c96d44beee92853a4cc8d9c4bc84e8eb452379f4/include/krml/internal/compat.h
