File gap-automata.changes of Package gap-automata

-------------------------------------------------------------------
Tue Dec 31 19:40:25 UTC 2024 - Jan Engelhardt <jengelh@inai.de>

- Update to release 1.16
  * Streamlined UnionAutomata and IntersectionAutomaton

-------------------------------------------------------------------
Mon Apr 25 19:40:54 UTC 2022 - Jan Engelhardt <jengelh@inai.de>

- Update to release 1.15
  * Metadata update only

-------------------------------------------------------------------
Wed Nov 14 20:18:06 UTC 2018 - Jan Engelhardt <jengelh@inai.de>

- Update to new upstream release 1.14
  * Drawings are now produced in two steps: first the dot code
    (that is accessible to the user) and then the display

-------------------------------------------------------------------
Fri May 10 13:47:02 UTC 2013 - jengelh@inai.de

- Split automata (version 1.13) off the gap RPM package