this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Snóke is a good old Snake game with new ideas"
4maintainer: ["Vu Ngoc San <san.vu-ngoc@laposte.net>"]
5authors: ["Vu Ngoc San <san.vu-ngoc@laposte.net>"]
6license: "GPL-3.0-or-later"
7homepage: "https://github.com/sanette/snoke"
8bug-reports: "https://github.com/sanette/snoke/issues"
9depends: [
10 "dune" {>= "2.9"}
11 "bogue" {>= "20221112"}
12 "odoc" {with-doc}
13]
14build: [
15 ["dune" "subst"] {dev}
16 [
17 "dune"
18 "build"
19 "-p"
20 name
21 "-j"
22 jobs
23 "--promote-install-files=false"
24 "@install"
25 "@runtest" {with-test}
26 "@doc" {with-doc}
27 ]
28 ["dune" "install" "-p" name "--create-install-files" name]
29]
30dev-repo: "git+https://github.com/sanette/snoke.git"
31url {
32 src: "https://github.com/sanette/snoke/archive/v0.3.tar.gz"
33 checksum: [
34 "md5=0d61f4744b241fa5c6f9274671e69661"
35 "sha512=0c9d4663207fd2cde6f698c379f6ccec629f5ee7e5b26d21e5706fd22155870d790a52d682a38b486f22c39272152139e8fe26e4c609c53535a5951102cf7040"
36 ]
37}