Version updates for ltl2ba (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/ltl2ba/#1.3https://pkgstory.dev/homebrew-formula/ltl2ba/#1.3ltl2ba updated to 1.3Mon, 06 Jul 2020 07:18:18 GMThttps://pkgstory.dev/homebrew-formula/ltl2ba/#1.2https://pkgstory.dev/homebrew-formula/ltl2ba/#1.2ltl2ba updated to 1.2Mon, 22 Dec 2014 20:01:00 GMT