this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

[new release] grid (0.2.0)

CHANGES:

- add [fold4] and [fold8]
- add [copy]
- add [find]

+28
+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" 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"