├── .github └── workflows │ ├── base.yml │ ├── ber_n111_ubuntu.yml │ ├── ber_n114_ubuntu.yml │ └── ber_n153_ubuntu.yml ├── README.md ├── packages ├── asp │ ├── asp.0.1.1 │ │ ├── files │ │ │ └── check-compiler.patch │ │ └── opam │ ├── asp.0.1.2 │ │ ├── files │ │ │ └── check-compiler.patch │ │ └── opam │ ├── asp.0.1.3 │ │ └── opam │ ├── asp.0.1 │ │ └── opam │ └── asp.0.2.0 │ │ └── opam ├── charmatch │ ├── charmatch.0.1.1 │ │ ├── files │ │ │ └── check-compiler.patch │ │ └── opam │ ├── charmatch.0.1 │ │ └── opam │ ├── charmatch.0.2.0 │ │ └── opam │ ├── charmatch.0.2.1 │ │ └── opam │ └── charmatch.0.3.0 │ │ └── opam ├── flap │ └── flap.0.1.0 │ │ └── opam ├── frex │ ├── frex.0.1.1 │ │ ├── files │ │ │ └── check-compiler.patch │ │ └── opam │ ├── frex.0.1.2 │ │ └── opam │ ├── frex.0.1 │ │ └── opam │ └── frex.0.2.0 │ │ └── opam ├── letrec │ ├── letrec.0.1.1 │ │ ├── files │ │ │ └── check-compiler.patch │ │ └── opam │ ├── letrec.0.1 │ │ └── opam │ ├── letrec.0.2.0 │ │ ├── files │ │ │ └── check-compiler.patch │ │ └── opam │ ├── letrec.0.2.1 │ │ ├── files │ │ │ └── check-compiler.patch │ │ └── opam │ └── letrec.0.3.0 │ │ └── opam ├── ocaml-variants │ └── ocaml-variants.5.0.0+ber-unsupported │ │ └── opam ├── reex │ ├── reex.0.1.0 │ │ └── opam │ ├── reex.0.2.0 │ │ └── opam │ └── reex.0.2.1 │ │ └── opam ├── reex_match │ ├── reex_match.0.1.0 │ │ └── opam │ ├── reex_match.0.2.0 │ │ └── opam │ └── reex_match.0.2.1 │ │ └── opam ├── staged-streams │ └── staged-streams.dev │ │ └── opam └── strymonas │ └── strymonas.20230708 │ └── opam └── repo /.github/workflows/base.yml: -------------------------------------------------------------------------------- 1 | name: Base 2 | on: 3 | workflow_call: 4 | inputs: 5 | compiler: 6 | required: true 7 | type: string 8 | os: 9 | required: true 10 | type: string 11 | jobs: 12 | install: 13 | name: Install 14 | runs-on: ${{ inputs.os }} 15 | env: 16 | ACTIONS_ALLOW_UNSECURE_COMMANDS: 'true' 17 | steps: 18 | - name: Checkout code 19 | uses: actions/checkout@v2 20 | 21 | - name: Use OCaml ${{ inputs.compiler }} 22 | uses: ocaml/setup-ocaml@v3 23 | with: 24 | ocaml-compiler: ${{ inputs.compiler }} 25 | dune-cache: true 26 | 27 | - name: Deps 28 | run: | 29 | opam remote add metaocaml . 30 | opam install --yes ocamlfind 31 | opam install --yes `ls packages | grep -v staged-streams` 32 | -------------------------------------------------------------------------------- /.github/workflows/ber_n111_ubuntu.yml: -------------------------------------------------------------------------------- 1 | name: Ubuntu N111 2 | on: 3 | push: 4 | branches: 5 | - master 6 | pull_request: 7 | workflow_dispatch: 8 | jobs: 9 | call-workflow-passing-data: 10 | uses: ./.github/workflows/base.yml 11 | with: 12 | compiler: "ocaml-variants.4.11.1+BER" 13 | os: "ubuntu-latest" 14 | -------------------------------------------------------------------------------- /.github/workflows/ber_n114_ubuntu.yml: -------------------------------------------------------------------------------- 1 | name: Ubuntu N114 2 | on: 3 | push: 4 | branches: 5 | - master 6 | pull_request: 7 | workflow_dispatch: 8 | jobs: 9 | call-workflow-passing-data: 10 | uses: ./.github/workflows/base.yml 11 | with: 12 | compiler: "ocaml-variants.4.14.1+BER" 13 | os: "ubuntu-latest" 14 | -------------------------------------------------------------------------------- /.github/workflows/ber_n153_ubuntu.yml: -------------------------------------------------------------------------------- 1 | name: Ubuntu N153 2 | on: 3 | push: 4 | branches: 5 | - master 6 | pull_request: 7 | workflow_dispatch: 8 | jobs: 9 | call-workflow-passing-data: 10 | uses: ./.github/workflows/base.yml 11 | with: 12 | compiler: "ocaml-variants.5.3.0+BER" 13 | os: "ubuntu-latest" 14 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # A repository of MetaOCaml packages 2 | 3 | A repository of [OPAM][opam] packages for [BER MetaOCaml][metaocaml]. 4 | 5 | [![Ubuntu N111](https://github.com/metaocaml/metaocaml-opam/actions/workflows/ber_n111_ubuntu.yml/badge.svg)](https://github.com/metaocaml/metaocaml-opam/actions/workflows/ber_n111_ubuntu.yml) [![Ubuntu N114](https://github.com/metaocaml/metaocaml-opam/actions/workflows/ber_n114_ubuntu.yml/badge.svg)](https://github.com/metaocaml/metaocaml-opam/actions/workflows/ber_n114_ubuntu.yml) [![Ubuntu N153](https://github.com/metaocaml/metaocaml-opam/actions/workflows/ber_n153_ubuntu.yml/badge.svg)](https://github.com/metaocaml/metaocaml-opam/actions/workflows/ber_n153_ubuntu.yml) 6 | 7 | 8 | ### Setting up 9 | 10 | ``` 11 | opam update 12 | opam switch create 5.3.0+BER 13 | opam remote add metaocaml git+https://github.com/metaocaml/metaocaml-opam.git 14 | ``` 15 | 16 | [metaocaml]: http://okmij.org/ftp/ML/MetaOCaml.html 17 | [opam]: https://opam.ocaml.org/ 18 | 19 | ### Current packages: 20 | 21 | * [asp](https://github.com/yallop/ocaml-asp/), 22 | typed, algebraic, staged parser combinators 23 | * [flap](https://github.com/yallop/ocaml-flap), 24 | a deterministic parser with fused lexing 25 | * [charmatch](https://github.com/yallop/metaocaml-charmatch), 26 | for generating efficient matches over characters 27 | * [reex](https://github.com/yallop/reex), 28 | for staged regular expression matching 29 | * [frex](https://github.com/frex-project/metaocaml-frex/), 30 | for multi-stage programming with algebras 31 | * [letrec](https://github.com/yallop/metaocaml-letrec), 32 | for generating mutually-recursive definitions 33 | * [staged-streams](https://github.com/strymonas/staged-streams.ocaml), 34 | for stream computations with fusion (old POPL17 design) 35 | * [strymonas](https://github.com/strymonas/strymonas-ocaml), 36 | for stream computations with fusion 37 | -------------------------------------------------------------------------------- /packages/asp/asp.0.1.1/files/check-compiler.patch: -------------------------------------------------------------------------------- 1 | diff --git a/Makefile b/Makefile 2 | index 530ad2c..65a8de9 100644 3 | --- a/Makefile 4 | +++ b/Makefile 5 | @@ -51,18 +51,6 @@ install: lib 6 | uninstall: 7 | ocamlfind remove asp 8 | 9 | -precheck: 10 | - @echo -n "checking OPAM compiler switch ... " 11 | - @test $$(opam switch show) = "4.11.1+BER" \ 12 | - || test $$(opam switch show) = "4.07.1+BER" \ 13 | - || test $$(opam switch show) = "4.04.0+BER" \ 14 | - || (echo 1>&2 "Please use OPAM switch 4.04.0+BER, 4.07.1+BER or 4.11.1+BER"; exit 1) 15 | - @echo "ok" 16 | - @echo -n "checking packages ... " 17 | - ocamlfind query letrec >/dev/null \ 18 | - || (echo >&2 "\n\n\tpackage letrec is not installed\n\n\tCheck the README for instructions\n"; exit 1) 19 | - @echo "ok" 20 | - 21 | clean: 22 | $(OCAMLBUILD) -clean 23 | 24 | -------------------------------------------------------------------------------- /packages/asp/asp.0.1.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "asp" 3 | synopsis: "Algebraic, staged parsing library" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Neel Krishnaswami " 6 | "Jeremy Yallop "] 7 | homepage: "https://github.com/yallop/ocaml-asp" 8 | dev-repo: "git+https://github.com/yallop/ocaml-asp.git" 9 | bug-reports: "https://github.com/yallop/ocaml-asp/issues" 10 | license: "MIT" 11 | build: [[make]] 12 | build-test: [[make "test" "bench"]] 13 | install: [[make "install"]] 14 | remove: [["ocamlfind" "remove" "asp"]] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | 19 | "letrec" 20 | 21 | "core_bench" {test} 22 | "ounit" {test} 23 | "conf-python-2-7" {test} 24 | "ocaml-variants" 25 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" } 26 | ] 27 | patches:["check-compiler.patch"] 28 | extra-files: [ 29 | "check-compiler.patch" "md5=68cffbee8257e73e1d9e2e40b4909aad" 30 | ] 31 | url { 32 | src: "https://github.com/yallop/ocaml-asp/archive/0.1.1.tar.gz" 33 | checksum: "md5=1d84281e1eac40d767b65a6ccd948efc" 34 | } 35 | -------------------------------------------------------------------------------- /packages/asp/asp.0.1.2/files/check-compiler.patch: -------------------------------------------------------------------------------- 1 | diff --git a/Makefile b/Makefile 2 | index 802a6b9..68e4658 100644 3 | --- a/Makefile 4 | +++ b/Makefile 5 | @@ -52,18 +52,6 @@ install: lib 6 | uninstall: 7 | ocamlfind remove asp 8 | 9 | -precheck: 10 | - @echo -n "checking OPAM compiler switch ... " 11 | - @test $$(opam switch show) = "4.11.1+BER" \ 12 | - || test $$(opam switch show) = "4.07.1+BER" \ 13 | - || test $$(opam switch show) = "4.04.0+BER" \ 14 | - || (echo 1>&2 "Please use OPAM switch 4.04.0+BER, 4.07.1+BER or 4.11.1+BER"; exit 1) 15 | - @echo "ok" 16 | - @echo -n "checking packages ... " 17 | - ocamlfind query letrec >/dev/null \ 18 | - || (echo >&2 "\n\n\tpackage letrec is not installed\n\n\tCheck the README for instructions\n"; exit 1) 19 | - @echo "ok" 20 | - 21 | clean: 22 | $(OCAMLBUILD) -clean 23 | 24 | -------------------------------------------------------------------------------- /packages/asp/asp.0.1.2/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "asp" 3 | synopsis: "Algebraic, staged parsing library" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Neel Krishnaswami " 6 | "Jeremy Yallop "] 7 | homepage: "https://github.com/yallop/ocaml-asp" 8 | dev-repo: "git+https://github.com/yallop/ocaml-asp.git" 9 | bug-reports: "https://github.com/yallop/ocaml-asp/issues" 10 | license: "MIT" 11 | build: [[make]] 12 | build-test: [[make "test" "bench"]] 13 | install: [[make "install"]] 14 | remove: [["ocamlfind" "remove" "asp"]] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | 19 | "letrec" 20 | 21 | "core_bench" {test} 22 | "ounit" {test} 23 | "conf-python-2-7" {test} 24 | "ocaml-variants" 25 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" } 26 | ] 27 | patches:["check-compiler.patch"] 28 | extra-files: [ 29 | "check-compiler.patch" "md5=dcb25fadee3b0e05b649dd44786644ee" 30 | ] 31 | url { 32 | src: "https://github.com/yallop/ocaml-asp/archive/0.1.2.tar.gz" 33 | checksum: "md5=adc93dcf92c4265db54e7412c16dc595" 34 | } 35 | -------------------------------------------------------------------------------- /packages/asp/asp.0.1.3/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "asp" 3 | synopsis: "Algebraic, staged parsing library" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Neel Krishnaswami " 6 | "Jeremy Yallop "] 7 | homepage: "https://github.com/yallop/ocaml-asp" 8 | dev-repo: "git+https://github.com/yallop/ocaml-asp.git" 9 | bug-reports: "https://github.com/yallop/ocaml-asp/issues" 10 | license: "MIT" 11 | build: [[make]] 12 | build-test: [[make "test" "bench"]] 13 | install: [[make "install"]] 14 | remove: [["ocamlfind" "remove" "asp"]] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | 19 | "letrec" 20 | 21 | "core_bench" {test} 22 | "ounit" {test} 23 | "conf-python-2-7" {test} 24 | "ocaml-variants" 25 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" | = "4.14.1+BER" } 26 | ] 27 | url { 28 | src: "https://github.com/yallop/ocaml-asp/archive/0.1.3.tar.gz" 29 | checksum: "md5=7682e81a99dd45381e18e02ee42d5095" 30 | } 31 | -------------------------------------------------------------------------------- /packages/asp/asp.0.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "asp" 3 | synopsis: "Algebraic, staged parsing library" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Neel Krishnaswami " 6 | "Jeremy Yallop "] 7 | homepage: "https://github.com/yallop/ocaml-asp" 8 | dev-repo: "git+https://github.com/yallop/ocaml-asp.git" 9 | bug-reports: "https://github.com/yallop/ocaml-asp/issues" 10 | license: "MIT" 11 | build: [[make]] 12 | build-test: [[make "test" "bench"]] 13 | install: [[make "install"]] 14 | remove: [["ocamlfind" "remove" "asp"]] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | 19 | "letrec" 20 | 21 | "core_bench" {test} 22 | "ounit" {test} 23 | "conf-python-2-7" {test} 24 | "ocaml-variants" 25 | {= "4.07.1+BER" | = "4.04.0+BER" } 26 | ] 27 | url { 28 | src: "https://github.com/yallop/ocaml-asp/archive/0.1.tar.gz" 29 | checksum: "md5=a30357e120ae9a86a2df3b3b66730fe7" 30 | } 31 | -------------------------------------------------------------------------------- /packages/asp/asp.0.2.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "asp" 3 | synopsis: "Algebraic, staged parsing library" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Neel Krishnaswami " 6 | "Jeremy Yallop "] 7 | homepage: "https://github.com/yallop/ocaml-asp" 8 | dev-repo: "git+https://github.com/yallop/ocaml-asp.git" 9 | bug-reports: "https://github.com/yallop/ocaml-asp/issues" 10 | license: "MIT" 11 | build: [[make]] 12 | build-test: [[make "test" "bench"]] 13 | install: [[make "install"]] 14 | remove: [["ocamlfind" "remove" "asp"]] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | 19 | "letrec" 20 | "camlp-streams" 21 | "charmatch" 22 | 23 | "core_bench" {test} 24 | "ounit" {test} 25 | "conf-python-2-7" {test} 26 | "ocaml-variants" 27 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" | = "4.14.1+BER" | = "5.3.0+BER" } 28 | ] 29 | url { 30 | src: "https://github.com/yallop/ocaml-asp/archive/0.2.0.tar.gz" 31 | checksum: "md5=319ceb2817e57442c898e8f35ca43464" 32 | } 33 | -------------------------------------------------------------------------------- /packages/charmatch/charmatch.0.1.1/files/check-compiler.patch: -------------------------------------------------------------------------------- 1 | diff --git a/Makefile b/Makefile 2 | index 1449605..d4ef550 100644 3 | --- a/Makefile 4 | +++ b/Makefile 5 | @@ -19,13 +19,6 @@ install: lib 6 | uninstall: 7 | ocamlfind remove charmatch 8 | 9 | -precheck: 10 | - @test $$(opam switch show) = "4.11.1+BER" \ 11 | - || test $$(opam switch show) = "4.07.1+BER" \ 12 | - || test $$(opam switch show) = "4.04.0+BER" \ 13 | - || (echo 1>&2 "Please use OPAM switch 4.04.0+BER, 4.07.1+BER or 4.11.1+BER"; exit 1) 14 | - @echo "ok" 15 | - 16 | clean: 17 | $(OCAMLBUILD) -clean 18 | -------------------------------------------------------------------------------- /packages/charmatch/charmatch.0.1.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "charmatch" 3 | synopsis: "Pattern-matching generation for characters" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/metaocaml-charmatch" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-charmatch.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-charmatch/issues" 9 | license: "MIT" 10 | build: [[make]] 11 | build-test: [[make "test" "bench"]] 12 | install: [[make "install"]] 13 | remove: [["ocamlfind" "remove" "charmatch"]] 14 | depends: [ 15 | "ocamlfind" {build} 16 | "ocamlbuild" {build} 17 | "ocaml" 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" } 20 | ] 21 | patches:["check-compiler.patch"] 22 | extra-files: [ 23 | "check-compiler.patch" "md5=6029d7dcc06b57880988f0c1ef14a821" 24 | ] 25 | url { 26 | src: "https://github.com/yallop/metaocaml-charmatch/archive/0.1.1.tar.gz" 27 | checksum: "md5=f2e9c04f0ad4f7f5b5d9013483216b50" 28 | } 29 | -------------------------------------------------------------------------------- /packages/charmatch/charmatch.0.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "charmatch" 3 | synopsis: "Pattern-matching generation for characters" 4 | version: "0.1" 5 | maintainer: "yallop@gmail.com" 6 | authors: ["Jeremy Yallop "] 7 | homepage: "https://github.com/yallop/metaocaml-charmatch" 8 | dev-repo: "git+https://github.com/yallop/metaocaml-charmatch.git" 9 | bug-reports: "https://github.com/yallop/metaocaml-charmatch/issues" 10 | license: "MIT" 11 | build: [[make]] 12 | build-test: [[make "test" "bench"]] 13 | install: [[make "install"]] 14 | remove: [["ocamlfind" "remove" "charmatch"]] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | "ocaml" 19 | "ocaml-variants" 20 | {= "4.07.1+BER" | = "4.04.0+BER" } 21 | ] 22 | url { 23 | src: "https://github.com/yallop/metaocaml-charmatch/archive/0.1.tar.gz" 24 | checksum: "md5=90f6dab458895c4280f105f31b1d6f85" 25 | } 26 | -------------------------------------------------------------------------------- /packages/charmatch/charmatch.0.2.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "charmatch" 3 | synopsis: "Pattern-matching generation for characters" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/metaocaml-charmatch" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-charmatch.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-charmatch/issues" 9 | license: "MIT" 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" 17 | "dune" 18 | "ocamlfind" 19 | "ocaml-variants" 20 | {= "4.11.1+BER" } 21 | "charset" {with-test} 22 | "ounit2" {with-test} 23 | ] 24 | url { 25 | src: "https://github.com/yallop/metaocaml-charmatch/archive/0.2.0.tar.gz" 26 | checksum: "md5=2ee51d5cef36b3be9e306b019035750f" 27 | } 28 | -------------------------------------------------------------------------------- /packages/charmatch/charmatch.0.2.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "charmatch" 3 | synopsis: "Pattern-matching generation for characters" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/metaocaml-charmatch" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-charmatch.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-charmatch/issues" 9 | license: "MIT" 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" 17 | "dune" 18 | "ocamlfind" 19 | "ocaml-variants" 20 | {= "4.11.1+BER" | = "4.11.1+BER+flambda" | = "4.14.1+BER"} 21 | "charset" {with-test} 22 | "ounit2" {with-test} 23 | ] 24 | url { 25 | src: "https://github.com/yallop/metaocaml-charmatch/archive/0.2.1.tar.gz" 26 | checksum: "md5=2cf78d3741b9b0ca503973aac51ad2c5" 27 | } 28 | -------------------------------------------------------------------------------- /packages/charmatch/charmatch.0.3.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "charmatch" 3 | synopsis: "Pattern-matching generation for characters" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/metaocaml-charmatch" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-charmatch.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-charmatch/issues" 9 | license: "MIT" 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" 17 | "dune" 18 | "ocamlfind" 19 | "ocaml-variants" 20 | {= "5.3.0+BER"} 21 | "charset" {with-test} 22 | "ounit2" {with-test} 23 | ] 24 | url { 25 | src: "https://github.com/yallop/metaocaml-charmatch/archive/0.3.0.tar.gz" 26 | checksum: "md5=62ecfc2b8d60e001e3a96e2ad4c84e21" 27 | } 28 | -------------------------------------------------------------------------------- /packages/flap/flap.0.1.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "flap" 3 | synopsis: "A deterministic parser with fused lexing" 4 | version: "dev" 5 | maintainer: "yallop@gmail.com" 6 | authors: ["Jeremy Yallop "] 7 | homepage: "https://github.com/yallop/ocaml-flap" 8 | dev-repo: "git+http://github.com/yallop/ocaml-flap.git" 9 | bug-reports: "http://github.com/yallop/ocaml-flap/issues" 10 | license: "MIT" 11 | build: [[make] 12 | [make "test" "bench"] {with-test} ] 13 | depends: [ 14 | "dune" {build} 15 | 16 | "letrec" 17 | "reex" 18 | "reex_match" 19 | "ppx_deriving" 20 | 21 | "ounit" {with-test} 22 | 23 | "ocaml-variants" 24 | {= "4.11.1+BER" | = "4.11.1+BER+flambda" | = "4.14.1+BER" | = "5.3.0+BER"} 25 | ] 26 | url { 27 | src: "https://github.com/yallop/ocaml-flap/archive/refs/tags/0.1.0.tar.gz" 28 | checksum: "md5=4ea398970e0dc8ba02e27b3b6de9d4b8" 29 | } 30 | -------------------------------------------------------------------------------- /packages/frex/frex.0.1.1/files/check-compiler.patch: -------------------------------------------------------------------------------- 1 | diff --git a/Makefile b/Makefile 2 | index 5adfbba..06fa23c 100644 3 | --- a/Makefile 4 | +++ b/Makefile 5 | @@ -23,10 +23,4 @@ clean: 6 | %.cma %.cmxa %.native %.byte: 7 | $(OCAMLBUILD) -use-ocamlfind $@ 8 | 9 | -check-compiler: 10 | - @test $$(opam switch show) = "4.11.1+BER" \ 11 | - || test $$(opam switch show) = "4.07.1+BER" \ 12 | - || test $$(opam switch show) = "4.04.0+BER" \ 13 | - || (echo 1>&2 "Please use OPAM switch 4.04.0+BER, 4.07.1+BER or 4.11.1+BER"; exit 1) 14 | - 15 | .PHONY: check-compiler all clean test 16 | -------------------------------------------------------------------------------- /packages/frex/frex.0.1.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "frex" 3 | synopsis: "Partially-static data as free extension of algebras" 4 | maintainer: "yallop@gmail.com" 5 | authors: [ "Tamara von Glehn " 6 | "Ohad Kammar " 7 | "Jeremy Yallop " ] 8 | homepage: "https://github.com/yallop/metaocaml-frex" 9 | dev-repo: "git+https://github.com/yallop/metaocaml-frex.git" 10 | bug-reports: "https://github.com/yallop/metaocaml-frex/issues" 11 | license: "MIT" 12 | build: [make] 13 | install: [make "install"] 14 | remove: ["ocamlfind" "remove" "frex"] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" } 20 | ] 21 | build-test: [make "test"] 22 | patches:["check-compiler.patch"] 23 | extra-files: [ 24 | "check-compiler.patch" "md5=676594431ecd566a09ecd6f95323c453" 25 | ] 26 | url { 27 | src: "https://github.com/frex-project/metaocaml-frex/archive/0.1.1.tar.gz" 28 | checksum: "md5=204cc547bf3190b20b22e932d1ee383f" 29 | } 30 | -------------------------------------------------------------------------------- /packages/frex/frex.0.1.2/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "frex" 3 | synopsis: "Partially-static data as free extension of algebras" 4 | maintainer: "yallop@gmail.com" 5 | authors: [ "Tamara von Glehn " 6 | "Ohad Kammar " 7 | "Jeremy Yallop " ] 8 | homepage: "https://github.com/yallop/metaocaml-frex" 9 | dev-repo: "git+https://github.com/yallop/metaocaml-frex.git" 10 | bug-reports: "https://github.com/yallop/metaocaml-frex/issues" 11 | license: "MIT" 12 | build: [make] 13 | install: [make "install"] 14 | remove: ["ocamlfind" "remove" "frex"] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" | = "4.14.1+BER" } 20 | ] 21 | build-test: [make "test"] 22 | url { 23 | src: "https://github.com/frex-project/metaocaml-frex/archive/0.1.2.tar.gz" 24 | checksum: "md5=e4217475e38cb8714857c2f7f222a50c" 25 | } 26 | -------------------------------------------------------------------------------- /packages/frex/frex.0.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "frex" 3 | synopsis: "Partially-static data as free extension of algebras" 4 | maintainer: "yallop@gmail.com" 5 | authors: [ "Tamara von Glehn " 6 | "Ohad Kammar " 7 | "Jeremy Yallop " ] 8 | homepage: "https://github.com/yallop/metaocaml-frex" 9 | dev-repo: "git+https://github.com/yallop/metaocaml-frex.git" 10 | bug-reports: "https://github.com/yallop/metaocaml-frex/issues" 11 | license: "MIT" 12 | build: [make] 13 | install: [make "install"] 14 | remove: ["ocamlfind" "remove" "frex"] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" } 20 | ] 21 | build-test: [make "test"] 22 | url { 23 | src: "https://github.com/frex-project/metaocaml-frex/archive/0.1.tar.gz" 24 | checksum: "md5=90e4355d4dbdaffdee83705306db5ae0" 25 | } 26 | -------------------------------------------------------------------------------- /packages/frex/frex.0.2.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "frex" 3 | synopsis: "Partially-static data as free extension of algebras" 4 | maintainer: "yallop@gmail.com" 5 | authors: [ "Tamara von Glehn " 6 | "Ohad Kammar " 7 | "Jeremy Yallop " ] 8 | homepage: "https://github.com/yallop/metaocaml-frex" 9 | dev-repo: "git+https://github.com/yallop/metaocaml-frex.git" 10 | bug-reports: "https://github.com/yallop/metaocaml-frex/issues" 11 | license: "MIT" 12 | build: [make] 13 | install: [make "install"] 14 | remove: ["ocamlfind" "remove" "frex"] 15 | depends: [ 16 | "ocamlfind" {build} 17 | "ocamlbuild" {build} 18 | "ocaml-variants" 19 | {= "5.3.0+BER"} 20 | ] 21 | build-test: [make "test"] 22 | url { 23 | src: "https://github.com/frex-project/metaocaml-frex/archive/0.2.0.tar.gz" 24 | checksum: "md5=9788ca3dd1771e6be2322b9bf2e91ab0" 25 | } 26 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.1.1/files/check-compiler.patch: -------------------------------------------------------------------------------- 1 | diff --git a/Makefile b/Makefile 2 | index e2bd35b..0af6ee2 100644 3 | --- a/Makefile 4 | +++ b/Makefile 5 | @@ -36,10 +36,4 @@ clean: 6 | 7 | tests.byte: letrec.cma lib_test/tests.ml 8 | 9 | -check-compiler: 10 | - @test $$(opam show ocaml-variants --field=installed-version) = "4.11.1+BER" \ 11 | - || test $$(opam show ocaml-variants --field=installed-version) = "4.07.1+BER" \ 12 | - || test $$(opam show ocaml-variants --field=installed-version) = "4.04.0+BER" \ 13 | - || (echo 1>&2 "Please use OPAM switch 4.04.0+BER, 4.07.1+BER or 4.11.1+BER"; exit 1) 14 | - 15 | .PHONY: check-compiler all clean test 16 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.1.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "letrec" 3 | synopsis: "Flexible 'let rec' generation for MetaOCaml" 4 | maintainer: "Jeremy Yallop " 5 | authors: "Jeremy Yallop " 6 | homepage: "https://github.com/yallop/metaocaml-letrec" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-letrec.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-letrec/issues" 9 | license: "MIT" 10 | build: [[make]] 11 | build-test: [[make "all" "test"]] 12 | install: [make "install"] 13 | remove: ["ocamlfind" "remove" "letrec"] 14 | depends: [ 15 | "ocamlfind" {build} 16 | "ocamlbuild" {build} 17 | "delimcc" 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" } 20 | ] 21 | patches:["check-compiler.patch"] 22 | extra-files: [ 23 | "check-compiler.patch" "md5=9963285628f3c2a0abdeb829dfae84b0" 24 | ] 25 | url { 26 | src: "https://github.com/yallop/metaocaml-letrec/archive/0.1.1.tar.gz" 27 | checksum: "md5=724ae2ea7abd91f50d6e26e0cd10836a" 28 | } 29 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "letrec" 3 | synopsis: "Flexible 'let rec' generation for MetaOCaml" 4 | maintainer: "Jeremy Yallop " 5 | authors: "Jeremy Yallop " 6 | homepage: "https://github.com/yallop/metaocaml-letrec" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-letrec.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-letrec/issues" 9 | license: "MIT" 10 | build: [[make]] 11 | build-test: [[make "all" "test"]] 12 | install: [make "install"] 13 | remove: ["ocamlfind" "remove" "letrec"] 14 | depends: [ 15 | "ocamlfind" {build} 16 | "ocamlbuild" {build} 17 | "delimcc" 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" } 20 | ] 21 | url { 22 | src: "https://github.com/yallop/metaocaml-letrec/archive/0.1.tar.gz" 23 | checksum: "md5=06cb869f646d8a3245420ae1a1d334fe" 24 | } 25 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.2.0/files/check-compiler.patch: -------------------------------------------------------------------------------- 1 | diff --git a/Makefile b/Makefile 2 | index e2bd35b..0af6ee2 100644 3 | --- a/Makefile 4 | +++ b/Makefile 5 | @@ -36,10 +36,4 @@ clean: 6 | 7 | tests.byte: letrec.cma lib_test/tests.ml 8 | 9 | -check-compiler: 10 | - @test $$(opam show ocaml-variants --field=installed-version) = "4.11.1+BER" \ 11 | - || test $$(opam show ocaml-variants --field=installed-version) = "4.07.1+BER" \ 12 | - || test $$(opam show ocaml-variants --field=installed-version) = "4.04.0+BER" \ 13 | - || (echo 1>&2 "Please use OPAM switch 4.04.0+BER, 4.07.1+BER or 4.11.1+BER"; exit 1) 14 | - 15 | .PHONY: check-compiler all clean test 16 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.2.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "letrec" 3 | synopsis: "Flexible 'let rec' generation for MetaOCaml" 4 | maintainer: "Jeremy Yallop " 5 | authors: "Jeremy Yallop " 6 | homepage: "https://github.com/yallop/metaocaml-letrec" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-letrec.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-letrec/issues" 9 | license: "MIT" 10 | build: [[make]] 11 | build-test: [[make "all" "test"]] 12 | install: [make "install"] 13 | remove: ["ocamlfind" "remove" "letrec"] 14 | depends: [ 15 | "ocamlfind" {build} 16 | "ocamlbuild" {build} 17 | "delimcc" 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" } 20 | ] 21 | patches:["check-compiler.patch"] 22 | extra-files: [ 23 | "check-compiler.patch" "md5=9963285628f3c2a0abdeb829dfae84b0" 24 | ] 25 | url { 26 | src: "https://github.com/yallop/metaocaml-letrec/archive/0.2.0.tar.gz" 27 | checksum: "md5=f5ecad16e17269e24e4d1c6d9c3e591b" 28 | } 29 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.2.1/files/check-compiler.patch: -------------------------------------------------------------------------------- 1 | diff --git a/Makefile b/Makefile 2 | index e2bd35b..0af6ee2 100644 3 | --- a/Makefile 4 | +++ b/Makefile 5 | @@ -36,11 +36,4 @@ clean: 6 | 7 | tests.byte: letrec.cma lib_test/tests.ml 8 | 9 | -check-compiler: 10 | - @test $$(opam show ocaml-variants --field=installed-version) = "4.14.1+BER" \ 11 | - || test $$(opam show ocaml-variants --field=installed-version) = "4.11.1+BER" \ 12 | - || test $$(opam show ocaml-variants --field=installed-version) = "4.07.1+BER" \ 13 | - || test $$(opam show ocaml-variants --field=installed-version) = "4.04.0+BER" \ 14 | - || (echo 1>&2 "Please use OPAM switch 4.04.0+BER, 4.07.1+BER, 4.11.1+BER or 4.14.1+BER"; exit 1) 15 | - 16 | .PHONY: check-compiler all clean test 17 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.2.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "letrec" 3 | synopsis: "Flexible 'let rec' generation for MetaOCaml" 4 | maintainer: "Jeremy Yallop " 5 | authors: "Jeremy Yallop " 6 | homepage: "https://github.com/yallop/metaocaml-letrec" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-letrec.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-letrec/issues" 9 | license: "MIT" 10 | build: [[make]] 11 | build-test: [[make "all" "test"]] 12 | install: [make "install"] 13 | remove: ["ocamlfind" "remove" "letrec"] 14 | depends: [ 15 | "ocamlfind" {build} 16 | "ocamlbuild" {build} 17 | "delimcc" 18 | "ocaml-variants" 19 | {= "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" | = "4.14.1+BER" } 20 | ] 21 | patches:["check-compiler.patch"] 22 | extra-files: [ 23 | "check-compiler.patch" "md5=ece39091fc043c18490d637ae4dd466f" 24 | ] 25 | url { 26 | src: "https://github.com/yallop/metaocaml-letrec/archive/0.2.1.tar.gz" 27 | checksum: "md5=7954a277c8461b214afa34352c3fb401" 28 | } 29 | -------------------------------------------------------------------------------- /packages/letrec/letrec.0.3.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "letrec" 3 | synopsis: "Flexible 'let rec' generation for MetaOCaml" 4 | maintainer: "Jeremy Yallop " 5 | authors: "Jeremy Yallop " 6 | homepage: "https://github.com/yallop/metaocaml-letrec" 7 | dev-repo: "git+https://github.com/yallop/metaocaml-letrec.git" 8 | bug-reports: "https://github.com/yallop/metaocaml-letrec/issues" 9 | license: "MIT" 10 | build: [ 11 | [make] 12 | [make "all" "test"] {with-test} 13 | ] 14 | install: [make "install"] 15 | remove: ["ocamlfind" "remove" "letrec"] 16 | depends: [ 17 | "ocamlfind" {build} 18 | "ocamlbuild" {build} 19 | "ocaml-variants" 20 | {= "5.3.0+BER" } 21 | ] 22 | url { 23 | src: "https://github.com/yallop/metaocaml-letrec/archive/0.3.0.tar.gz" 24 | checksum: "md5=10aa32e9dd6b166a1cf210c17cdea385" 25 | } 26 | -------------------------------------------------------------------------------- /packages/ocaml-variants/ocaml-variants.5.0.0+ber-unsupported/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "ocaml-variants" 3 | version: "5.0.0+ber-unsupported" 4 | synopsis: "OCaml 5.0.0 with BER-N114 patchset" 5 | maintainer: "yallop@gmail.com" 6 | authors: [ 7 | "Xavier Leroy" 8 | "Damien Doligez" 9 | "Alain Frisch" 10 | "Jacques Garrigue" 11 | "Didier Rémy" 12 | "Jérôme Vouillon" 13 | "Oleg Kiselyov" 14 | ] 15 | license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" 16 | homepage: "http://okmij.org/ftp/ML/MetaOCaml.html" 17 | bug-reports: "https://github.com/ocaml/opam-repository/issues" 18 | depends: [ 19 | "ocaml" {= "5.0.0" & post} 20 | "base-unix" {post} 21 | "base-bigarray" {post} 22 | "base-threads" {post} 23 | "base-metaocaml-ocamlfind" {post} 24 | ] 25 | depopts: [ 26 | "ocaml-option-32bit" 27 | "ocaml-option-afl" 28 | "ocaml-option-bytecode-only" 29 | "ocaml-option-default-unsafe-string" 30 | "ocaml-option-no-flat-float-array" 31 | "ocaml-option-flambda" 32 | "ocaml-option-fp" 33 | "ocaml-option-musl" 34 | "ocaml-option-static" 35 | "ocaml-option-nnp" 36 | "ocaml-option-nnpchecker" 37 | ] 38 | conflict-class: "ocaml-core-compiler" 39 | available: !(os = "macos" & arch = "arm64") 40 | flags: compiler 41 | setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" 42 | build: [ 43 | [ 44 | "./configure" 45 | "--prefix=%{prefix}%" 46 | "--docdir=%{doc}%/ocaml" 47 | "-C" 48 | "--with-afl" {ocaml-option-afl:installed} 49 | "--disable-native-compiler" {ocaml-option-bytecode-only:installed} 50 | "--disable-force-safe-string" 51 | {ocaml-option-default-unsafe-string:installed} 52 | "DEFAULT_STRING=unsafe" {ocaml-option-default-unsafe-string:installed} 53 | "--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed} 54 | "--enable-flambda" {ocaml-option-flambda:installed} 55 | "--enable-frame-pointers" {ocaml-option-fp:installed} 56 | "--disable-naked-pointers" {ocaml-option-nnp:installed} 57 | "--enable-naked-pointers-checker" {ocaml-option-nnpchecker:installed} 58 | "CC=cc" 59 | {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & 60 | (os = "openbsd" | os = "macos")} 61 | "CC=musl-gcc" {ocaml-option-musl:installed & os-distribution != "alpine"} 62 | "CFLAGS=-Os" {ocaml-option-musl:installed} 63 | "CC=gcc -m32" {ocaml-option-32bit:installed & os = "linux"} 64 | "CC=gcc -Wl,-read_only_relocs,suppress -arch i386 -m32" 65 | {ocaml-option-32bit:installed & os = "macos"} 66 | "ASPP=cc -c" 67 | {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & 68 | (os = "openbsd" | os = "macos")} 69 | "ASPP=musl-gcc -c" 70 | {ocaml-option-musl:installed & os-distribution != "alpine"} 71 | "ASPP=gcc -m32 -c" {ocaml-option-32bit:installed & os = "linux"} 72 | "ASPP=gcc -arch i386 -m32 -c" 73 | {ocaml-option-32bit:installed & os = "macos"} 74 | "AS=as --32" {ocaml-option-32bit:installed & os = "linux"} 75 | "AS=as -arch i386" {ocaml-option-32bit:installed & os = "macos"} 76 | "--host=i386-linux" {ocaml-option-32bit:installed & os = "linux"} 77 | "--host=i386-apple-darwin13.2.0" 78 | {ocaml-option-32bit:installed & os = "macos"} 79 | "PARTIALLD=ld -r -melf_i386" 80 | {ocaml-option-32bit:installed & os = "linux"} 81 | "LIBS=-static" {ocaml-option-static:installed} 82 | "--disable-warn-error" 83 | ] 84 | [make "-j%{jobs}%"] 85 | ] 86 | install: [ 87 | [make "-i" "install"] 88 | [make "-C" "ber-metaocaml-114" "install" "install.opt"] 89 | ] 90 | post-messages: [ 91 | """\ 92 | A failure in the middle of the build may be caused by build parallelism 93 | (enabled by default). 94 | Please file a bug report at https://github.com/ocaml/opam-repository/issues""" 95 | {failure & jobs > "1"} 96 | """\ 97 | You can try installing again including --jobs=1 98 | to force a sequential build instead.""" 99 | {failure & jobs > "1" & opam-version >= "2.0.5"} 100 | ] 101 | dev-repo: "git+https://github.com/metaocaml/ber-metaocaml.git#ber-n114" 102 | url { 103 | src: "https://github.com/yallop/ocaml/archive/17fc2c2f.tar.gz" 104 | checksum: "md5=8fccaa3490f56614c417cdd1c28a1209" 105 | } 106 | -------------------------------------------------------------------------------- /packages/reex/reex.0.1.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "reex" 3 | synopsis: "Regular expressions and derivatives" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/ocaml-reex" 7 | dev-repo: "git+https://github.com/yallop/ocaml-reex.git" 8 | bug-reports: "https://github.com/yallop/ocaml-reex/issues" 9 | license: "MIT" 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" 17 | "dune" 18 | "ppx_deriving" 19 | "charset" 20 | "regenerate" {with-test} 21 | "ounit" {with-test} 22 | ] 23 | url { 24 | src: "https://github.com/yallop/ocaml-reex/archive/refs/tags/0.1.0.tar.gz" 25 | checksum: "md5=bf932d7e6612a01edaf7ab8865a8b392" 26 | } 27 | -------------------------------------------------------------------------------- /packages/reex/reex.0.2.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "reex" 3 | synopsis: "Regular expressions and derivatives" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/ocaml-reex" 7 | dev-repo: "git+https://github.com/yallop/ocaml-reex.git" 8 | bug-reports: "https://github.com/yallop/ocaml-reex/issues" 9 | license: "MIT" 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" 17 | "dune" 18 | "ppx_deriving" 19 | "charset" 20 | "regenerate" {with-test} 21 | "ounit" {with-test} 22 | ] 23 | url { 24 | src: "https://github.com/yallop/ocaml-reex/archive/refs/tags/0.2.0.tar.gz" 25 | checksum: "md5=663c3a77c9fa8de238a8e91a7eb3a703" 26 | } 27 | -------------------------------------------------------------------------------- /packages/reex/reex.0.2.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "reex" 3 | synopsis: "Regular expressions and derivatives" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/ocaml-reex" 7 | dev-repo: "git+https://github.com/yallop/ocaml-reex.git" 8 | bug-reports: "https://github.com/yallop/ocaml-reex/issues" 9 | license: "MIT" 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" 17 | "dune" 18 | "ppx_deriving" 19 | "charset" 20 | "regenerate" {with-test} 21 | "ounit" {with-test} 22 | ] 23 | url { 24 | src: "https://github.com/yallop/ocaml-reex/archive/refs/tags/0.2.1.tar.gz" 25 | checksum: "md5=b4cc65f140376ea25c7e14133376cd07" 26 | } 27 | -------------------------------------------------------------------------------- /packages/reex_match/reex_match.0.1.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "reex_match" 3 | synopsis: "Regular expression matching for MetaOCaml" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/ocaml-reex" 7 | dev-repo: "git+https://github.com/yallop/ocaml-reex.git" 8 | bug-reports: "https://github.com/yallop/ocaml-reex/issues" 9 | license: "MIT" 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-variants" {= "4.11.1+BER" } 17 | "dune" 18 | "reex" 19 | "letrec" 20 | "charmatch" {>= "0.2.0"} 21 | "regenerate" {with-test} 22 | "ounit" {with-test} 23 | ] 24 | url { 25 | src: "https://github.com/yallop/ocaml-reex/archive/refs/tags/0.1.0.tar.gz" 26 | checksum: "md5=bf932d7e6612a01edaf7ab8865a8b392" 27 | } 28 | -------------------------------------------------------------------------------- /packages/reex_match/reex_match.0.2.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "reex_match" 3 | synopsis: "Regular expression matching for MetaOCaml" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/ocaml-reex" 7 | dev-repo: "git+https://github.com/yallop/ocaml-reex.git" 8 | bug-reports: "https://github.com/yallop/ocaml-reex/issues" 9 | license: "MIT" 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-variants" {= "4.11.1+BER" } 17 | "dune" 18 | "reex" 19 | "letrec" 20 | "charmatch" {>= "0.2.0"} 21 | "regenerate" {with-test} 22 | "ounit" {with-test} 23 | ] 24 | url { 25 | src: "https://github.com/yallop/ocaml-reex/archive/refs/tags/0.2.0.tar.gz" 26 | checksum: "md5=663c3a77c9fa8de238a8e91a7eb3a703" 27 | } 28 | -------------------------------------------------------------------------------- /packages/reex_match/reex_match.0.2.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "reex_match" 3 | synopsis: "Regular expression matching for MetaOCaml" 4 | maintainer: "yallop@gmail.com" 5 | authors: ["Jeremy Yallop "] 6 | homepage: "https://github.com/yallop/ocaml-reex" 7 | dev-repo: "git+https://github.com/yallop/ocaml-reex.git" 8 | bug-reports: "https://github.com/yallop/ocaml-reex/issues" 9 | license: "MIT" 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-variants" {= "4.11.1+BER" | = "4.14.1+BER" | = "5.3.0+BER"} 17 | "dune" 18 | "reex" 19 | "letrec" 20 | "charmatch" {>= "0.2.0"} 21 | "regenerate" {with-test} 22 | "ounit" {with-test} 23 | ] 24 | url { 25 | src: "https://github.com/yallop/ocaml-reex/archive/refs/tags/0.2.1.tar.gz" 26 | checksum: "md5=b4cc65f140376ea25c7e14133376cd07" 27 | } 28 | -------------------------------------------------------------------------------- /packages/staged-streams/staged-streams.dev/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "staged-streams" 3 | synopsis: "Stream fusion, to completeness" 4 | version: "dev" 5 | authors: [ 6 | "Oleg Kiselyov" 7 | "Aggelos Biboudis" 8 | "Nick Palladinos" 9 | "Yannis Smaragdakis" 10 | ] 11 | maintainer: "oleg@okmij.org" 12 | homepage: "https://strymonas.github.io/" 13 | dev-repo: "git+https://github.com/strymonas/staged-streams.ocaml.git" 14 | bug-reports: "https://github.com/strymonas/staged-streams.ocaml/issues" 15 | build: [ 16 | [make "all"] 17 | ] 18 | install:[make "install"] 19 | remove: ["ocamlfind" "remove" "staged-streams"] 20 | depends: [ 21 | "batteries" {test & = "2.3.0"} 22 | "oml" {build} 23 | "ocamlfind" {build} 24 | "oasis" {build} 25 | "ounit" {build} 26 | "base-metaocaml-ocamlfind" 27 | ] 28 | url { 29 | src: "https://github.com/yallop/staged-streams.ocaml/tarball/52cee5f3" 30 | checksum: "md5=141b0b5ba5e170004273af7007289aec" 31 | } 32 | -------------------------------------------------------------------------------- /packages/strymonas/strymonas.20230708/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | name: "strymonas" 3 | synopsis: "Stream fusion, to completeness" 4 | authors: [ 5 | "Oleg Kiselyov" 6 | "Tomoaki Kobayashi" 7 | "Aggelos Biboudis" 8 | "Nick Palladinos" 9 | "Yannis Smaragdakis" 10 | ] 11 | maintainer: "oleg@okmij.org" 12 | homepage: "https://strymonas.github.io/" 13 | dev-repo: "git+https://github.com/strymonas/strymonas-ocaml.git" 14 | bug-reports: "https://github.com/strymonas/strymonas-ocaml/issues" 15 | build: [ 16 | [make "all"] 17 | ] 18 | install:[make "install"] 19 | remove: ["ocamlfind" "remove" "strymonas"] 20 | depends: [ 21 | "ocamlfind" {build} 22 | "base-metaocaml-ocamlfind" 23 | ] 24 | url { 25 | src: "https://github.com/ahrefs/strymonas-ocaml/tarball/6310917f10e38a9df05af0996e71ddf5c59aabdb" 26 | checksum: "md5=170064fb5a820b5b57f86ce58c422e76" 27 | } 28 | -------------------------------------------------------------------------------- /repo: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | upstream: "https://github.com/metaocaml/metaocaml-opam/tree/master/" 3 | --------------------------------------------------------------------------------