2 search results for "author:"Johannes Schauer Marin Rodrigues""

  1. 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
  2. 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