[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine
To
:
731637@bugs.debian.org
Subject
: Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine
From
: Pascal Cuoq <
pascal.cuoq@gmail.com
>
Date
: Sun, 8 Dec 2013 11:58:13 +0100
Message-id
: <
[🔎]
CAOH62JiMhE35EEJGfk_9szgw=fEgFQ09+373DB9KWEL6nz8cbQ@mail.gmail.com
>
Reply-to
: Pascal Cuoq <
pascal.cuoq@gmail.com
>,
731637@bugs.debian.org
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
Reply to:
debian-ocaml-maint@lists.debian.org
Pascal Cuoq (on-list)
Pascal Cuoq (off-list)
Follow-Ups
:
Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine
From:
Stéphane Glondu <glondu@debian.org>
Prev by Date:
Re: Log for attempted build of ocaml_4.01.0-3 on m68k (dist=unstable)
Next by Date:
Processing of dose2_1.4.2-6_amd64.changes
Previous by thread:
Re: Log for attempted build of ocaml_4.01.0-3 on m68k (dist=unstable)
Next by thread:
Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine
Index(es):
Date
Thread