provers.")

    (license license:gpl2+)))

(define-public coq-8.6

  (package

    (inherit coq)

               (base32

                "02nm5sn79hrb9fdmkhyclk80jydadf4jcafmr3idwr5h4z56qbms"))))

    (arguments

       (modify-phases %standard-phases

         (replace 'configure

           (lambda* (#:key outputs #:allow-other-keys)

             #t))

         (replace 'build

           (lambda* (#:key inputs #:allow-other-keys)

             (invoke "make" "-j" (number->string

                                  (parallel-job-count))

                     "world")

             #t))

         (delete 'check)

           (lambda _

             (with-directory-excursion "test-suite"

               (invoke "make"))

(define-public coq-8.7

  (package