core texinfo 7.1-2 2023-11-18 15:29
0h:4m:44s build1.log (238K)
build2.log (244K)