Update ocaml-menhir.

Julien LepillerFri Jun 09 10:03:00+0200 2017

19b80f9

Update ocaml-menhir.

more/packages/ocaml.scm

618618 
provers.")
619619 
    (license license:gpl2+)))
620620 
621+
(define-public ocaml-menhir-fix
622+
  (package
623+
    (inherit ocaml-menhir)
624+
    (version "20170607")
625+
    (name "ocaml-menhir-fix")
626+
    (source (origin
627+
              (method url-fetch)
628+
              (uri (string-append
629+
                    "http://gallium.inria.fr/~fpottier/menhir/"
630+
                    "menhir-" version ".tar.gz"))
631+
              (sha256
632+
               (base32
633+
                "0qffci9qxgfabzyalx851q994yykl4n9ylr4vbplsm6is1padjh0"))))))
634+
621635 
(define-public compcert
622636 
  (package
623637 
    (name "compcert")
624-
    (version "3.0")
638+
    (version "3.0.1")
625639 
    (source (origin
626640 
              (method url-fetch)
627641 
              (uri (string-append "http://compcert.inria.fr/release/compcert-"
628642 
                                  version ".tgz"))
629643 
              (sha256
630644 
               (base32
631-
                "03fxf01acvy0akzb1czk33jsfmv2rka0m0jc1a2gmzs9i192rr7m"))))
645+
                "0dgrj26dzdy4n3s9b5hwc6lm54vans1v4qx9hdp1q8w1qqcdriq9"))))
632646 
    (build-system gnu-build-system)
633647 
    (arguments
634648 
     `(#:phases
…
640654 
       #:tests? #f))
641655 
    (native-inputs
642656 
     `(("ocaml" ,ocaml)
643-
       ("coq" ,coq)))
657+
       ("coq" ,coq-fix)))
644658 
    (inputs
645-
     `(("menhir" ,ocaml-menhir)))
659+
     `(("menhir" ,ocaml-menhir-fix)))
646660 
    (home-page "http://compcert.inria.fr")
647661 
    (synopsis "Certified C compiler")
648662 
    (description "CompCert is a certified (with coq) C compiler.  Warning: this