[new release] crlibm (0.5)

CHANGES:

- Rename sub-modules to more standard names.

packages/crlibm/crlibm.0.5/opam

@@ -0,0 +1,31 @@
+opam-version: "2.0"
+maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
+authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
+tags: ["libm" "math" "floating-point" "rounding" "science"]
+license: "LGPL-3.0"
+homepage: "https://github.com/Chris00/ocaml-crlibm"
+dev-repo: "git+https://github.com/Chris00/ocaml-crlibm.git"
+bug-reports: "https://github.com/Chris00/ocaml-crlibm/issues"
+doc: "https://Chris00.github.io/ocaml-crlibm/doc"
+build: [
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "-p" name "-j" jobs "@runtest"] {with-test}
+]
+depends: [
+  "ocaml" {>= "4.03"}
+  "dune"
+  "dune-configurator"
+  "base-bytes" {build}
+  "benchmark" {with-test}
+]
+synopsis: "Binding to CRlibm, a correctly rounded math lib"
+url {
+  src:
+    "https://github.com/Chris00/ocaml-crlibm/releases/download/0.5/crlibm-0.5.tbz"
+  checksum: [
+    "sha256=91b5e70a8b69f3c69863256e271bf93caabb4f5a48f516f092ee9a9c7c973989"
+    "sha512=068ce6d304789f5055939134f8229d87a0a75fbd24876f197ab9168f48936b77cb55f95c5939857945b17766869cb743519d4d6199fde24760e89364100ad107"
+  ]
+}
+x-commit-hash: "aa683f7ddc077be9b905d41726d623fd1e1cc5c0"