-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
4,171 changed files
with
146,334 additions
and
0 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,51 @@ | ||
| opam-version: "2.0" | ||
| authors: "Hugues Cassé <[email protected]>" | ||
| homepage: "https://github.com/BinaryAnalysisPlatform/FrontC" | ||
| bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues" | ||
| dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC" | ||
| maintainer: "Ivan Gotovchits <[email protected]>" | ||
| license: "LGPL-2.1-only" | ||
| depends: [ | ||
| "ocaml" | ||
| ] | ||
|
|
||
| build: [ | ||
| [make "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"] | ||
| ] | ||
|
|
||
| install: [ | ||
| [make "install" "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"] | ||
| ["cp" "META" "%{lib}%/FrontC"] | ||
| ] | ||
| synopsis: "Library providing a C parser and lexer" | ||
| description: """ | ||
| FrontC is an OCAML library providing a C parser and lexer. The result | ||
| is a syntactic tree easy to process with usual OCAML tree management. | ||
|
|
||
| It provides support for ANSI C syntax, old-C K&R style syntax and the | ||
| standard GNU CC attributes. | ||
|
|
||
| It provides also a C pretty printer as an example of use.""" | ||
|
|
||
| url { | ||
| src: | ||
| "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz" | ||
| checksum: [ | ||
| "sha256=b96098bc56008e4239e571bb4e7407ac3b83be1c89bf945e2048063f9a5e528c" | ||
| "md5=399f66735541ecf8e06220618eef5c98" | ||
| ] | ||
| mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v3.4.3.tar.gz" | ||
| } | ||
|
|
||
| available: false | ||
| extra-source "FrontC.install" { | ||
| src: | ||
| "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/FrontC.install" | ||
| checksum: [ | ||
| "sha256=501dee92dc12ec57e4f34b5e5e15ee9630cb47c0c3f5219d6172a450c3495224" | ||
| "md5=c56e698d092d18179f9458f311c56412" | ||
| ] | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,45 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Types and functions for building CAD packages in OCaml" | ||
| description: "Types and functions for building CAD packages in OCaml" | ||
| maintainer: ["Geoff deRosenroll<[email protected]"] | ||
| authors: ["Geoff deRosenroll<[email protected]"] | ||
| license: "GPL-2.0-or-later" | ||
| tags: ["OCADml" "CAD"] | ||
| homepage: "https://github.com/OCADml/OCADml" | ||
| doc: "https://OCADml.github.io/OCADml" | ||
| bug-reports: "https://github.com/OCADml/OCADml/issues" | ||
| depends: [ | ||
| "dune" {>= "3.3" & <= "3.17.1"} | ||
| "ocaml" {>= "4.14.0"} | ||
| "gg" {= "1.0.0"} | ||
| "cairo2" {>= "0.6.2" & <= "0.6.5"} | ||
| "odoc" {with-doc & <= "2.4.4"} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| dev-repo: "git+https://github.com/OCADml/OCADml.git" | ||
| url { | ||
| src: | ||
| "https://github.com/OCADml/OCADml/releases/download/v0.3.0/OCADml-0.3.0.tbz" | ||
| checksum: [ | ||
| "sha256=9614beb1c81f1f4da39e5c4a8ee820ebf44beb34a44a7e32602782079efad8c8" | ||
| "sha512=0a8f6c02f0b97c1a4cd270117bd744a26cf29070a6c704dde9379967d0fadfcfdcaeaa6bd286c7696b0dbd2a9e9aa95ccae517ac487a6771897ff4805e2750f6" | ||
| ] | ||
| } | ||
| x-commit-hash: "c35a30fc64a006fc9b81ec21bd8d38b957afe800" | ||
| available: false | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,35 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Parser/serializer for Adobe's Action Message Format" | ||
| maintainer: "Brian Caine <[email protected]>" | ||
| authors: "Brian Caine <[email protected]>" | ||
| license: "LGPL with OCaml linking exception" | ||
| homepage: "https://briancaine.github.io/ocaml-amf/" | ||
| bug-reports: "https://github.com/briancaine/ocaml-amf/issues" | ||
| depends: [ | ||
| "ocaml" {>= "4.04"} | ||
| "dune" {>= "1.0" & <= "3.17.1"} | ||
| "ppx_deriving" {<= "6.0.3"} | ||
| "ppx_sexp_conv" {< "v0.13"} | ||
| "base-threads" {= "base"} | ||
| "core" {>= "v0.9.1" & < "v0.13"} | ||
| "stdint" {<= "0.7.2"} | ||
| "sexplib" {< "v0.13"} | ||
| "bisect_ppx" {build & <= "2.8.3"} | ||
| "ounit" {with-test & <= "2.2.7"} | ||
| ] | ||
| build: [ | ||
| ["dune" "build" "-p" name "-j" jobs] | ||
| ["dune" "runtest" "-p" name "-j" jobs] {with-test} | ||
| ] | ||
| dev-repo: "git+https://github.com/briancaine/ocaml-amf.git" | ||
| url { | ||
| src: "https://github.com/briancaine/ocaml-amf/archive/v0.1.2.tar.gz" | ||
| checksum: [ | ||
| "md5=5ffab0f08aeb4af335ed38cbf7a5694d" | ||
| "sha512=3621e9978a6988696653fcceb92e17e06014fe31e57cc974387a265df10a63f6c76d4e6ff1ebdb6af8d0da06e8782f9c0000b33fcc53a9fdacdf857881fbb4e2" | ||
| ] | ||
| } | ||
| available: false # source tarball not available | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["source-unavailable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,29 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "CCHM homotopy system type checker based on Mini-TT for OCaml" | ||
| maintainer: "Namdak Tonpa <[email protected]>" | ||
| authors: "Groupoid Infinity" | ||
| license: "ISC" | ||
| homepage: "https://groupoid.space/homotopy/" | ||
| bug-reports: "https://github.com/groupoid/anders/issues" | ||
| depends: [ | ||
| "dune" {>= "2.0" & <= "3.17.1"} | ||
| "ocaml" {>= "4.10.0"} | ||
| "menhir" {>= "2.7" & <= "20240715"} | ||
| "odoc" {with-doc & <= "2.4.4"} | ||
| ] | ||
| available: false | ||
| build: [ | ||
| ["dune" "build" "-p" name "-j" jobs] | ||
| ["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/groupoid/anders" | ||
| url { | ||
| src: "https://github.com/groupoid/anders/archive/refs/tags/0.7.zip" | ||
| checksum: [ | ||
| "md5=258c659c2b4dd602db1d844ef14189f8" | ||
| "sha512=d2e7f982ebcd99a05fc7a155c408f6317c0a70dfd33f6b2bc1d6a1fcdf920601b38169c7ee8ec8325a55143d7763ee5bc411c71bfb6a326a7d0b76c5f5ceb496" | ||
| ] | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,32 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Jane Street developers" | ||
| build: make | ||
| remove: [["ocamlfind" "remove" "async"]] | ||
| depends: [ | ||
| "ocaml" | ||
| "camlp4" {<= "5.3"} | ||
| "ocamlfind" {<= "1.9.6"} | ||
| "async_unix" {= "108.00.01"} | ||
| "async_core" {= "108.00.01"} | ||
| "async_extra" {= "108.00.01"} | ||
| "ocamlbuild" {build & <= "0.15.0"} | ||
| ] | ||
| install: [make "install"] | ||
| synopsis: "Monadic concurrency library" | ||
| description: """ | ||
| Part of Jane Street’s Core library | ||
| The Core suite of libraries is an industrial strength alternative to | ||
| OCaml's standard library that was developed by Jane Street, the | ||
| largest industrial user of OCaml.""" | ||
| flags: light-uninstall | ||
| url { | ||
| src: | ||
| "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async-108.00.01.tar.gz" | ||
| checksum: [ | ||
| "sha256=68587507771f6f10cfefb0ed6c36598f6b6ca393c60f18ad198112435c31728c" | ||
| "md5=a474bd087fdd5f3a092867f234044152" | ||
| ] | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,33 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Jane Street developers" | ||
| build: make | ||
| remove: [["ocamlfind" "remove" "async_core"]] | ||
| depends: [ | ||
| "ocaml" | ||
| "camlp4" {<= "5.3"} | ||
| "ocamlfind" {<= "1.9.6"} | ||
| "bin_prot" {<= "v0.17.0"} | ||
| "core" {= "108.00.01"} | ||
| "fieldslib" {<= "v0.17.0"} | ||
| "pa_ounit" {<= "113.00.00"} | ||
| "sexplib" {<= "v0.17.0"} | ||
| "ocamlbuild" {build & <= "0.15.0"} | ||
| ] | ||
| install: [make "install"] | ||
| synopsis: "Part of Jane Street’s Core library" | ||
| description: """ | ||
| The Core suite of libraries is an industrial strength alternative to | ||
| OCaml's standard library that was developed by Jane Street, the | ||
| largest industrial user of OCaml.""" | ||
| flags: light-uninstall | ||
| url { | ||
| src: | ||
| "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async_core-108.00.01.tar.gz" | ||
| checksum: [ | ||
| "sha256=c977d9e6a472604712a297c4849c20c65013153ad636877c7bbe8cc06f70c022" | ||
| "md5=f677808fc9efbbe144aa55ce49122ad8" | ||
| ] | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,36 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Jane Street developers" | ||
| build: make | ||
| remove: [["ocamlfind" "remove" "async_extra"]] | ||
| depends: [ | ||
| "ocaml" | ||
| "camlp4" {<= "5.3"} | ||
| "ocamlfind" {<= "1.9.6"} | ||
| "async_unix" {= "108.00.01"} | ||
| "async_core" {= "108.00.01"} | ||
| "bin_prot" {< "113.01.00"} | ||
| "core" {<= "v0.17.1"} | ||
| "fieldslib" {< "113.01.00"} | ||
| "pa_ounit" {<= "113.00.00"} | ||
| "pipebang" {<= "113.00.00"} | ||
| "sexplib" {< "113.01.00"} | ||
| "ocamlbuild" {build & <= "0.15.0"} | ||
| ] | ||
| install: [make "install"] | ||
| synopsis: "Part of Jane Street’s Core library" | ||
| description: """ | ||
| The Core suite of libraries is an industrial strength alternative to | ||
| OCaml's standard library that was developed by Jane Street, the | ||
| largest industrial user of OCaml.""" | ||
| flags: light-uninstall | ||
| url { | ||
| src: | ||
| "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async_extra-108.00.01.tar.gz" | ||
| checksum: [ | ||
| "sha256=677dc71aa9735f52aa60efca79112e22de491564e75db60ea430101d17bd8031" | ||
| "md5=957b3daaf03493831a5b475c3acf76af" | ||
| ] | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,35 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Jane Street developers" | ||
| build: make | ||
| remove: [["ocamlfind" "remove" "async_unix"]] | ||
| depends: [ | ||
| "ocaml" | ||
| "camlp4" {<= "5.3"} | ||
| "ocamlfind" {<= "1.9.6"} | ||
| "async_core" {= "108.00.01"} | ||
| "bin_prot" {< "113.01.00"} | ||
| "core" {<= "v0.17.1"} | ||
| "fieldslib" {< "113.01.00"} | ||
| "pa_ounit" {<= "113.00.00"} | ||
| "pipebang" {<= "113.00.00"} | ||
| "sexplib" {< "113.01.00"} | ||
| "ocamlbuild" {build & <= "0.15.0"} | ||
| ] | ||
| install: [make "install"] | ||
| synopsis: "Part of Jane Street’s Core library" | ||
| description: """ | ||
| The Core suite of libraries is an industrial strength alternative to | ||
| OCaml's standard library that was developed by Jane Street, the | ||
| largest industrial user of OCaml.""" | ||
| flags: light-uninstall | ||
| url { | ||
| src: | ||
| "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async_unix-108.00.01.tar.gz" | ||
| checksum: [ | ||
| "sha256=4bb99b45adbd230ef99af76804c059c8d029a97608023ade431c93583446466b" | ||
| "md5=5df5c16faaa39c5810f3f46bbab512d0" | ||
| ] | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,39 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Ivan Gotovchits <[email protected]>" | ||
| authors: "BAP Team" | ||
| homepage: "https://github.com/BinaryAnalysisPlatform/bap/" | ||
| bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" | ||
| dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/" | ||
| license: "MIT" | ||
| build: [ | ||
| ["./configure" "--prefix=%{prefix}%" "--enable-fsi-benchmark"] | ||
| [make] | ||
| ] | ||
|
|
||
| install: [[make "install"]] | ||
|
|
||
| remove: [["rm" "-f" "%{bin}%/bap-byteweight"]] | ||
|
|
||
| depends: [ | ||
| "ocaml" {>= "4.08.0" } | ||
| "bap-std" {= "2.4.0"} | ||
| "bap-ida" {= "2.4.0"} | ||
| "bap-byteweight-frontend" {= "2.4.0"} | ||
| "cmdliner" {<= "1.3.0"} | ||
| "fileutils" {<= "0.6.6"} | ||
| "re" {<= "1.12.0"} | ||
| ] | ||
| synopsis: "BAP function start identification benchmark game" | ||
| flags: light-uninstall | ||
|
|
||
| url { | ||
| src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz" | ||
| checksum: [ | ||
| "sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5" | ||
| "md5=b8b1aff8c6846f2213eafc54de07b304" | ||
| ] | ||
| mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz" | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,39 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Ivan Gotovchits <[email protected]>" | ||
| authors: "BAP Team" | ||
| homepage: "https://github.com/BinaryAnalysisPlatform/bap/" | ||
| bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" | ||
| dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/" | ||
| license: "MIT" | ||
| build: [ | ||
| ["./configure" "--prefix=%{prefix}%" "--enable-fsi-benchmark"] | ||
| [make] | ||
| ] | ||
|
|
||
| install: [[make "install"]] | ||
|
|
||
| remove: [["rm" "-f" "%{bin}%/bap-byteweight"]] | ||
|
|
||
| depends: [ | ||
| "ocaml" {>= "4.08.0" } | ||
| "bap-std" {= "2.5.0"} | ||
| "bap-ida" {= "2.5.0"} | ||
| "bap-byteweight-frontend" {= "2.5.0"} | ||
| "cmdliner" {<= "1.3.0"} | ||
| "fileutils" {<= "0.6.6"} | ||
| "re" {<= "1.12.0"} | ||
| ] | ||
| synopsis: "BAP function start identification benchmark game" | ||
| flags: light-uninstall | ||
|
|
||
| url { | ||
| src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.5.0.tar.gz" | ||
| checksum: [ | ||
| "sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174" | ||
| "md5=5abd9b3628b43f797326034f31ca574f" | ||
| ] | ||
| mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.5.0/v2.5.0.tar.gz" | ||
| } | ||
| x-opam-repository-commit-hash-at-time-of-archiving: | ||
| "f53a621b4d526e0b11cfd4249960e0bedd76721a" | ||
| x-reason-for-archiving: ["uninstallable"] |
Oops, something went wrong.