diff --git a/package_unmask.conf b/package_unmask.conf
index 3eb825f..16a0dab 100644
--- a/package_unmask.conf
+++ b/package_unmask.conf
@@ -21,6 +21,8 @@ media-video/guvcview[~scm]
 net-im/pidgin-opensteamworks[~scm]
 
 sci-apps/z3[~scm]
+dev-lang/fstar[~scm]
+dev-lang/fsharp[~scm]
 
 # valyriatear
 media-libs/SDL_ttf:2