Adding an esy packaging.
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- README.md 18 additions, 0 deletionsREADME.md
- esy.lock/.gitattributes 3 additions, 0 deletionsesy.lock/.gitattributes
- esy.lock/.gitignore 3 additions, 0 deletionsesy.lock/.gitignore
- esy.lock/index.json 297 additions, 0 deletionsesy.lock/index.json
- esy.lock/opam/conf-findutils.1/opam 21 additions, 0 deletionsesy.lock/opam/conf-findutils.1/opam
- esy.lock/opam/conf-gmp.3/files/test.c 10 additions, 0 deletionsesy.lock/opam/conf-gmp.3/files/test.c
- esy.lock/opam/conf-gmp.3/opam 32 additions, 0 deletionsesy.lock/opam/conf-gmp.3/opam
- esy.lock/opam/conf-m4.1/opam 22 additions, 0 deletionsesy.lock/opam/conf-m4.1/opam
- esy.lock/opam/coq.8.13.2/files/coq.install 12 additions, 0 deletionsesy.lock/opam/coq.8.13.2/files/coq.install
- esy.lock/opam/coq.8.13.2/opam 60 additions, 0 deletionsesy.lock/opam/coq.8.13.2/opam
- esy.lock/opam/num.1.4/opam 27 additions, 0 deletionsesy.lock/opam/num.1.4/opam
- esy.lock/opam/ocamlfind.1.8.1/files/ocaml-stub 4 additions, 0 deletionsesy.lock/opam/ocamlfind.1.8.1/files/ocaml-stub
- esy.lock/opam/ocamlfind.1.8.1/files/ocamlfind.install 6 additions, 0 deletionsesy.lock/opam/ocamlfind.1.8.1/files/ocamlfind.install
- esy.lock/opam/ocamlfind.1.8.1/opam 64 additions, 0 deletionsesy.lock/opam/ocamlfind.1.8.1/opam
- esy.lock/opam/zarith.1.12/opam 56 additions, 0 deletionsesy.lock/opam/zarith.1.12/opam
- esy.lock/overrides/d3dc108f8f9f64699d29c9c180f20b50/.gitignore 3 additions, 0 deletions...ock/overrides/d3dc108f8f9f64699d29c9c180f20b50/.gitignore
- esy.lock/overrides/d3dc108f8f9f64699d29c9c180f20b50/package.json 43 additions, 0 deletions...k/overrides/d3dc108f8f9f64699d29c9c180f20b50/package.json
- esy.lock/overrides/d3dc108f8f9f64699d29c9c180f20b50/test/package.json 17 additions, 0 deletions...rrides/d3dc108f8f9f64699d29c9c180f20b50/test/package.json
- esy.lock/overrides/d3dc108f8f9f64699d29c9c180f20b50/test/test.c 14 additions, 0 deletions...ck/overrides/d3dc108f8f9f64699d29c9c180f20b50/test/test.c
Loading