this repo has no description
Merge pull request #22529 from sanette/opam-publish-snoke.0.3
Package snoke.0.3
+37
+37
packages/snoke/snoke.0.3/opam
+37
packages/snoke/snoke.0.3/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Snóke is a good old Snake game with new ideas"
4
+
maintainer: ["Vu Ngoc San <san.vu-ngoc@laposte.net>"]
5
+
authors: ["Vu Ngoc San <san.vu-ngoc@laposte.net>"]
6
+
license: "GPL-3.0-or-later"
7
+
homepage: "https://github.com/sanette/snoke"
8
+
bug-reports: "https://github.com/sanette/snoke/issues"
9
+
depends: [
10
+
"dune" {>= "2.9"}
11
+
"bogue" {>= "20221112"}
12
+
"odoc" {with-doc}
13
+
]
14
+
build: [
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
+
]
30
+
dev-repo: "git+https://github.com/sanette/snoke.git"
31
+
url {
32
+
src: "https://github.com/sanette/snoke/archive/v0.3.tar.gz"
33
+
checksum: [
34
+
"md5=0d61f4744b241fa5c6f9274671e69661"
35
+
"sha512=0c9d4663207fd2cde6f698c379f6ccec629f5ee7e5b26d21e5706fd22155870d790a52d682a38b486f22c39272152139e8fe26e4c609c53535a5951102cf7040"
36
+
]
37
+
}