Add gnu/package/coq.scm
more/packages/ocaml.scm
31 | 31 | #:use-module (gnu packages bison) | |
32 | 32 | #:use-module (gnu packages boost) | |
33 | 33 | #:use-module (gnu packages check) | |
34 | + | #:use-module (gnu packages coq) | |
34 | 35 | #:use-module (gnu packages emacs) | |
35 | 36 | #:use-module (gnu packages flex) | |
36 | 37 | #:use-module (gnu packages llvm) |