@@ -135,6 +135,8 @@ packages:
136 "Erik Schnetter <schnetter@gmail.com> @eschnett":
136 "Erik Schnetter <schnetter@gmail.com> @eschnett":
139 "Yang Bo <pop.atry@gmail.com> @Atry":
141 "Yang Bo <pop.atry@gmail.com> @Atry":
140 - control-dsl < 0 # via doctest-discover
142 - control-dsl < 0 # via doctest-discover