tree 7d82b0d91541a3347927bcb8f403c0fd440cbc62
parent 062289c6578c75f04744cd69d96a883d44ae55f4
author Yuto Takano <yuto.takano@arm.com> 1628191379 +0100
committer Yuto Takano <yuto.takano@arm.com> 1628280459 +0100

Exclude FStar and Hacl: Python port of 9b33e7d7d7426e3d7f27cd7d206765ae33e3e61f

Signed-off-by: Yuto Takano <yuto.takano@arm.com>