this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "David Kaloper Meršinjak <dk505@cam.ac.uk>"
3authors: ["David Kaloper Meršinjak <dk505@cam.ac.uk>"]
4homepage: "https://github.com/pqwy/psq"
5doc: "https://pqwy.github.io/psq/doc"
6license: "ISC"
7dev-repo: "git+https://github.com/pqwy/psq.git"
8bug-reports: "https://github.com/pqwy/psq/issues"
9synopsis: "Functional Priority Search Queues"
10build: [ [ "dune" "subst" ] {dev}
11 [ "dune" "build" "-p" name "-j" jobs ] ]
12depends: [
13 "ocaml" {>="4.03.0"}
14 "dune" {>= "1.7"}
15 "seq"
16 "qcheck-core" {with-test}
17 "qcheck-alcotest" {with-test}
18 "alcotest" {with-test}
19]
20description: """
21Typical applications are searches, schedulers and caches. If you ever scratched
22your head because that A* didn't look quite right, a PSQ is what you needed.
23"""
24url {
25 src: "https://github.com/pqwy/psq/releases/download/v0.1.1/psq-v0.1.1.tbz"
26 checksum: [
27 "sha256=58ca577e6cd3e35fdee32f8ecda36e413a513ca034ee4d1bbbe0ce475fe8ef2a"
28 "md5=6d6347f177adb1c1dae23c599248a9f1"
29 ]
30}