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-----

Reply via email to