Proper 0.5.2.0

2 Reverse deps Accepted versions
FirstOrderTheory -any
Smooth ==0.5.*