···

       
6
       
6
       
 
       
  "Matthieu Lemerre <matthieu.lemerre@cea.fr>"

     

       
7
       
7
       
 
       
  "Dorian Lesbre <dorian.lesbre@cea.fr>"

     

       
8
       
8
       
 
       
]

     

       
9
       
9
       
-
       
license: "LGPL-2.1"

     

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

     

       
10
       
10
       
 
       
homepage: "https://codex.top/patricia-tree/"

     

       
11
       
11
       
 
       
doc: "https://codex.top/patricia-tree/"

     

       
12
       
12
       
 
       
bug-reports:

     

       
13
       
13
       
 
       
  "https://github.com/codex-semantics-library/patricia-tree/issues"

     

       
14
       
14
       
 
       
depends: [

     

       
15
       
15
       
 
       
  "ocaml" {>= "4.14"}

     

       
16
       
16
       
-
       
  "qcheck-core" {>= "0.21.2"}

     

       
17
       
16
       
 
       
  "zarith" {>= "1.13"}

     

       
18
       
18
       
-
       
  "dune" {>= "2.0"}

     

       
19
       
19
       
-
       
  "ppx_inline_test" {>= "v0.16.0"}

     

       
17
       
17
       
+
       
  "dune" {>= "2.7" & >= "2.0"}

     

       
18
       
18
       
+
       
  "qcheck-core" {>= "0.21.2" & with-test}

     

       
19
       
19
       
+
       
  "ppx_inline_test" {>= "v0.16.0" & with-test}

     

       
20
       
20
       
+
       
  "odoc" {with-doc}

     

       
20
       
21
       
 
       
]

     

       
21
       
22
       
 
       
build: [

     

       
22
       
22
       
-
       
  ["dune" "subst"] {pinned}

     

       
23
       
23
       
+
       
  ["dune" "subst"] {dev}

     

       
23
       
24
       
 
       
  [

     

       
24
       
25
       
 
       
    "dune"

     

       
25
       
26
       
 
       
    "build"

     
···

       
41
       
42
       
 
       
    "sha512=0c715ecd53321e9d2551ccbe655fc5725e6eba1396e985525161f34c4dfe3d0f1e9a550e55e7ec0612eb37ae606194600da90f2efc1e4fb5f67ac96247432339"

     

       
42
       
43
       
 
       
  ]

     

       
43
       
44
       
 
       
}

     

       
44
       
44
       
-
       
x-commit-hash: "9e936051cef522b65e08cd1541e62fa631f71232"

     

       
45
       
45
       
+
       
x-commit-hash: "a15fd857e1f719169179c1ef3097f12f89a5d012"