[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#839928: marked as done (coq: please update to Coq 8.5pl2)

Your message dated Tue, 18 Jul 2017 17:39:42 +0200
with message-id <20170718153942.GA17098@cventin.lip.ens-lyon.fr>
and subject line closing bug #839928
has caused the Debian Bug report #839928,
regarding coq: please update to Coq 8.5pl2
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
839928: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839928
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Version 8.6-1

since 8.6-1 > 8.5pl2

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

--- End Message ---
Reply to: