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

Showing 1 - 13
  1. dose
    Documentation
    Dose library (part of Mancoosi tools)
    Pietro Abate Jaap Boender Roberto Di Cosmo Johannes Schauer Ralf Treinen et al.
    3.4.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Jan 2016
  2. dose3
    Documentation
    Dose library (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    22 Jul 2021
  3. dose3-extra
    Documentation
    Dose-extra libraries and tools (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Jul 2021
  4. headache
    Documentation
    Automatic generation of files headers
    Vincent Simonet Patrick Baudin Mehdi Dogguy André Maroneze François Pottier et al.
    1.07
    LGPL-2.0-only
    Used by 1 other packages
    03 Jul 2023
  5. morbig
    Documentation
    A trustworthy parser for POSIX shell
    Yann Régis-Gianas <yann.regis-gianas@irif.fr> Ralf Treinen <ralf.treinen@irif.fr> Nicolas Jeannerod <niols@niols.fr>
    0.11.0
    GPL-3.0-only
    Used by 0 other packages
    18 Apr 2023
  6. opam-client
    Documentation
    Client library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    22 Nov 2023
  7. opam-core
    Documentation
    Core library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    22 Nov 2023
  8. opam-devel
    Documentation
    Bootstrapped development binary for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Nov 2023
  9. opam-format
    Documentation
    Format library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    22 Nov 2023
  10. opam-installer
    Documentation
    Installation of files to a prefix, following opam conventions
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    22 Nov 2023
  11. opam-repository
    Documentation
    Repository library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    22 Nov 2023
  12. opam-solver
    Documentation
    Solver library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    22 Nov 2023
  13. opam-state
    Documentation
    State library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~alpha3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    22 Nov 2023