···

       
19
       
19
       
 
       
  "ocamlbuild" {build}

     

       
20
       
20
       
 
       
  "ocamlfind" {build}

     

       
21
       
21
       
 
       
  "ott" {< "0.31"}

     

       
22
       
22
       
-
       
  "pprint"

     

       
22
       
22
       
+
       
  "pprint" {< "20220103"}

     

       
23
       
23
       
 
       
  "zarith"

     

       
24
       
24
       
 
       
  "z3" {<= "4.7.1"}

     

       
25
       
25
       
 
       
]

     

···

       
18
       
18
       
 
       
  "menhir" {build}

     

       
19
       
19
       
 
       
  "ott" {< "0.31" & build}

     

       
20
       
20
       
 
       
  "linenoise"

     

       
21
       
21
       
-
       
  "pprint"

     

       
21
       
21
       
+
       
  "pprint" {< "20220103"}

     

       
22
       
22
       
 
       
  "zarith"

     

       
23
       
23
       
 
       
  "z3" {>= "4.8.7"}

     

       
24
       
24
       
 
       
  "alcotest" {with-test}

     

···

       
14
       
14
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
15
       
15
       
 
       
  "dune" { >= "2.0.0"}

     

       
16
       
16
       
 
       
  "menhir" { >= "20201216" }

     

       
17
       
17
       
-
       
  "pprint" { >= "20200410" }

     

       
17
       
17
       
+
       
  "pprint" { >= "20200410" & < "20220103"}

     

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
available: arch != "x86_32" & arch != "arm32"

     

       
20
       
20
       
 
       
synopsis: "The CFML program verification tool"

     

···

       
16
       
16
       
 
       
  "menhir" {< "20211223"}

     

       
17
       
17
       
 
       
  "base-unix"

     

       
18
       
18
       
 
       
  "cmdliner"

     

       
19
       
19
       
-
       
  "pprint"

     

       
19
       
19
       
+
       
  "pprint" {< "20220103"}

     

       
20
       
20
       
 
       
  "re" {>= "1.2.2"}

     

       
21
       
21
       
 
       
  "msgpack"

     

       
22
       
22
       
 
       
  "uutf" {>= "1.0.0"}

     

···

       
24
       
24
       
 
       
  src: "http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_0.21.2.tar.gz"

     

       
25
       
25
       
 
       
  checksum: "md5=e9a5dae61b0aa5c33c3445e8e8a92b6a"

     

       
26
       
26
       
 
       
}

     

       
27
       
27
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
30
       
30
       
 
       
  src: "http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_0.24.tar.gz"

     

       
31
       
31
       
 
       
  checksum: "md5=6512a2b737cb8408348306378fc46553"

     

       
32
       
32
       
 
       
}

     

       
33
       
33
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
26
       
26
       
 
       
  src: "https://github.com/ott-lang/ott/archive/0.25.tar.gz"

     

       
27
       
27
       
 
       
  checksum: "md5=2b888fee23b1aa4537f5bd638d502664"

     

       
28
       
28
       
 
       
}

     

       
29
       
29
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
30
       
30
       
 
       
  src: "https://github.com/ott-lang/ott/archive/0.26.tar.gz"

     

       
31
       
31
       
 
       
  checksum: "md5=8aee607f1a386b3e12b1dfe0c2cf7ca1"

     

       
32
       
32
       
 
       
}

     

       
33
       
33
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
26
       
26
       
 
       
  src: "https://github.com/ott-lang/ott/archive/0.27.tar.gz"

     

       
27
       
27
       
 
       
  checksum: "md5=e05eea1b975d8612c68feec068c4b963"

     

       
28
       
28
       
 
       
}

     

       
29
       
29
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
26
       
26
       
 
       
  src: "https://github.com/ott-lang/ott/archive/0.28.tar.gz"

     

       
27
       
27
       
 
       
  checksum: "md5=42c76a821b8ba1528f6b99025cc6f2b0"

     

       
28
       
28
       
 
       
}

     

       
29
       
29
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
29
       
29
       
 
       
  src: "https://github.com/ott-lang/ott/archive/0.29.tar.gz"

     

       
30
       
30
       
 
       
  checksum: "md5=6284382d02bd01ed00fe0e09fe3b777f"

     

       
31
       
31
       
 
       
}

     

       
32
       
32
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
29
       
29
       
 
       
  src: "https://github.com/ott-lang/ott/archive/0.30.tar.gz"

     

       
30
       
30
       
 
       
  checksum: "md5=bd83649b6ec5a4dbc22ed0de6a3a81f4"

     

       
31
       
31
       
 
       
}

     

       
32
       
32
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
35
       
35
       
 
       
    "sha512=d885ac3e7d835705342f476200bcbbdc278bcf44418d5365f02b4e92e4d630d6d080bfb008e6742fc3354de3379a99afc5263b66a612a9ac4ce20231f4500f4a"

     

       
36
       
36
       
 
       
  ]

     

       
37
       
37
       
 
       
}

     

       
38
       
38
       
+
       
conflicts: [ "pprint" {>= "20220103"} ]

     

···

       
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
       
+
       
  "Nicolas Pouillard <np@nicolaspouillard.fr>"

     

       
6
       
6
       
+
       
]

     

       
7
       
7
       
+
       
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"

     

       
8
       
8
       
+
       
homepage: "https://github.com/fpottier/pprint"

     

       
9
       
9
       
+
       
dev-repo: "git+ssh://git@github.com/fpottier/pprint.git"

     

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

     

       
11
       
11
       
+
       
build: [

     

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

     

       
13
       
13
       
+
       
]

     

       
14
       
14
       
+
       
depends: [

     

       
15
       
15
       
+
       
  "ocaml" {>= "4.02"}

     

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

     

       
17
       
17
       
+
       
]

     

       
18
       
18
       
+
       
synopsis: "A pretty-printing combinator library and rendering engine"

     

       
19
       
19
       
+
       
description: "This library offers a set of combinators for building so-called documents as

     

       
20
       
20
       
+
       
well as an efficient engine for converting documents to a textual, fixed-width

     

       
21
       
21
       
+
       
format. The engine takes care of indentation and line breaks, while respecting

     

       
22
       
22
       
+
       
the constraints imposed by the structure of the document and by the text width."

     

       
23
       
23
       
+
       
url {

     

       
24
       
24
       
+
       
  src: "https://github.com/fpottier/pprint/archive/20220103.tar.gz"

     

       
25
       
25
       
+
       
  checksum: [

     

       
26
       
26
       
+
       
    "md5=6ace8d5113f937aa65873f6c9985fea4"

     

       
27
       
27
       
+
       
    "sha512=1c4d85e529414dc2d52602fae7e44ca036d2d35e9ce1906fd88b0f8a8d0ba1527042b0e5117fdeb51237b2311020a711065a917cc158b63e2ac932c97fa28406"

     

       
28
       
28
       
+
       
  ]

     

       
29
       
29
       
+
       
}