this repo has no description
0
fork

Configure Feed

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

Merge pull request #24945 from xavierleroy/num-1.5

Num version 1.5

authored by

Marcello Seri and committed by
GitHub
12627bd6 619172a4

+32 -4
+1 -2
packages/base58/base58.0.1.2/opam
··· 12 12 install: [make "install"] 13 13 remove: ["ocamlfind" "remove" "base58"] 14 14 depends: [ 15 - "ocaml" {>= "4.02.0"} 15 + ("ocaml" {>= "4.02.0" & < "5.0"} & "num" | "ocaml" {>= "5.0"} & "num" {< "1.5"}) 16 16 "ocamlfind" {build} 17 17 "testsimple" {with-test} 18 18 "bisect" {with-test} 19 19 "bisect_ppx" {with-test} 20 20 "ocamlbuild" {build} 21 - "num" 22 21 ] 23 22 synopsis: "Base58 encoding and decoding" 24 23 description:
+1 -2
packages/cubicle/cubicle.1.2.0/opam
··· 13 13 [make] 14 14 ] 15 15 depends: [ 16 - "ocaml" {>= "4.08.0"} 16 + ("ocaml" {>= "4.08.0" & < "5.0"} & "num" | "ocaml" {>= "5.0"} & "num" {< "1.5"}) 17 17 "ocamlfind" 18 - "num" 19 18 ] 20 19 depopts: ["functory"] 21 20 conflicts: [
+30
packages/num/num.1.5/opam
··· 1 + opam-version: "2.0" 2 + maintainer: "Xavier Leroy <xavier.leroy@inria.fr>" 3 + authors: [ 4 + "Valérie Ménissier-Morain" 5 + "Pierre Weis" 6 + "Xavier Leroy" 7 + ] 8 + license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" 9 + homepage: "https://github.com/ocaml/num/" 10 + bug-reports: "https://github.com/ocaml/num/issues" 11 + dev-repo: "git+https://github.com/ocaml/num.git" 12 + build: [ 13 + [make "PROFILE=release" 14 + "opam-legacy" {!ocaml:preinstalled & ocaml:version < "5.0.0~~"} 15 + "opam-modern" {ocaml:preinstalled | ocaml:version >= "5.0.0~~"}] 16 + [make "test"] {with-test} 17 + ] 18 + depends: [ 19 + "ocaml" {>= "4.06.0"} 20 + ] 21 + conflicts: [ "base-num" ] 22 + synopsis: 23 + "The legacy Num library for arbitrary-precision integer and rational arithmetic" 24 + url { 25 + src: "https://github.com/ocaml/num/archive/v1.5.tar.gz" 26 + checksum: [ 27 + "md5=b1f9405dfe5f573ea187f122f789ae57" 28 + "sha512=110dd01140c1c96f5f067aa824bb63f74a26411dcaa65aaf04cb6c44b116ca02aaab9505f431c66964388ce4a31d86da5928b4c0e5557800e834de80bed46495" 29 + ] 30 + }