coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
- [Coq-Club] outdated coq opam compcert package, Fritjof, 03/20/2019
- Re: [Coq-Club] outdated coq opam compcert package, Emilio Jesús Gallego Arias, 03/20/2019
Archive powered by MHonArc 2.6.18.