···

       
1
       
1
       
+
       
opam-version: "2.0"

     

       
2
       
2
       
+
       
maintainer: "francois.pottier@inria.fr"

     

       
3
       
3
       
+
       
authors: [

     

       
4
       
4
       
+
       
  "François Pottier <francois.pottier@inria.fr>"

     

       
5
       
5
       
+
       
]

     

       
6
       
6
       
+
       
homepage: "https://gitlab.inria.fr/fpottier/fix"

     

       
7
       
7
       
+
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/fix.git"

     

       
8
       
8
       
+
       
bug-reports: "francois.pottier@inria.fr"

     

       
9
       
9
       
+
       
license: "LGPL-2.0-only"

     

       
10
       
10
       
+
       
build: [

     

       
11
       
11
       
+
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
12
       
12
       
+
       
]

     

       
13
       
13
       
+
       
depends: [

     

       
14
       
14
       
+
       
  "ocaml" { >= "4.03" }

     

       
15
       
15
       
+
       
  "dune" { >= "1.3" }

     

       
16
       
16
       
+
       
]

     

       
17
       
17
       
+
       
synopsis: "Facilities for memoization and fixed points"

     

       
18
       
18
       
+
       
url {

     

       
19
       
19
       
+
       
  src:

     

       
20
       
20
       
+
       
    "https://gitlab.inria.fr/fpottier/fix/-/archive/20211125/archive.tar.gz"

     

       
21
       
21
       
+
       
  checksum: [

     

       
22
       
22
       
+
       
    "md5=d3d316080a2fc9a4f56c15040e141364"

     

       
23
       
23
       
+
       
    "sha512=850cf0d3c6db806ac1d0b9bf39ad82529aecd56af07b2b421f48af15afdeab493f7b73e5d9e7d492e56717a8aeeb61466d87ac8a51fac30e3f77028b5ecd57c4"

     

       
24
       
24
       
+
       
  ]

     

       
25
       
25
       
+
       
}