FSTAR_HOME=../..
include ../Makefile.include

all: Platform.Bytes.uver
