forked from pool/dejagnu
- Update to dejagnu 1.5.2 * New boards and bugfixes OBS-URL: https://build.opensuse.org/request/show/285067 OBS-URL: https://build.opensuse.org/package/show/devel:tools/dejagnu?expand=0&rev=15
Description
No description provided
Languages
Standard ML
100%