fstar_select

common files for selecting default fstar version

View on GitHub

Port Health: 10.15 10.14 10.13 10.12 10.11 10.10 10.9 10.8 10.7 10.6_i386 10.6 10.5_ppc





Port Information was last updated at:
2020-08-08 10:54 (UTC)
373d0ce3

Latest build fetched has 'start time':
2020-08-08 10:50 (UTC)

Latest stats submission was received at:
2020-08-08 15:11 (UTC)