klafbang/ltl2aut
Watch
1
1
Fork
You've already forked ltl2aut
 0
Code Issues Pull requests Projects Releases 1 Packages 1 Wiki Activity Actions
1 release 26 tags
  • v2.1.0 e5c80b4a57

    ltl2aut 2.1.0 (restored)
    All checks were successful
    CI and releases / verify (push) Successful in 20s
    Details
    CI and releases / publish (push) Has been skipped
    Details
    CI and releases / verify (release) Successful in 20s
    Details
    CI and releases / publish (release) Successful in 14s
    Details
    Stable

    Michael Westergaard released this 2026-10-03 09:41:28 +00:00 | 75 commits to master since this release

    Restores Maven publication of ltl2aut:ltl2aut:2.1.0 through native Forgejo release CI.

    The Java source, parser grammar, dependencies and Java 17 compilation baseline are unchanged from the original ltl2aut-2.1.0 tag, commit 0b1fc9fe7c06fbc13fe906340d81fd7742421121.

    This release adds the common Forgejo workflow and updates SCM and Maven publication metadata. Artifacts are rebuilt in CI; these are not recovered copies of the original binaries. The original release tag is retained.

    Downloads