Skip to Content.
Sympa Menu

coq-club - [Coq-Club] outdated coq opam compcert package

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] outdated coq opam compcert package


Chronological Thread 
  • From: Fritjof <fritjof AT uni-bremen.de>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] outdated coq opam compcert package
  • Date: Wed, 20 Mar 2019 13:45:02 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fritjof AT uni-bremen.de; spf=Pass smtp.mailfrom=fritjof AT uni-bremen.de; spf=None smtp.helo=postmaster AT smtp.uni-bremen.de
  • Ironport-phdr: 9a23:rqOEWhQtdeVbIi7nDeO/gyonkdpsv+yvbD5Q0YIujvd0So/mwa69YhCN2/xhgRfzUJnB7Loc0qyK6vimBzJLvc/JmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQm6oR/Qu8QXjodvJbs9wQbVr3VVfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhSwaMTMy7WPZhdFqjK9DrhyvpwJxzZPXbo6aKPVxY7jQfc8GSWdbQspdSzBND4G6YoASD+QBJ+FYr4zlqlUOtxu+BBWsBOHoyj9Gm3T72qM60/4gEQHa3gwgGNwOvW/JrNXzNaceSPu6zLPWwjXGcfxW3y3x55XWfR04p/yHQLx+cc3UyUY1FgPFiE2dppDiPzOMzOgNsm+b4/JvVeKul24nqxxxrSO1ysgwjYnJg4QYwU3H+yVh2Is5ONO1RUFhbdK5DJdcqTuWOotqTs84Xm1luj42xqAItJO0ZiQG1YgrywDFZ/CZboSF4QjvWPiMLTp7gn9uZaixiAyo8Ue6z+3xTsm030hOripCitTMrXUN1wDL6sSdV/t9+Eah1S+U2ADJ9O5EJF47lazBJ5E83LE8jpsTsULdES/qgEj6kaGbe0o+9uS19+jrfK/qq5+AO4Nulw3zMLwimsmlDuQ5NggOUXKb+eO51LD78035WrRKjuE0kqnevpDXPtkbpqi4AwNMyYkj8QiwDzK439Qeh3UIMUxKdAqdj4f1I1HOPOz4DfCnjluwlzdr3unKMaHlApXQNXfOi6zhfLZ4605E0gU/19Ff55ROCrEAOv3/QEHxtMaLRiM+Zgez2qPsDMh3/oIYQ2OGRKGDY43ItlrdyPguP+uLasdBtiz8N/oi6dbzi358k0UQeKSvm5caPiPrVs96KlmUNCK/yuwKFn0H61JnHb7azWaaWDsWXE6cGqc15zU1EoWjVNqRW4asxbab0SK2GNtaazIfUwzeITLTb4yBHsw0RmeKOMY4z24ZU7nkQZUs0Byo8gP3meI+c7jkvxYAvJem7+Bbou3ekRZorW5vCtiFlXyLTiR+hG4NSjlw0K0t+UE=

Hi,

does someone know what the status of the compcert package of the opam coq
repository
is? It seems it is a little outdated:
http://coq.io/opam/coq-compcert.3.3.0.html
(May 30, 2018).

The latest version is: https://github.com/AbsInt/CompCert/releases/tag/v3.5

regards,
--f.




Archive powered by MHonArc 2.6.18.

Top of Page