forked from pool/dejagnu
- Update to dejagnu 1.5.2 * New boards and bugfixes (forwarded request 285067 from Andreas_Schwab) OBS-URL: https://build.opensuse.org/request/show/285068 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/dejagnu?expand=0&rev=22
Description
No description provided
Languages
Standard ML
100%