Source: coq Severity: wishlist -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
My interest in upgrading Coq is to satisfy the requirements to build CompCert. If there is any obstacle to doing so, I'd love to help out whatever way I can. - -- System Information: Debian Release: buster/sid APT prefers testing-debug APT policy: (500, 'testing-debug'), (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 4.18.0-1-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled - -- no debconf information -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEAXEkn09uX7g8Tv8W3qerYfa4vJcFAlu/7y8ACgkQ3qerYfa4 vJcARAf+NsyX5/bC4w/NNXx7c0pUQN1DL2qIn1fo5QOVFPuUfStXmhsdCHpLgpau 8K/W7/vPM5AHN6wHXWIX7W93FxD6cOF+xLMO4nSOc7t50KjUpw3v/44FMCTuKsyc dJrrr6pKSQU/0jiWGA9RhlExU0fhTi8ruF9O0v77AIgp3nWihNqoHEm3snEGvk/U sh9VjyAJ7HKh0LYW3Qn5cb3vTx95/TOea/7+VI9HGga4iuC33vQuP95DQDa3ztY0 LG/8Yl0NOQO0Ia9yb9wpEdQ62QbgNZhOHHMQNi739XRrkzLJjweTn50ZXgz8l2+N Kvw34EKw/bwY3HYJfuaW2slvArRwtw== =Kcxd -----END PGP SIGNATURE-----
