this repo has no description
0
fork

Configure Feed

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

[new release] rope (0.6.3) (#25347)

* [new release] rope (0.6.3)

CHANGES:

- Compatibility with OCaml 5.

* Apply suggestions from code review

* Update packages/rope/rope.0.6.3/opam

---------

Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>

authored by

Christophe Troestler
Marcello Seri
and committed by
GitHub
21376299 1553d916

+38
+38
packages/rope/rope.0.6.3/opam
··· 1 + opam-version: "2.0" 2 + maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>" 3 + authors: [ "Christophe Troestler" ] 4 + license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" 5 + homepage: "https://github.com/Chris00/ocaml-rope" 6 + dev-repo: "git+https://github.com/Chris00/ocaml-rope.git" 7 + bug-reports: "https://github.com/Chris00/ocaml-rope/issues" 8 + doc: "https://Chris00.github.io/ocaml-rope/doc" 9 + tags: [ "datastructure" ] 10 + build: [ 11 + ["dune" "subst"] {dev} 12 + ["dune" "build" "-p" name "-j" jobs] 13 + ["dune" "runtest" "-p" name "-j" jobs] {with-test} 14 + ] 15 + depends: [ 16 + "ocaml" {>= "5.0"} 17 + "base-bytes" 18 + "dune" 19 + "benchmark" {with-test} 20 + ] 21 + synopsis: "Ropes (heavyweight strings)" 22 + description: """ 23 + Ropes ("heavyweight strings") are a scalable string implementation: 24 + they are designed for efficient operation that involve the string as a 25 + whole. Operations such as concatenation, and substring take time that 26 + is nearly independent of the length of the string. Unlike strings, 27 + ropes are a reasonable representation for very long strings such as 28 + edit buffers or mail messages. 29 + """ 30 + url { 31 + src: 32 + "https://github.com/Chris00/ocaml-rope/releases/download/0.6.3/rope-0.6.3.tbz" 33 + checksum: [ 34 + "sha256=335e1f88ff410e2cf7584a0ca8026a65a5e4e0fa19f19d588ce93e17def3d396" 35 + "sha512=01b089920716dc0e8182fb746bc604f4315f79f5e8c448924000e7eb8c278f71d99e1736a422b0a3f293b01ee312b8b3176493583883c781d446f433c1557ea5" 36 + ] 37 + } 38 + x-commit-hash: "d02b59916121e38dce9e98cbe5c1b7e2c24fa2e4"