this repo has no description
0
fork

Configure Feed

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

Merge pull request #27666 from Kakadu/release-GT-v0.5.4

[new release] GT (0.5.4) & ostap (0.6.1)

authored by

Marcello Seri and committed by
GitHub
4b682273 d8a8041f

+108
+61
packages/GT/GT.0.5.4/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "Generic programming with extensible transformations" 3 + description: """ 4 + Yet another library for generic programming. Provides syntax extensions 5 + both for camlp5 and PPX which allow decoration of type declarations with 6 + following compile-time code generation. Provides the way for creating 7 + plugins (compiled separately from the library) for enchancing supported 8 + type transformations. 9 + 10 + Strongly reminds the `visitors` library from François Pottier. 11 + During desing of a library of these kind there many possible 12 + design decision and in many cases we decided to implement 13 + the decision opposite to the one used in `visitors`. 14 + 15 + 16 + P.S. Since 2023 development team is no longer associated with JetBrains Research""" 17 + maintainer: ["Kakadu@pm.me"] 18 + authors: ["https://github.com/dboulytchev" "https://github.com/Kakadu"] 19 + license: "LGPL-2.1-or-later" 20 + homepage: "https://github.com/PLTools/GT" 21 + bug-reports: "https://github.com/PLTools/GT/issues" 22 + depends: [ 23 + "ocaml" {>= "4.14" & < "5.0.0" | >= "5.3.0" & < "5.4.0"} 24 + "dune" {>= "3.16"} 25 + "dune-configurator" 26 + "ppxlib" {<= "0.34.0"} 27 + "camlp5" {>= "8.00.05"} 28 + "ocamlgraph" 29 + "ppx_inline_test_nobase" 30 + "ocamlfind" {build} 31 + "logger-p5" {build} 32 + "bisect_ppx" {build} 33 + "conf-m4" {build} 34 + "odoc" {with-doc} 35 + "odig" {with-doc} 36 + "pa_ppx" {with-doc} 37 + "mdx" {with-test} 38 + ] 39 + build: [ 40 + ["dune" "subst"] {dev} 41 + [ 42 + "dune" 43 + "build" 44 + "-p" 45 + name 46 + "-j" 47 + jobs 48 + "@install" 49 + "@runtest" {with-test} 50 + "@doc" {with-doc} 51 + ] 52 + ] 53 + dev-repo: "git+https://github.com/PLTools/GT.git" 54 + url { 55 + src: "https://github.com/PLTools/GT/archive/refs/tags/v0.5.4.tar.gz" 56 + checksum: [ 57 + "sha256=d379da5902e2f4017122daf4861dd4f822a862025e9a6d215454ced572da13db" 58 + "sha512=fe5cb5306cf220f293c0f81b57a8de90f932d3145538e0a032f4b90b8b465ba5d9414692c194b6213014ee2cd06ce061df4541533550d89c7f63b071015104ba" 59 + ] 60 + } 61 + x-commit-hash: "f42c7feceb9607bac11314aa0822a29c788fd591"
+47
packages/ostap/ostap.0.6.1/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 + "ocaml" {>= "4.14" & < "5.0.0" | >= "5.3.0" & < "5.4.0"} 13 + "re" {>= "1.10"} 14 + "camlp5" {>= "8"} 15 + "GT" {>= "0.5.4"} 16 + "ocamlfind" {build} 17 + "mdx" {with-test} 18 + "odig" {with-doc} 19 + "odoc" {with-doc} 20 + "pa_ppx" {with-doc} 21 + ] 22 + build: [ 23 + ["dune" "subst"] {dev} 24 + [ 25 + "dune" 26 + "build" 27 + "-p" 28 + name 29 + "-j" 30 + jobs 31 + "@install" 32 + "@runtest" {with-test} 33 + "@doc" {with-doc} 34 + ] 35 + ] 36 + dev-repo: "git+https://github.com/PLTools/ostap.git" 37 + url { 38 + src: 39 + "https://github.com/PLTools/ostap/archive/refs/tags/v0.6.1.tar.gz" 40 + #"https://github.com/PLTools/ostap/archive/refs/heads/master.zip" 41 + checksum: [ 42 + "sha256=989467bb80273c973595a164a27cefcbc23ced3c2dffbb6ebb2346a55e4b4c53" 43 + "sha512=24bdba5cabbf2dd6b5c437f83428a2de529124bbc1a0a703dbce1fea9b887defb6f0949c5c28772d15927bd50819088cf6a95b106795ebc341f12ca7617260b3" 44 + ] 45 + } 46 + x-commit-hash: "6f023a616a1b9000f62db3e5743e478ba1c2cacd" 47 +