this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "yallop@gmail.com"
3authors: "Oleg Kiselyov"
4homepage: "http://okmij.org/ftp/meta-programming/#let-insert"
5license: "Public Domain"
6build: [
7 ["ocamlfind" "-toolchain" "metaocaml" "c" "-package" "delimcc" "-a" "-o" "genlet.cma" "gengenlet.mli" "gengenlet.ml"]
8 ["ocamlfind" "-toolchain" "metaocaml" "opt" "-package" "delimcc" "-a" "-o" "genlet.cmxa" "gengenlet.mli" "gengenlet.ml"]
9]
10depends: ["ocaml" "delimcc" "ocamlfind" "base-metaocaml-ocamlfind"]
11patches: [ "remove-tests.patch" ]
12synopsis: "Let-insertion for MetaOCaml."
13description: """
14See "Let-insertion without pain or fear or guilt"
15 http://okmij.org/ftp/meta-programming/#let-insert"""
16extra-source "remove-tests.patch" {
17 src:
18 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/genlet/remove-tests.patch"
19 checksum: [
20 "sha256=ffed6cf1f68ce96a27f886be7f1e472b9fb11971d79862293353cd40f3f38d55"
21 "md5=e7256726d83671340ee90b748a88b3ae"
22 ]
23}
24extra-source "genlet.install" {
25 src:
26 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/genlet/genlet.install"
27 checksum: [
28 "sha256=d4a1da5f9899bc87a7b138c5e19d9b29d8d8a7f6470916006604795dcbd97347"
29 "md5=f1b8d7a1c513528de1303aa66653fc1b"
30 ]
31}
32extra-source "gengenlet.mli" {
33 src:
34 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/genlet/gengenlet.mli"
35 checksum: [
36 "sha256=58f035905b3eb59ce8a5c50df531ad9d89a1404649c5ddb99acd4cfe996c464f"
37 "md5=d2d860feb1842d5d33d4ab148f6f7ead"
38 ]
39}
40extra-source "gengenlet.ml" {
41 src:
42 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/genlet/gengenlet.ml"
43 checksum: [
44 "sha256=b6daaab173dccd71ef36a37c6c8f94854fe58f581d257bb84eeb5b151c5b66b8"
45 "md5=c8b4040f6639e5d51f2578975a012ebe"
46 ]
47}
48extra-source "META" {
49 src:
50 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/genlet/META.201406"
51 checksum: [
52 "sha256=dd0bc4703589268dfe6bd6751861e82e9fb0aae51759e892b9c9eaa25404ce77"
53 "md5=f9c89f45f1b59e35e2b79a74628e9f39"
54 ]
55}