Bug#839928: coq: please update to Coq 8.5pl2
Package: coq
Version: 8.5-2+b1
Severity: normal
Please update coq to 8.5pl2. Coq version 8.5pl2 is necessary to
build CompCert 2.7.1:
$ ./configure -prefix $HOME ia32-linux
Testing assembler support for CFI directives... yes
Testing Coq... version 8.5 -- UNSUPPORTED
Error: CompCert requires Coq version 8.5pl2.
Testing OCaml... version 4.02.3 -- good!
Testing OCaml .opt compilers... yes
Testing Menhir... version 20160808 -- good!
Testing GNU make... version 4.1 (command 'make') -- good!
One or several required tools are missing or too old. Aborting.
-- System Information:
Debian Release: stretch/sid
APT prefers unstable-debug
APT policy: (500, 'unstable-debug'), (500, 'stable-updates'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.7.0-1-amd64 (SMP w/12 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages coq depends on:
ii coq-theories 8.5-2+b1
ii emacsen-common 2.0.8
ii libc6 2.24-3
ii libcoq-ocaml [libcoq-ocaml-vcgz2] 8.5-2+b1
ii ocaml-base-nox [ocaml-base-nox-4.02.3] 4.02.3-7
ii ocaml-native-compilers [ocaml-best-compilers] 4.02.3-7
Versions of packages coq recommends:
ii coqide 8.5-2+b1
Versions of packages coq suggests:
pn coq-doc <none>
ii ledit [readline-editor] 2.03-4
pn libcoq-ocaml-dev <none>
ii ocaml-nox 4.02.3-7
pn proofgeneral <none>
pn why <none>
-- no debconf information
Reply to: