Fix compcert

LEPILLER JulienMon May 06 15:35:33+0200 2019

2cb7bf7

Fix compcert

more/packages/ocaml.scm

324324 
(define-public compcert
325325 
  (package
326326 
    (name "compcert")
327-
    (version "3.3")
327+
    (version "3.5")
328328 
    (source (origin
329329 
              (method url-fetch)
330330 
              (uri (string-append "http://compcert.inria.fr/release/compcert-"
331331 
                                  version ".tgz"))
332332 
              (sha256
333333 
               (base32
334-
                "16xrqcwak1v1fk5ndx6jf1yvxv3adsr7p7z34gfm2mpggxnq0xwn"))))
334+
                "02dmd4iw6b5i38svaycjsywlpmg0kaypc01vxi6ndyywx6giz80y"))))
335335 
    (build-system gnu-build-system)
336336 
    (arguments
337337 
     `(#:phases

…

360360 
       #:tests? #f))
361361 
    (native-inputs
362362 
     `(("ocaml" ,ocaml)
363-
       ("coq" ,coq-8.7)))
363+
       ("ocaml-findlib" ,ocaml-findlib); for menhir --suggest-menhirlib
364+
       ("coq" ,coq)))
364365 
    (inputs
365366 
     `(("menhir" ,ocaml-menhir)))
366367 
    (home-page "http://compcert.inria.fr")