diff --git a/sets/development.conf b/sets/development.conf
index 7b4b35e..c0086bc 100644
--- a/sets/development.conf
+++ b/sets/development.conf
@@ -56,5 +56,5 @@
 * dev-scala/sbt
 
 # fstar
-dev-lang/fstar
-dev-lang/fsharp
+* dev-lang/fstar
+* dev-lang/fsharp