this repo has no description
Merge pull request #26914 from backtracking/release-grid-0.2.0
[new release] grid (0.2.0)
authored by
Marcello Seri
and committed by
GitHub
b95848ed
e83fb702
+28
+28
packages/grid/grid.0.2.0/opam
+28
packages/grid/grid.0.2.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
3
+
authors: "Jean-Christophe Filliâtre"
4
+
synopsis: "A tiny library for two-dimensional arrays"
5
+
description: "Elementary functions over two-dimensional arrays. Not a linear algebra library."
6
+
license: "LGPL-2.1-or-later"
7
+
homepage: "https://github.com/backtracking/grid"
8
+
doc: "https://backtracking.github.io/grid"
9
+
bug-reports: "https://github.com/backtracking/grid/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.04"}
12
+
"dune" {>= "2.0.0"}
13
+
]
14
+
build: [
15
+
["dune" "subst"] {dev}
16
+
["dune" "build" "-p" name "-j" jobs]
17
+
["dune" "runtest" "-p" name] {with-test}
18
+
]
19
+
dev-repo: "git+https://github.com/backtracking/grid.git"
20
+
url {
21
+
src:
22
+
"https://github.com/backtracking/grid/releases/download/0.2.0/grid-0.2.0.tbz"
23
+
checksum: [
24
+
"sha256=a9b81b05d1db3f01f37d4d08a367b2bd5867ff63a0f00a1abeb5e6078a4517d9"
25
+
"sha512=bd4995e32da71e2cb872a153b2ffc3030e0ab371a8d03ff6e09443b973f6eca0542b5f3689660c0ae97c543d8cf60f48458400fb6a23819a6d7bbab66413a3cf"
26
+
]
27
+
}
28
+
x-commit-hash: "f5cc98c053f904559ef3ea804986de4f13b995be"