Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine

To: Pascal Cuoq <pascal.cuoq@gmail.com>
Cc: 731637@bugs.debian.org
Subject: Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine
From: Stéphane Glondu <glondu@debian.org>
Date: Sun, 08 Dec 2013 12:28:27 +0100
Message-id: <[🔎] 52A457DB.4060007@debian.org>
Reply-to: Stéphane Glondu <glondu@debian.org>, 731637@bugs.debian.org
In-reply-to: <[🔎] CAOH62JiMhE35EEJGfk_9szgw=fEgFQ09+373DB9KWEL6nz8cbQ@mail.gmail.com>
References: <[🔎] CAOH62JiMhE35EEJGfk_9szgw=fEgFQ09+373DB9KWEL6nz8cbQ@mail.gmail.com>

Le 08/12/2013 11:58, Pascal Cuoq a écrit :
> Note that a patch to Frama-C Fluorine3 20130601 to make it compile with
> OCaml 4.01 is available
> from https://github.com/vprevosto/opam-repository/blob/master/packages/frama-c.20130601/files/4.01-compat.patch

Great, thanks for the pointer.

Cheers,

-- 
Stéphane

Reply to:

References:
- Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine
  - From: Pascal Cuoq <pascal.cuoq@gmail.com>

Prev by Date: dose2_1.4.2-6_amd64.changes ACCEPTED into unstable
Next by Date: Bug#731637: marked as done (frama-c: FTBFS with ocaml 4.01.0)
Previous by thread: Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine
Next by thread: dose2_1.4.2-6_amd64.changes ACCEPTED into unstable
Index(es):
- Date
- Thread