Unmask fstart/fsharp

2016-10-20 23:34:56 +02:00 · 2016-10-20 23:34:56 +02:00 · 48de18c4db
parent 3a6d40b9a0
commit 48de18c4db
1 changed files with 2 additions and 0 deletions
--- 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