···

       
2
       
2
       
 
       
synopsis: "DAGaml : Abstract DAG manipulation in OCaml"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/dagaml"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/dagaml"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "DAGaml : Abstract DAG manipulation in OCaml"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/dagaml"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/dagaml"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "GuaCaml : Generic Unspecific Algorithmic in OCaml"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/guacaml"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/guacaml"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "GuaCaml : Generic Unspecific Algorithmic in OCaml"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/guacaml"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/guacaml"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "GuaCaml : Generic Unspecific Algorithmic in OCaml"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/guacaml"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/guacaml"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "GuaCaml : Generic Unspecific Algorithmic in OCaml"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/guacaml"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/guacaml"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "GuaCaml : Generic Unspecific Algorithmic in OCaml"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/guacaml"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/guacaml"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "Snowflake : A Generic Symbolic Dynamic Programming framework"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/snowflake"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/snowflake"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "Snowflake : A Generic Symbolic Dynamic Programming framework"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/snowflake"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/snowflake"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "Snowflake : A Generic Symbolic Dynamic Programming framework"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/snowflake"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/snowflake"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "Snowflake : A Generic Symbolic Dynamic Programming framework"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/snowflake"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/snowflake"

     

       
8
       
8
       
 
       
depends: [

     

···

       
2
       
2
       
 
       
synopsis: "Snowflake : A Generic Symbolic Dynamic Programming framework"

     

       
3
       
3
       
 
       
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
4
       
4
       
 
       
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"

     

       
5
       
5
       
-
       
license: "LGPL-3.0-only with OCaml-LGPL-linking-exception"

     

       
5
       
5
       
+
       
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"

     

       
6
       
6
       
 
       
homepage: "https://gitlab.com/boreal-ldd/snowflake"

     

       
7
       
7
       
 
       
bug-reports: "https://gitlab.com/boreal-ldd/snowflake"

     

       
8
       
8
       
 
       
depends: [

     

···

       
6
       
6
       
 
       
algebraic datatypes."""

     

       
7
       
7
       
 
       
maintainer: ["Markus Mottl <markus.mottl@gmail.com>"]

     

       
8
       
8
       
 
       
authors: ["Markus Mottl <markus.mottl@gmail.com>"]

     

       
9
       
9
       
-
       
license: "LGPL-2.1-or-later with OCaml-LGPL-linking-exception"

     

       
9
       
9
       
+
       
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"

     

       
10
       
10
       
 
       
homepage: "https://mmottl.github.io/aifad"

     

       
11
       
11
       
 
       
doc: "https://mmottl.github.io/aifad/api"

     

       
12
       
12
       
 
       
bug-reports: "https://github.com/mmottl/aifad/issues"

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     
···

       
9
       
9
       
 
       
]

     

       
10
       
10
       
 
       
depends: [

     

       
11
       
11
       
 
       
  "ocaml" {>="4.04.0"}

     

       
12
       
12
       
-
       
  "dune" {< "3.0"}

     

       
12
       
12
       
+
       
  "dune" {>= "1.5" & < "3.0"}

     

       
13
       
13
       
 
       
  "num"

     

       
14
       
14
       
 
       
  "ocplib-simplex" {>= "0.4" }

     

       
15
       
15
       
 
       
  "zarith"

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["./configure" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
27
       
27
       
 
       
# and not alt-ergo-lib.opam which is generated by dune

     

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
license: [

     

       
30
       
30
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
30
       
30
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
31
       
31
       
 
       
]

     

       
32
       
32
       
 
       


     

       
33
       
33
       
 
       
build: [

     

···

       
27
       
27
       
 
       
# and not alt-ergo-lib.opam which is generated by dune

     

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
license: [

     

       
30
       
30
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
30
       
30
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
31
       
31
       
 
       
]

     

       
32
       
32
       
 
       


     

       
33
       
33
       
 
       
build: [

     

···

       
28
       
28
       
 
       
tags: "org:OCamlPro"

     

       
29
       
29
       
 
       


     

       
30
       
30
       
 
       
license: [

     

       
31
       
31
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
31
       
31
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
32
       
32
       
 
       
]

     

       
33
       
33
       
 
       


     

       
34
       
34
       
 
       
build: [

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     
···

       
9
       
9
       
 
       
]

     

       
10
       
10
       
 
       
depends: [

     

       
11
       
11
       
 
       
  "ocaml" {>="4.04.0"}

     

       
12
       
12
       
-
       
  "dune"

     

       
12
       
12
       
+
       
  "dune" {>= "1.5"}

     

       
13
       
13
       
 
       
  "alt-ergo-lib" { = "2.3.0" }

     

       
14
       
14
       
 
       
  "psmt2-frontend" { >= "0.2" }

     

       
15
       
15
       
 
       
  "camlzip"

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["./configure" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
26
       
26
       
 
       
# and not alt-ergo-parsers.opam which is generated by dune

     

       
27
       
27
       
 
       


     

       
28
       
28
       
 
       
license: [

     

       
29
       
29
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
29
       
29
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
30
       
30
       
 
       
]

     

       
31
       
31
       
 
       


     

       
32
       
32
       
 
       
build: [

     

···

       
26
       
26
       
 
       
# and not alt-ergo-parsers.opam which is generated by dune

     

       
27
       
27
       
 
       


     

       
28
       
28
       
 
       
license: [

     

       
29
       
29
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
29
       
29
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
30
       
30
       
 
       
]

     

       
31
       
31
       
 
       


     

       
32
       
32
       
 
       
build: [

     

···

       
27
       
27
       
 
       
tags: "org:OCamlPro"

     

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
license: [

     

       
30
       
30
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
30
       
30
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
31
       
31
       
 
       
]

     

       
32
       
32
       
 
       


     

       
33
       
33
       
 
       
build: [

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     
···

       
9
       
9
       
 
       
]

     

       
10
       
10
       
 
       
depends: [

     

       
11
       
11
       
 
       
  "ocaml" {>="4.04.0"}

     

       
12
       
12
       
+
       
  "dune" {>= "1.5"}

     

       
12
       
13
       
 
       
  "alt-ergo-lib" { = "2.3.0" }

     

       
13
       
14
       
 
       
  "alt-ergo-parsers" { = "2.3.0" }

     

       
14
       
15
       
 
       
]

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["./configure" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
23
       
23
       
 
       
# and not alt-ergo.opam which is generated by dune

     

       
24
       
24
       
 
       


     

       
25
       
25
       
 
       
license: [

     

       
26
       
26
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
26
       
26
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
27
       
27
       
 
       
  "LGPL-2.1-only"

     

       
28
       
28
       
 
       
]

     

       
29
       
29
       
 
       


     

···

       
23
       
23
       
 
       
# and not alt-ergo.opam which is generated by dune

     

       
24
       
24
       
 
       


     

       
25
       
25
       
 
       
license: [

     

       
26
       
26
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
26
       
26
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
27
       
27
       
 
       
  "LGPL-2.1-only"

     

       
28
       
28
       
 
       
]

     

       
29
       
29
       
 
       


     

···

       
24
       
24
       
 
       
tags: "org:OCamlPro"

     

       
25
       
25
       
 
       


     

       
26
       
26
       
 
       
license: [

     

       
27
       
27
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
27
       
27
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
28
       
28
       
 
       
  "LGPL-2.1-only"

     

       
29
       
29
       
 
       
]

     

       
30
       
30
       
 
       


     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     
···

       
9
       
9
       
 
       
]

     

       
10
       
10
       
 
       
depends: [

     

       
11
       
11
       
 
       
  "ocaml" {>="4.04.0"}

     

       
12
       
12
       
-
       
  "dune"

     

       
12
       
12
       
+
       
  "dune" {>= "1.5"}

     

       
13
       
13
       
 
       
  "lablgtk"

     

       
14
       
14
       
 
       
  "conf-gtksourceview"

     

       
15
       
15
       
 
       
  "alt-ergo-lib" { = "2.3.0" }

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["ocaml" "unix.cma" "configure.ml" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "Alt-Ergo developers"

     

       
3
       
3
       
 
       
maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       
4
       
4
       
-
       
license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       
4
       
4
       
+
       
license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
5
       
5
       
 
       
build: [

     

       
6
       
6
       
 
       
  ["./configure" name]

     

       
7
       
7
       
 
       
  ["dune" "subst"] {dev}

     

···

       
26
       
26
       
 
       
# and not altgr-ergo.opam which is generated by dune

     

       
27
       
27
       
 
       


     

       
28
       
28
       
 
       
license: [

     

       
29
       
29
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
29
       
29
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
30
       
30
       
 
       
]

     

       
31
       
31
       
 
       


     

       
32
       
32
       
 
       
build: [

     

···

       
26
       
26
       
 
       
# and not altgr-ergo.opam which is generated by dune

     

       
27
       
27
       
 
       


     

       
28
       
28
       
 
       
license: [

     

       
29
       
29
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
29
       
29
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
30
       
30
       
 
       
]

     

       
31
       
31
       
 
       


     

       
32
       
32
       
 
       
build: [

     

···

       
28
       
28
       
 
       
tags: "org:OCamlPro"

     

       
29
       
29
       
 
       


     

       
30
       
30
       
 
       
license: [

     

       
31
       
31
       
-
       
  "OCamlPro Non-Commercial Purpose License, version 1"

     

       
31
       
31
       
+
       
  "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       
32
       
32
       
 
       
]

     

       
33
       
33
       
 
       


     

       
34
       
34
       
 
       
build: [

     

···

       
7
       
7
       
 
       
  "Thibault Suzanne <thi.suzanne@gmail.com>"

     

       
8
       
8
       
 
       
]

     

       
9
       
9
       
 
       
authors: "OCaml batteries-included team"

     

       
10
       
10
       
-
       
license: "LGPL-2.1-or-later with OCaml-LGPL-linking-exception"

     

       
10
       
10
       
+
       
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"

     

       
11
       
11
       
 
       
homepage: "https://github.com/ocaml-batteries-team/batteries-included"

     

       
12
       
12
       
 
       
doc: "http://ocaml-batteries-team.github.io/batteries-included/hdoc2/"

     

       
13
       
13
       
 
       
bug-reports:

     

···

       
7
       
7
       
 
       
  "Thibault Suzanne <thi.suzanne@gmail.com>"

     

       
8
       
8
       
 
       
]

     

       
9
       
9
       
 
       
authors: "OCaml batteries-included team"

     

       
10
       
10
       
-
       
license: "LGPL-2.1-or-later with OCaml-LGPL-linking-exception"

     

       
10
       
10
       
+
       
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"

     

       
11
       
11
       
 
       
homepage: "https://github.com/ocaml-batteries-team/batteries-included"

     

       
12
       
12
       
 
       
doc: "http://ocaml-batteries-team.github.io/batteries-included/hdoc2/"

     

       
13
       
13
       
 
       
bug-reports:

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis:"This library provides functions for encoding efficiently simple OCaml data"

     

       
4
       
4
       
 
       
description:"The library provides two main modules

     

       
5
       
5
       
 
       
- Buffer: defines buffers for writing and reading compressed data.

     

···

       
5
       
5
       
 
       
  "CFG is a library for verifying and manipulating context-free grammars."

     

       
6
       
6
       
 
       
maintainer: ["Markus Mottl <markus.mottl@gmail.com>"]

     

       
7
       
7
       
 
       
authors: ["Markus Mottl <markus.mottl@gmail.com>"]

     

       
8
       
8
       
-
       
license: "LGPL-2.1-or-later with OCaml-LGPL-linking-exception"

     

       
8
       
8
       
+
       
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"

     

       
9
       
9
       
 
       
homepage: "https://mmottl.github.io/cfg"

     

       
10
       
10
       
 
       
doc: "https://mmottl.github.io/cfg/api"

     

       
11
       
11
       
 
       
bug-reports: "https://github.com/mmottl/cfg/issues"

     

···

       
3
       
3
       
 
       
synopsis: "A library to create cue sheet"

     

       
4
       
4
       
 
       
maintainer: ["EruEri"]

     

       
5
       
5
       
 
       
authors: ["EruEri"]

     

       
6
       
6
       
-
       
license: "GPL-3.0+"

     

       
6
       
6
       
+
       
license: "GPL-3.0-or-later"

     

       
7
       
7
       
 
       
tags: ["Cue Sheet Maker"]

     

       
8
       
8
       
 
       
homepage: "https://github.com/EruEri/cue-sheet-maker"

     

       
9
       
9
       
 
       
bug-reports: "https://github.com/EruEri/cue-sheet-maker/issues"

     

···

       
4
       
4
       
 
       
description: "Tools for building terminal-based user interfaces"

     

       
5
       
5
       
 
       
maintainer: ["Michael Bacarella <m@bacarella.com>"]

     

       
6
       
6
       
 
       
authors: ["Nicolas George"]

     

       
7
       
7
       
-
       
license: "LGPL-2.1-or-later WITH OCaml-linking-exception"

     

       
7
       
7
       
+
       
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"

     

       
8
       
8
       
 
       
homepage: "https://github.com/mbacarella/curses"

     

       
9
       
9
       
 
       
bug-reports: "https://github.com/mbacarella/curses/issues"

     

       
10
       
10
       
 
       
depends: [

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"

     

       
3
       
3
       
 
       
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>" ]

     

       
4
       
4
       
-
       
license: "GPL-3.0+"

     

       
4
       
4
       
+
       
license: "GPL-3.0-or-later"

     

       
5
       
5
       
 
       
homepage: "https://github.com/Chris00/ocaml-curve-sampling"

     

       
6
       
6
       
 
       
dev-repo: "git+https://github.com/Chris00/ocaml-curve-sampling.git"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/Chris00/ocaml-curve-sampling/issues"

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis:

     

       
4
       
4
       
 
       
  "The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience"

     

       
5
       
5
       
 
       
description: """\

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis:

     

       
4
       
4
       
 
       
  "The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience"

     

       
5
       
5
       
 
       
description: """\

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis:

     

       
4
       
4
       
 
       
  "The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience"

     

       
5
       
5
       
 
       
description: """\

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis:

     

       
4
       
4
       
 
       
  "The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience"

     

       
5
       
5
       
 
       
description: """\

     

···

       
5
       
5
       
 
       
  "dune-expand is a tool that allows users to view the expanded output of PPXs on their source files."

     

       
6
       
6
       
 
       
maintainer: ["kirang@comp.nus.edu.sg"]

     

       
7
       
7
       
 
       
authors: ["Kiran Gopinathan"]

     

       
8
       
8
       
-
       
license: "GPL-3.0+"

     

       
8
       
8
       
+
       
license: "GPL-3.0-or-later"

     

       
9
       
9
       
 
       
homepage: "https://gitlab.com/gopiandcode/dune-expand"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.com/gopiandcode/dune-expand/issues"

     

       
11
       
11
       
 
       
depends: [

     

···

       
4
       
4
       
 
       
  "Ego is an exensible egraph library for OCaml loosely based on the egg library in Rust."

     

       
5
       
5
       
 
       
maintainer: ["kirang@comp.nus.edu.sg"]

     

       
6
       
6
       
 
       
authors: ["Kiran Gopinathan"]

     

       
7
       
7
       
-
       
license: "GPL-3.0+"

     

       
7
       
7
       
+
       
license: "GPL-3.0-or-later"

     

       
8
       
8
       
 
       
homepage: "https://gitlab.com/gopiandcode/ego"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.com/gopiandcode/ego/issues"

     

       
10
       
10
       
 
       
depends: [

     

···

       
5
       
5
       
 
       
description: "Eliom is a framework for implementing client/server Web applications. It introduces new concepts to simplify the implementation of common behaviors, and uses advanced static typing features of OCaml to check many properties of the Web application at compile-time. Eliom allows implementing the whole application as a single program that includes both the client and the server code. We use a syntax extension to distinguish between the two sides. The client-side code is compiled to JS using Ocsigen Js_of_ocaml."

     

       
6
       
6
       
 
       
homepage: "http://ocsigen.org/eliom/"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ocsigen/eliom/issues/"

     

       
8
       
8
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
8
       
8
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
9
       
9
       
 
       
dev-repo: "git+https://github.com/ocsigen/eliom.git"

     

       
10
       
10
       
 
       
build: [make]

     

       
11
       
11
       
 
       
depends: [

     

···

       
5
       
5
       
 
       
description: "Eliom is a framework for implementing client/server Web applications. It introduces new concepts to simplify the implementation of common behaviors, and uses advanced static typing features of OCaml to check many properties of the Web application at compile-time. Eliom allows implementing the whole application as a single program that includes both the client and the server code. We use a syntax extension to distinguish between the two sides. The client-side code is compiled to JS using Ocsigen Js_of_ocaml."

     

       
6
       
6
       
 
       
homepage: "http://ocsigen.org/eliom/"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ocsigen/eliom/issues/"

     

       
8
       
8
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
8
       
8
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
9
       
9
       
 
       
dev-repo: "git+https://github.com/ocsigen/eliom.git"

     

       
10
       
10
       
 
       
build: [make]

     

       
11
       
11
       
 
       
depends: [

     

···

       
24
       
24
       
 
       
  "Gabriel Scherer"

     

       
25
       
25
       
 
       
  "Pietro Abate"

     

       
26
       
26
       
 
       
]

     

       
27
       
27
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
27
       
27
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
28
       
28
       
 
       
homepage: "https://github.com/ygrek/ocaml-extlib"

     

       
29
       
29
       
 
       
doc: "https://ygrek.org/p/extlib/doc/"

     

       
30
       
30
       
 
       
bug-reports: "https://github.com/ygrek/ocaml-extlib/issues"

     

···

       
27
       
27
       
 
       
  "ygrek"

     

       
28
       
28
       
 
       
  "Zhenya Lykhovyd"

     

       
29
       
29
       
 
       
]

     

       
30
       
30
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
30
       
30
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
31
       
31
       
 
       
tags: ["org:ygrek"]

     

       
32
       
32
       
 
       
homepage: "https://github.com/ygrek/extunix"

     

       
33
       
33
       
 
       
bug-reports: "https://github.com/ygrek/extunix/issues"

     

···

       
27
       
27
       
 
       
  "ygrek"

     

       
28
       
28
       
 
       
  "Zhenya Lykhovyd"

     

       
29
       
29
       
 
       
]

     

       
30
       
30
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
30
       
30
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
31
       
31
       
 
       
tags: ["org:ygrek"]

     

       
32
       
32
       
 
       
homepage: "https://github.com/ygrek/extunix"

     

       
33
       
33
       
 
       
bug-reports: "https://github.com/ygrek/extunix/issues"

     

···

       
8
       
8
       
 
       
  "Maxime Levillain <maxime.levillain@ocamlpro.com>"

     

       
9
       
9
       
 
       
  "Alain Mebsout <alain.mebsout@ocamlpro.com>"

     

       
10
       
10
       
 
       
]

     

       
11
       
11
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
11
       
11
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
12
       
12
       
 
       
homepage: "https://github.com/ocamlpro/ez_api"

     

       
13
       
13
       
 
       
doc: "https://ocpmax.github.io/ez_api/ez_api/index.html"

     

       
14
       
14
       
 
       
bug-reports: "https://github.com/ocamlpro/ez_api/issues"

     

···

       
9
       
9
       
 
       
  "Maxime Levillain <maxime.levillain@ocamlpro.com>"

     

       
10
       
10
       
 
       
  "Alain Mebsout <alain.mebsout@ocamlpro.com>"

     

       
11
       
11
       
 
       
]

     

       
12
       
12
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
12
       
12
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
13
       
13
       
 
       
homepage: "https://github.com/ocamlpro/ez_api"

     

       
14
       
14
       
 
       
doc: "https://ocpmax.github.io/ez_api/ez_api/index.html"

     

       
15
       
15
       
 
       
bug-reports: "https://github.com/ocamlpro/ez_api/issues"

     

···

       
9
       
9
       
 
       
  "Maxime Levillain <maxime.levillain@ocamlpro.com>"

     

       
10
       
10
       
 
       
  "Alain Mebsout <alain.mebsout@ocamlpro.com>"

     

       
11
       
11
       
 
       
]

     

       
12
       
12
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
12
       
12
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
13
       
13
       
 
       
homepage: "https://github.com/ocamlpro/ez_api"

     

       
14
       
14
       
 
       
doc: "https://ocpmax.github.io/ez_api/ez_api/index.html"

     

       
15
       
15
       
 
       
bug-reports: "https://github.com/ocamlpro/ez_api/issues"

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis: "Easy interface to Cmdliner à la Arg.parse with sub-commands"

     

       
4
       
4
       
 
       
description: """

     

       
5
       
5
       
 
       
ez_cmdliner is a simple layer on top of Cmdliner to provide an interface

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis: "Easy management of configuration files"

     

       
4
       
4
       
 
       
description: """\

     

       
5
       
5
       
 
       
EzConfig can be used to manage a configuration file with OCaml lexing

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis: "Easy file manipulation (read_file, write_file, etc.)"

     

       
4
       
4
       
 
       
description: """\

     

       
5
       
5
       
 
       
This library provides some modules to read and write files, and create 

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis: "The ez_search library"

     

       
4
       
4
       
 
       
description: """\

     

       
5
       
5
       
 
       
ez_search is a library for indexing files and searching content with rexgexps.

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis: "Ez_subst is a simple module to perform string substitutions"

     

       
4
       
4
       
 
       
description: """

     

       
5
       
5
       
 
       
Ez_subst is a simple module to perform string substitutions, like

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis: "Ez_subst is a simple module to perform string substitutions"

     

       
4
       
4
       
 
       
description: """\

     

       
5
       
5
       
 
       
Ez_subst is a simple module to perform string substitutions, like

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
maintainer: "github@ahrefs.com"

     

       
3
       
3
       
 
       
authors: "Ahrefs <github@ahrefs.com>"

     

       
4
       
4
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
homepage: "https://github.com/ahrefs/ocaml-farmhash"

     

       
6
       
6
       
 
       
dev-repo: "git+https://github.com/ahrefs/ocaml-farmhash.git"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ahrefs/ocaml-farmhash/issues"

     

···

       
5
       
5
       
 
       
  "The guile library is Free Software high-level OCaml bindings to GNU Guile 3.0, supporting easy interop between OCaml and GNU Guile Scheme."

     

       
6
       
6
       
 
       
maintainer: ["kirang@comp.nus.edu.sg"]

     

       
7
       
7
       
 
       
authors: ["Kiran Gopinathan"]

     

       
8
       
8
       
-
       
license: "GPL-3.0+"

     

       
8
       
8
       
+
       
license: "GPL-3.0-or-later"

     

       
9
       
9
       
 
       
homepage: "https://github.com/gopiandcode/guile-ocaml"

     

       
10
       
10
       
 
       
bug-reports: "https://github.com/gopiandcode/guile-ocaml/issues"

     

       
11
       
11
       
 
       
depends: [

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
7
       
7
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
8
       
8
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
9
       
9
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
10
       
10
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
11
       
11
       
 
       
build: [

     

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

     

       
13
       
13
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
8
       
8
       
 
       
homepage: "http://gitlab.inria.fr/fpottier/menhir"

     

       
9
       
9
       
 
       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"

     

       
10
       
10
       
 
       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"

     

       
11
       
11
       
-
       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"

     

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

     

       
12
       
12
       
 
       
build: [

     

       
13
       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
14
       
 
       
]

     

···

       
4
       
4
       
 
       
dev-repo: "git+https://github.com/nberth/mlgmpidl.git"

     

       
5
       
5
       
 
       
bug-reports: "https://github.com/nberth/mlgmpidl/issues"

     

       
6
       
6
       
 
       
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"

     

       
7
       
7
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

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

     

       
8
       
8
       
 
       
build: [

     

       
9
       
9
       
 
       
  ["sh" "./configure" "--absolute-dylibs" {os = "macos"}]

     

       
10
       
10
       
 
       
  [make]

     

···

       
4
       
4
       
 
       
description: "OCaml bindings to libmpg123"

     

       
5
       
5
       
 
       
maintainer: ["Michael Bacarella <m@bacarella.com>"]

     

       
6
       
6
       
 
       
authors: ["Michael Bacarella <m@bacarella.com>"]

     

       
7
       
7
       
-
       
license: "LGPL-2.1-or-later with OCaml-LGPL-linking-exception"

     

       
7
       
7
       
+
       
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"

     

       
8
       
8
       
 
       
homepage: "https://github.com/mbacarella/mpg123"

     

       
9
       
9
       
 
       
bug-reports: "https://github.com/mbacarella/mpg123/issues"

     

       
10
       
10
       
 
       
depends: [

     

···

       
4
       
4
       
 
       
description: "OCaml bindings to libmpg123"

     

       
5
       
5
       
 
       
maintainer: ["Michael Bacarella <m@bacarella.com>"]

     

       
6
       
6
       
 
       
authors: ["Michael Bacarella <m@bacarella.com>"]

     

       
7
       
7
       
-
       
license: "LGPL-2.1-or-later with OCaml-LGPL-linking-exception"

     

       
7
       
7
       
+
       
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"

     

       
8
       
8
       
 
       
homepage: "https://github.com/mbacarella/mpg123"

     

       
9
       
9
       
 
       
bug-reports: "https://github.com/mbacarella/mpg123/issues"

     

       
10
       
10
       
 
       
depends: [

     

···

       
16
       
16
       
 
       
]

     

       
17
       
17
       
 
       
homepage: "http://www.typerex.org/ocp-index.html"

     

       
18
       
18
       
 
       
bug-reports: "https://github.com/OCamlPro/ocp-index/issues"

     

       
19
       
19
       
-
       
license: ["LGPL-2.1-only with OCaml-LGPL-linking-exception" "GPL-3.0-only"]

     

       
19
       
19
       
+
       
license: ["LGPL-2.1-only WITH OCaml-LGPL-linking-exception" "GPL-3.0-only"]

     

       
20
       
20
       
 
       
tags: [ "org:ocamlpro" "org:typerex" ]

     

       
21
       
21
       
 
       
dev-repo: "git+https://github.com/OCamlPro/ocp-index.git"

     

       
22
       
22
       
 
       
build: ["dune" "build" "-p" name "-j" jobs]

     

···

       
10
       
10
       
 
       
To automatically configure your editors, install this with package `user-setup`."""

     

       
11
       
11
       
 
       
maintainer: "louis.gesbert@ocamlpro.com"

     

       
12
       
12
       
 
       
authors: ["Louis Gesbert" "Gabriel Radanne"]

     

       
13
       
13
       
-
       
license: ["LGPL-2.1-only with OCaml-LGPL-linking-exception" "GPL-3.0-only"]

     

       
13
       
13
       
+
       
license: ["LGPL-2.1-only WITH OCaml-LGPL-linking-exception" "GPL-3.0-only"]

     

       
14
       
14
       
 
       
tags: ["org:ocamlpro" "org:typerex"]

     

       
15
       
15
       
 
       
homepage: "http://www.typerex.org/ocp-index.html"

     

       
16
       
16
       
 
       
bug-reports: "https://github.com/OCamlPro/ocp-index/issues"

     

···

       
16
       
16
       
 
       
]

     

       
17
       
17
       
 
       
homepage: "http://www.typerex.org/ocp-index.html"

     

       
18
       
18
       
 
       
bug-reports: "https://github.com/OCamlPro/ocp-index/issues"

     

       
19
       
19
       
-
       
license: ["LGPL-2.1-only with OCaml-LGPL-linking-exception" "GPL-3.0-only"]

     

       
19
       
19
       
+
       
license: ["LGPL-2.1-only WITH OCaml-LGPL-linking-exception" "GPL-3.0-only"]

     

       
20
       
20
       
 
       
tags: [ "org:ocamlpro" "org:typerex" ]

     

       
21
       
21
       
 
       
dev-repo: "git+https://github.com/OCamlPro/ocp-index.git"

     

       
22
       
22
       
 
       
build: ["dune" "build" "-p" name "-j" jobs]

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
2
       
2
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
3
       
3
       
 
       
synopsis: "The ocp-search tool to index/search source packages"

     

       
4
       
4
       
 
       
description: """\

     

       
5
       
5
       
 
       
ocp-search is an index/search tool built as an example on top of 

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors: "dev@ocsigen.org"

     

       
3
       
3
       
 
       
maintainer: "dev@ocsigen.org"

     

       
4
       
4
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
homepage: "https://github.com/ocsigen/ocsigen-ppx-rpc/"

     

       
6
       
6
       
 
       
bug-reports: "https://github.com/ocsigen/ocsigen-ppx-rpc/issues"

     

       
7
       
7
       
 
       
dev-repo: "git+https://github.com/ocsigen/ocsigen-ppx-rpc.git"

     

···

       
6
       
6
       
 
       
homepage: "http://www.ocsigen.org"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ocsigen/ocsigen-toolkit/issues/"

     

       
8
       
8
       
 
       
dev-repo: "git+https://github.com/ocsigen/ocsigen-toolkit.git"

     

       
9
       
9
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
9
       
9
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
10
       
10
       
 
       
build: [ make "-j%{jobs}%" ]

     

       
11
       
11
       
 
       
install: [ make "install" ]

     

       
12
       
12
       
 
       
depends: [

     

···

       
6
       
6
       
 
       
homepage: "http://www.ocsigen.org"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ocsigen/ocsigen-toolkit/issues/"

     

       
8
       
8
       
 
       
dev-repo: "git+https://github.com/ocsigen/ocsigen-toolkit.git"

     

       
9
       
9
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
9
       
9
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
10
       
10
       
 
       
build: [ make "-j%{jobs}%" ]

     

       
11
       
11
       
 
       
install: [ make "install" ]

     

       
12
       
12
       
 
       
depends: [

     

···

       
6
       
6
       
 
       
homepage: "http://www.ocsigen.org"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ocsigen/ocsigen-toolkit/issues/"

     

       
8
       
8
       
 
       
dev-repo: "git+https://github.com/ocsigen/ocsigen-toolkit.git"

     

       
9
       
9
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
9
       
9
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
10
       
10
       
 
       
build: [ make "-j%{jobs}%" ]

     

       
11
       
11
       
 
       
install: [ make "install" ]

     

       
12
       
12
       
 
       
depends: [

     

···

       
6
       
6
       
 
       
homepage: "http://www.ocsigen.org"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ocsigen/ocsigen-toolkit/issues/"

     

       
8
       
8
       
 
       
dev-repo: "git+https://github.com/ocsigen/ocsigen-toolkit.git"

     

       
9
       
9
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
9
       
9
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
10
       
10
       
 
       
build: [ make "-j%{jobs}%" ]

     

       
11
       
11
       
 
       
install: [ make "install" ]

     

       
12
       
12
       
 
       
depends: [

     

···

       
5
       
5
       
 
       
authors: "dev@ocsigen.org"

     

       
6
       
6
       
 
       
homepage: "http://ocsigen.org/ocsigenserver/"

     

       
7
       
7
       
 
       
bug-reports: "https://github.com/ocsigen/ocsigenserver/issues/"

     

       
8
       
8
       
-
       
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
8
       
8
       
+
       
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
9
       
9
       
 
       
dev-repo: "git+https://github.com/ocsigen/ocsigenserver.git"

     

       
10
       
10
       
 
       
build: [

     

       
11
       
11
       
 
       
  [

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors:      "The Ocsigen team <dev@ocsigen.org>"

     

       
3
       
3
       
 
       
maintainer:   "Jan Rochel <jan@besport.com>"

     

       
4
       
4
       
-
       
license:      "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license:      "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
synopsis:     "Persistent key/value storage (for Ocsigen) using DBM"

     

       
6
       
6
       
 
       
description:  "This library provides a DBM backend for the unified key/value storage frontend as defined in the ocsipersist package. Ocsipersist is used pervasively in Eliom/Ocsigen to handle sessions and references. It can be used as an extension for ocsigenserver or as a library."

     

       
7
       
7
       
 
       


     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors:      "The Ocsigen team <dev@ocsigen.org>"

     

       
3
       
3
       
 
       
maintainer:   "Jan Rochel <jan@besport.com>"

     

       
4
       
4
       
-
       
license:      "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license:      "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
synopsis:     "Persistent key/value storage (for Ocsigen) using DBM"

     

       
6
       
6
       
 
       
description:  "This library provides a DBM backend for the unified key/value storage frontend as defined in the ocsipersist package. Ocsipersist is used pervasively in Eliom/Ocsigen to handle sessions and references. It can be used as an extension for ocsigenserver or as a library."

     

       
7
       
7
       
 
       


     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors:      "The Ocsigen team <dev@ocsigen.org>"

     

       
3
       
3
       
 
       
maintainer:   "Jan Rochel <jan@besport.com>"

     

       
4
       
4
       
-
       
license:      "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license:      "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
synopsis:     "Persistent key/value storage (for Ocsigen) using DBM"

     

       
6
       
6
       
 
       
description:  "This library provides a DBM backend for the unified key/value storage frontend as defined in the ocsipersist package. Ocsipersist is used pervasively in Eliom/Ocsigen to handle sessions and references. It can be used as an extension for ocsigenserver or as a library."

     

       
7
       
7
       
 
       


     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors:      "The Ocsigen team <dev@ocsigen.org>"

     

       
3
       
3
       
 
       
maintainer:   "Jan Rochel <jan@besport.com>"

     

       
4
       
4
       
-
       
license:      "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license:      "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
synopsis:     "Persistent key/value storage (for Ocsigen) - support library"

     

       
6
       
6
       
 
       
description:  "This library defines signatures and auxiliary tools for defining backends for the Ocsipersist frontent. Ocsipersist is used pervasively in Eliom/Ocsigen to handle sessions and references. It can be used as an extension for ocsigenserver or as a library. Implementations of the following backends currently exist: DBM database, PostgreSQL, SQLite."

     

       
7
       
7
       
 
       


     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors:      "The Ocsigen team <dev@ocsigen.org>"

     

       
3
       
3
       
 
       
maintainer:   "Jan Rochel <jan@besport.com>"

     

       
4
       
4
       
-
       
license:      "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license:      "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
synopsis:     "Persistent key/value storage (for Ocsigen) - support library"

     

       
6
       
6
       
 
       
description:  "This library defines signatures and auxiliary tools for defining backends for the Ocsipersist frontent. Ocsipersist is used pervasively in Eliom/Ocsigen to handle sessions and references. It can be used as an extension for ocsigenserver or as a library. Implementations of the following backends currently exist: DBM database, PostgreSQL, SQLite."

     

       
7
       
7
       
 
       


     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
authors:      "The Ocsigen team <dev@ocsigen.org>"

     

       
3
       
3
       
 
       
maintainer:   "Jan Rochel <jan@besport.com>"

     

       
4
       
4
       
-
       
license:      "LGPL-2.1-only with OCaml-LGPL-linking-exception"

     

       
4
       
4
       
+
       
license:      "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       
5
       
5
       
 
       
synopsis:     "Persistent key/value storage (for Ocsigen) - support library"

     

       
6
       
6
       
 
       
description:  "This library defines signatures and auxiliary tools for defining backends for the Ocsipersist frontent. Ocsipersist is used pervasively in Eliom/Ocsigen to handle sessions and references. It can be used as an extension for ocsigenserver or as a library. Implementations of the following backends currently exist: DBM database, PostgreSQL, SQLite."

     

       
7
       
7