13 search results for "author:"Ralf Treinen""

  1. dose
    Dose library (part of Mancoosi tools)
    Pietro Abate Jaap Boender Roberto Di Cosmo Johannes Schauer Ralf Treinen Stefano Zacchiroli Jakub Zwolakowski Olivier Rosello
    3.4.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 19 Jan 2016
  2. dose3
    Dose library (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo Felipe Garay Stefano Zacchiroli Jakub Zwolakowski Olivier Rosello
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 22 Jul 2021
  3. dose3-extra
    Dose-extra libraries and tools (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo Felipe Garay Stefano Zacchiroli Jakub Zwolakowski Olivier Rosello
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 22 Jul 2021
  4. headache
    Automatic generation of files headers
    Vincent Simonet Patrick Baudin Mehdi Dogguy François Pottier Virgile Prevosto Ralf Treinen
    1.06
    LGPL-2.0-only
    Used by 1 other packages
    Last published 13 Dec 2022
  5. morbig
    A trustworthy parser for POSIX shell
    Yann Régis-Gianas <yann.regis-gianas@irif.fr> Ralf Treinen <ralf.treinen@irif.fr> Nicolas Jeannerod <nicolas.jeannerod@irif.fr>
    0.10.3
    GPL-3.0-only
    Used by 1 other packages
    Last published 09 Mar 2019
  6. 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
    Last published 15 Dec 2022
  7. 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
    Last published 15 Dec 2022
  8. 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
    Last published 15 Dec 2022
  9. 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
    Last published 15 Dec 2022
  10. 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
    Last published 15 Dec 2022
  11. 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
    Last published 15 Dec 2022
  12. 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
    Last published 15 Dec 2022
  13. 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
    Last published 15 Dec 2022