In message <[🔎] 20011215133501.GA2636@cs.unibo.it>, Stefano Zacchiroli writes: >5 tries in a few days and then nothing else. >Seems that the build daemon has given up the build. Well, not "given up" exactly. According to the database, camlidl 1.02-3 has been installed in the archive since December 8. p.