From 48de18c4db9f8c91b4b50dda1d42b741ecbb8e70 Mon Sep 17 00:00:00 2001 From: Your Name Date: Thu, 20 Oct 2016 23:34:56 +0200 Subject: [PATCH] Unmask fstart/fsharp --- package_unmask.conf | 2 ++ 1 file changed, 2 insertions(+) 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