+1

packages/lambdapi/lambdapi.2.0.0/opam

reviewed

··· 56 56 "stdlib-shims" {>= "0.1.0"} 57 57 "odoc" {with-doc} 58 58 ] 59 59 + conflicts: [ "camlp-streams" ] 59 60 build: [ 60 61 ["dune" "subst"] {dev} 61 62 [

+1

packages/lambdapi/lambdapi.2.1.0/opam

reviewed

··· 57 57 "stdlib-shims" {>= "0.1.0"} 58 58 "odoc" {with-doc} 59 59 ] 60 60 + conflicts: [ "camlp-streams" ] 60 61 build: [ 61 62 ["dune" "subst"] {dev} 62 63 [

+1

packages/lambdapi/lambdapi.2.2.0/opam

reviewed

··· 60 60 "stdlib-shims" {>= "0.1.0"} 61 61 "odoc" {with-doc} 62 62 ] 63 63 + conflicts: [ "camlp-streams" ] 63 64 build: [ 64 65 ["dune" "subst"] {dev} 65 66 [

+46

packages/pratter/pratter.1.2.1/opam

reviewed

··· 1 1 + opam-version: "2.0" 2 2 + synopsis: "An extended Pratt parser" 3 3 + description: """ 4 4 + Pratter is a library that provides a parser that transforms 5 5 + streams of terms to applied terms. Terms may contain infix or prefix operators 6 6 + and native applications. The parser is based on the Pratt parsing 7 7 + algorithm and extended to handle term application and non associative 8 8 + operators.""" 9 9 + maintainer: ["koizel#pratter@aleeas.com"] 10 10 + authors: ["Gabriel Hondet"] 11 11 + license: "BSD-3-Clause" 12 12 + homepage: "https://github.com/gabrielhdt/pratter" 13 13 + bug-reports: "https://github.com/gabrielhdt/pratter/issues" 14 14 + depends: [ 15 15 + "ocaml" {>= "4.02" | with-test & >= "4.03"} 16 16 + "dune" {>= "2.7"} 17 17 + "camlp-streams" 18 18 + "alcotest" {with-test} 19 19 + "qcheck" {with-test} 20 20 + "qcheck-alcotest" {with-test} 21 21 + "odoc" {with-doc} 22 22 + ] 23 23 + build: [ 24 24 + ["dune" "subst"] {dev} 25 25 + [ 26 26 + "dune" 27 27 + "build" 28 28 + "-p" 29 29 + name 30 30 + "-j" 31 31 + jobs 32 32 + "@install" 33 33 + "@runtest" {with-test} 34 34 + "@doc" {with-doc} 35 35 + ] 36 36 + ] 37 37 + dev-repo: "git+https://github.com/gabrielhdt/pratter.git" 38 38 + url { 39 39 + src: 40 40 + "https://github.com/gabrielhdt/pratter/releases/download/1.2.1/pratter-1.2.1.tbz" 41 41 + checksum: [ 42 42 + "sha256=7dd9a7b970d3f660a957a54ae257ac2228f8203a133f8ceb7a73ce61f0663833" 43 43 + "sha512=040a36c6d61761701d7f93d620f5a466caa0d578f6dfb0a93028fd8f693b4abef8b22c9b7695971e21ce347865dfc84f26cc032f1c4bfc070ee6e87cd9a72318" 44 44 + ] 45 45 + } 46 46 + x-commit-hash: "b50c511ccc2344c509076723774779db805aec88"