○:GNU dejagnu:1.6.3:2021/06/16:dejagnu:1:2022/04/07::::
○:GNU dejagnu:1.6.3:2021/06/16:dejagnu-help:1:2022/04/07::::
○:GNU dejagnu:1.6.3:2021/06/16:dejagnu-report-card:1:2022/04/07::::
○:GNU dejagnu:1.6.3:2021/06/16:runtest:1:2022/04/07::::
