this repo has no description
0
fork

Configure Feed

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

Merge pull request #26460 from Kakadu/release-ostap-v0.6

[new release] ostap (0.6)

authored by

Marcello Seri and committed by
GitHub
454b3bd9 2b60cba1

+42
+42
packages/ostap/ostap.0.6/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "Parser-combinator library" 3 + maintainer: ["Kakadu@pm.me"] 4 + authors: [ 5 + "dboulytchev@gmail.com" "danila.borovkov1996@gmail.com" "Kakadu@pm.me" 6 + ] 7 + license: "LGPL-2.1-or-later" 8 + homepage: "https://github.com/PLTools/ostap" 9 + bug-reports: "https://github.com/PLTools/ostap/issues" 10 + depends: [ 11 + "dune" {>= "3.7"} 12 + "GT" 13 + "ocaml" {>= "4.14"} 14 + "re" {>= "1.10"} 15 + "ocamlfind" {build} 16 + "camlp5" {>= "8"} 17 + "odoc" {with-doc} 18 + ] 19 + build: [ 20 + ["dune" "subst"] {dev} 21 + [ 22 + "dune" 23 + "build" 24 + "-p" 25 + name 26 + "-j" 27 + jobs 28 + "@install" 29 + "@runtest" {with-test} 30 + "@doc" {with-doc} 31 + ] 32 + ] 33 + dev-repo: "git+https://github.com/PLTools/ostap.git" 34 + url { 35 + src: 36 + "https://github.com/PLTools/ostap/releases/download/v0.6/ostap-0.6.tbz" 37 + checksum: [ 38 + "sha256=8c310bd119fbc3ccbaf6f048d7cf97454343df01699c6da01fc72e0d09a6d9d5" 39 + "sha512=784888bf0b6125404406ad1e5a6e08d587fcfb827482a4302de09077631b46a0674406de5b2e82a201be73665411d2021cdce5424a4a5c896fd0378e100f0130" 40 + ] 41 + } 42 + x-commit-hash: "7abc22aa3cd4b05a71d305063c972cb9f6e22db1"