Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/ltl2ba/ltl2ba-1.3.ebuild
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/ltl2ba: add 1.2, 1.3Alexander Puck Neuwirth2024-02-191-0/+31