this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #14148 from thierry-martinez/override.add-build-instruction

Add forgotten build rule for override

authored by

Marcello Seri and committed by
GitHub
9bc14ec7 b614d062

+1
+1
packages/override/override.0.1.0/opam
··· 7 7 bug-reports: "https://gitlab.inria.fr/tmartine/override/issues" 8 8 license: "BSD" 9 9 dev-repo: "git+https://gitlab.inria.fr/tmartine/override.git" 10 + build: [["dune" "build" "-p" name "-j" jobs]] 10 11 depends: [ 11 12 "dune" "ppxlib" "stdcompat" "ppx_tools" 12 13 "ocaml" {>= "4.04.1" & < "4.08.0"}] # no ppxlib for OCaml <4.04.1