Commit d41a712f authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

update to ltl2ba 1.3

parent 7d2f7f76
Pipeline #20187 failed with stage
in 83 minutes and 34 seconds