« Changelog History


mios v1.5.1 Release Notes

    • 🛠 fix a bug in simplifyDB
    • ⚡️ revise VARUPDATEACTIVITY (#52)
    • revise blockers (#53)
    • 🔨 refactor mios.cabal