-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 > Tested on amd64 with CompCert where everything seems to work.
I confirmed this on amd64, too. my machine is not updated to LLVM 10 yet. I will update the kernel and the userland and try re-packaging from now on, but I believe coq package is not affected whether llvm 8 or 10... (only dependant on ocaml.) -- yozo. -----BEGIN PGP SIGNATURE----- iQJJBAEBCgAzFiEEP48DGKttLBTWuiCMx2ep6SZGbGQFAl8u+gcVHHlvem9AdjAw Ny52YWlvLm5lLmpwAAoJEMdnqekmRmxkl/kQAMQaV7hTWotM9GZmErTKGfhNUWWL wZ4G8qvGIbUIqMp4sh2j1pBe57VbTdzzL4CwADA+xFIBydIcqMwg5jCQkvEUjcfa 5iHkhpkgF7huA8QLsmPTTuF23KlMf+4tknxH0yk1CkQrpmxAVsPM+FtJVPnLCHmd i+VKWgl+A+mAH3RNJw7yiA2fmiSxBkQwgorpveDyfZrEtIbJVsDaat4RQzAQ9XP/ gDVtqeu6zOIfXw9vhvXBugclrWQmlc0MFVP9R8utD4RyxddKIxtSEb/uV+r7m0Lm OoCxJxyarv8GrI0CZLN5uJH0pZVmQlTV9IwtzJXtrCbD/ExGxd1NyYGXjs0et/6p QrZm8wWszeNpb2+mQw38tXeZMrLVGLVSMCW4Id1eJmVi86NYkXs3zveD5CpEIpOU H4azcb1NTCuuL4d0K+9ZL4Cd5hAQNdkbEoKKxn3cT+CWq0FCu4dgMyJuqQfmysuw lcbiAe11sAEV5+VT17ejTAI5EqywcRVjfh4nX0/9zf4v4zT44LhMyYSgOQPDhDXI FuiV8E7iCFF4d7iVApQQZikx/vfDHYNs2iqnFWSk0N/0QvFtdUgMOqzObUs2sZY7 2+7kiocGFvHz8ZRsThiLx24yRqitH2h2+OCPIi2jlyaJ2875m0Gtvgr7MhFnIHGN mc2q3Y39YeBz4s+q =lq7/ -----END PGP SIGNATURE-----
