25 Search Results
mccs
MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
Claude Michel <claude.michel@unice.fr> Louis Gesbert <louis.gesbert@ocamlpro.com>
1.1+14
LGPL-2.1-only WITH OCaml-LGPL-linking-exception; BSD-3-clause; GPL-3.0-only
Used by 1 other packages
ocaml-config
OCaml Switch Configuration
Louis Gesbert <louis.gesbert@ocamlpro.com> David Allsopp
3
ISC
Used by 1 other packages
ocaml-top
The OCaml interactive editor for education
org:ocamlpro gui teaching toplevel
Louis Gesbert <louis.gesbert@ocamlpro.com>
1.1.5
GPL-3.0-only
Used by 0 other packages
ocp-indent
A simple tool to indent OCaml programs
org:ocamlpro org:typerex
Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
1.8.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 11 other packages
ocp-indent-nlfork
ocp-indent library, "newline tokens" fork
org:ocamlpro org:typerex
Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
1.5.4
LGPL-3.0-or-later
Used by 2 other packages
ocp-reloc
Relocation of OCaml bytecode executables
org:ocamlpro org:typerex
Louis Gesbert <louis.gesbert@ocamlpro.com>
0.1
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-bundle
A tool that creates stand-alone source bundles from opam packages
org:ocamlpro
Louis Gesbert <louis.gesbert@ocamlpro.com>
0.4
GPL-3.0-only
Used by 0 other packages
opam-client
Client library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 4 other packages
opam-core
Core library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 7 other packages
opam-custom-install
An opam plugin to install a package using a custom command
org:ocamlpro org:opam
Louis Gesbert <louis.gesbert@ocamlpro.com>
0.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-depext
Install OS distribution packages
Louis Gesbert <louis.gesbert@ocamlpro.com> Anil Madhavapeddy <anil@recoil.org>
1.2.1-1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
opam-devel
Bootstrapped development binary for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-ed
Command-line edition tool for handling the opam file syntax
Louis Gesbert <louis.gesbert@ocamlpro.com>
0.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-file-format
Parser and printer for the opam file syntax
Louis Gesbert <louis.gesbert@ocamlpro.com>
2.1.5
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 9 other packages
opam-format
Format library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 14 other packages
opam-installer
Installation of files to a prefix, following opam conventions
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
opam-lib
The OPAM library
Thomas Gazagnaire <thomas@gazagnaire.org> Anil Madhavapeddy <anil@recoil.org> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Frederic Tuong <tuong@users.gforge.inria.fr> Louis Gesbert <louis.gesbert@ocamlpro.com> Guillem Rieu <guillem.rieu@ocamlpro.com> Vincent Bernardoff <vb@luminar.eu.org> Roberto Di Cosmo <roberto@dicosmo.org>
1.3.1
Used by 5 other packages
opam-lock
Locking of development package definition dependency versions
Louis Gesbert <louis.gesbert@ocamlpro.com>
0.2
Used by 1 other packages
opam-package-upgrade
Upgrades opam package definition files to the latest format
org:ocamlpro
Louis Gesbert <louis.gesbert@ocamlpro.com>
0.2
GPL-3.0-only
Used by 0 other packages
opam-publish
A tool to ease contributions to opam repositories
Louis Gesbert <louis.gesbert@ocamlpro.com> David Sheets <sheets@alum.mit.edu> Jeremie Dimino <jdimino@janestreet.com>
2.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
opam-repository
Repository library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
opam-solver
Solver library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
opam-state
State library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 10 other packages
publish
opam-publish transition package
Louis Gesbert <louis.gesbert@ocamlpro.com> David Sheets <sheets@alum.mit.edu>
0.3.4+transition
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
user-setup
Helper for the configuration of editors for the use of OCaml tools
org:ocamlpro
Louis Gesbert <louis.gesbert@ocamlpro.com>
0.7
ISC
Used by 0 other packages