3-coloring-problem/dune-project at master · bot-mne-v-rot/3-coloring-problem · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
(lang dune 3.1)

(using coq 0.3)

(name three_coloring_problem)

(generate_opam_files true)

(source
 (github bot-mne-v-rot/3-coloring-problem))

(authors "Guys with big dicks")

(maintainers "Maintainer Name")

(license LICENSE)

(documentation https://github.com/bot-mne-v-rot/3-coloring-problem/)

(implicit_transitive_deps true)

(package
 (name three_coloring_problem)
 (synopsis "3-coloring problem")
 (allow_empty)
 (description
  "Solving 3-coloring problem with SAT-solvers and proving correctness in Coq")
 (depends
  (dune
   (>= 2.0))
  (ocaml
   (and
    (>= 4.13.0)
    (< 4.14.0)))
  (ocamlformat
   (and
    :with-test
    (= 0.22.4)))
  js_of_ocaml
  js_of_ocaml-compiler
  js_of_ocaml-lwt
  js_of_ocaml-tyxml
  js_of_ocaml-ppx
  ppx_compare
  ppx_let
  ppx_sexp_conv
  ppx_string_interpolation
  coq-of-ocaml
  coq))

; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project