-×:GNU dejagnu:1.6.3:2021/06/16:dejagnu:1:2021/11/13::::
-×:GNU dejagnu:1.6.3:2021/06/16:dejagnu-help:1:2021/11/13::::
-×:GNU dejagnu:1.6.3:2021/06/16:dejagnu-report-card:1:2021/11/13::::
-×:GNU dejagnu:1.6.3:2021/06/16:runtest:1:2021/11/13::::
+◎: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::::