-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Daniel Dickman writes: > Hi Yozo, a new release of coq has been made. I've already updated compcert > to v3.8 which supports this new version of coq and is the only consumer > of coq. > > ok if we update coq to the latest version?
ok with me. Reading the changelog I believe this revision affects nothing for packaging. Actually I'm trying to update to 8.12.1 with the same diff, too :-D It just compiles and works on amd64. I'll try compile on ocaml-non-native architectures (simulating with arch-defines.mk modified), and post another message when I find anything. -- yozo. -----BEGIN PGP SIGNATURE----- iQJJBAEBCgAzFiEEP48DGKttLBTWuiCMx2ep6SZGbGQFAl+7SgkVHHlvem9AdjAw Ny52YWlvLm5lLmpwAAoJEMdnqekmRmxkrysP/0Fy92jLM75R/9aymPAJIkUqOEa8 24Uj5jrjVnaN3PuhAaQLRlZrkAIcDlGoWl3uorVoIvkSrwgadT4jsaXTsl3bdg/N MMEOWSzi9dWGxRBubqhvenV6EQgLO8UcgSmgwmz4exlgrkCzPRQTJ/mf7rya5x0F q4d0mBT8USaYglgo+ndhZUhxKAeEdgkgawSl5Ub8Nrotr3oRq2LGJC8xrpCY2bXG vvbzXejfM2p/qHn79Fwc1yqy05ePLc4otVsEofC0l4O4/0kGBkwKSNyD7JYegPDK 0oOT2SD+EquRt1NR3FDfu4Pr3EMVLtWiLFyD4GAkahvYZLJBtUR7nNTPLgXBhUHF eqP0w/lHa1gIC8ZAZIHXo8kkGehISnqOxgKwQkWloToERRDoAhNvhSg0uRk2HsRz Z5ySUVZ/3TPZ2onW4jId1AbA3Fev3bZgPu0adEUbBNimju9EjJ+Vj8ho1fATo8Oy WFBr9u0YdXlIH2QGbra1MAFsWLiFgA091VadeQy8U061FuoRAg5TyAwuCcTbTpI5 5N3E/Ph25G+4GGf7M4onIuFPjNQ6Je7t6i6Zw7/UAOsgrku4WFbKoiHybQnRiqRg 8JdMHO5QO7KNsIb7XMiC929YbD3imKfy1wDTjEFP8RiKe/9tgDP/peU94SluTwwV AOh+En3pltiAr+P9 =OuCy -----END PGP SIGNATURE-----
