sopel<9,>=7.1
tweety-ns<1.1,>=1.0
