org.frege-lang frege 3.24.100.1 3.24.100.1 3.22.367-g2737683 3.22.524-gcc99d7e 3.23.288-gaa3af0c 3.23.370-g898bc8c 3.23.401-g7c45277 3.23.422-ga05a487 3.24-7.30 3.24-7.100 3.24.100.1 20160526103912