coqoban/coq-coqoban.opam at master · rocq-community/coqoban · 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
# This file was generated from `meta.yml`, please do not edit manually.
# Follow the instructions on https://github.com/coq-community/templates to regenerate.

opam-version: "2.0"
maintainer: "erik@martin-dorel.org"
version: "dev"

homepage: "https://github.com/coq-community/coqoban"
dev-repo: "git+https://github.com/coq-community/coqoban.git"
bug-reports: "https://github.com/coq-community/coqoban/issues"
license: "LGPL-2.1-or-later"

synopsis: "Coqoban (Sokoban in Coq)"
description: """
A Coq implementation of Sokoban, the Japanese warehouse
keeper's game."""

build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
  "coq" {>= "8.10"}
]

tags: [
  "category:Miscellaneous/Logical Puzzles and Entertainment"
  "keyword:Sokoban"
  "keyword:puzzle"
  "keyword:game"
  "logpath:Coqoban"
]
authors: [
  "Jasper Stein"
  "Hugo Herbelin"
]