Merge pull request #677 from robhoes/master

Author: psafont

.github/unused-upstream.txt

@@ -6,6 +6,7 @@ ocaml-version
 ocamlformat
 ocamlformat-lib
 ocp-indent
+psq
 syslog-message
 trace
 tyre

packages/upstream/psq.0.2.1/opam

@@ -0,0 +1,35 @@
+opam-version: "2.0"
+name: "psq"
+version: "0.2.1"
+synopsis: "Functional Priority Search Queues"
+description: """\
+Typical applications are searches, schedulers and caches. If you ever scratched
+your head because that A* didn't look quite right, a PSQ is what you needed."""
+maintainer: "David Kaloper Meršinjak <dk505@cam.ac.uk>"
+authors: "David Kaloper Meršinjak <dk505@cam.ac.uk>"
+license: "ISC"
+homepage: "https://github.com/pqwy/psq"
+doc: "https://pqwy.github.io/psq/doc"
+bug-reports: "https://github.com/pqwy/psq/issues"
+depends: [
+  "ocaml" {>= "4.03.0"}
+  "dune" {>= "1.7"}
+  "seq"
+  "qcheck-core" {with-test}
+  "qcheck-alcotest" {with-test}
+  "alcotest" {with-test}
+]
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name] {with-test & ocaml:version >= "4.07.0"}
+]
+dev-repo: "git+https://github.com/pqwy/psq.git"
+url {
+  src: "https://github.com/pqwy/psq/releases/download/v0.2.1/psq-0.2.1.tbz"
+  checksum: [
+    "sha256=42005f533eabe74b1799ee32b8905654cd66a22bed4af2bd266b28d8462cd344"
+    "sha512=8a8dfe20dc77e1cf38a7b1a7fc76f815c71a4ffe04627151b855feaba8f1ae742594739d1b7a45580b5b24a2cd99b58516f6b5c8d858aa314201f4a6422101ee"
+  ]
+}
+x-commit-hash: "b2eb86165712da210bcffec385bb7e031e54045e"