12 search results for "author:"Roberto Di Cosmo <roberto@dicosmo.org>""
Showing 1 - 12
-
Pin current process to given core numberRoberto <roberto@ .org>2.0.0Used by 2 other packages11 Dec 2019
-
CUDF library (part of the Mancoosi tools)0.10LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 7 other packages23 Jul 2022
-
Client library for opam 2.32.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 5 other packages14 Nov 2024
-
Core library for opam 2.32.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 8 other packages14 Nov 2024
-
Bootstrapped development binary for opam 2.32.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages14 Nov 2024
-
Format library for opam 2.32.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 15 other packages14 Nov 2024
-
Installation of files to a prefix, following opam conventions2.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages14 Nov 2024
-
Repository library for opam 2.32.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages14 Nov 2024
-
Solver library for opam 2.32.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packages14 Nov 2024
-
State library for opam 2.32.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 9 other packages14 Nov 2024
-
Minimalistic library allowing to exploit multicore architectureRoberto <roberto@ .org>1.2.5LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 14 other packages28 Nov 2022
-
Pin current process to given core numberRoberto <roberto@ .org>1.0.2Used by 1 other packages28 Nov 2019