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

Showing 1 - 12
  1. 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
  2. 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
  3. headache
    Documentation
    Automatic generation of files headers
    Vincent Simonet Patrick Baudin Mehdi Dogguy André Maroneze François Pottier et al.
    1.08
    LGPL-2.0-only
    Used by 1 other packages
    16 May 2024
  4. 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
  5. opam-client

    No documentation

    Client library for opam 2.4
    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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    06 May 2025
  6. opam-core

    No documentation

    Core library for opam 2.4
    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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    06 May 2025
  7. opam-devel

    No documentation

    Bootstrapped development binary for opam 2.4
    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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    06 May 2025
  8. opam-format

    No documentation

    Format library for opam 2.4
    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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    06 May 2025
  9. opam-installer

    No 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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    06 May 2025
  10. opam-repository

    No documentation

    Repository library for opam 2.4
    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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    06 May 2025
  11. opam-solver

    No documentation

    Solver library for opam 2.4
    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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    06 May 2025
  12. opam-state

    No documentation

    State library for opam 2.4
    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.4.0~alpha2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    06 May 2025