5 search results for "tag:"software""

Showing 1 - 5
  1. frama-c-lannotate
    Documentation
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. frama-c-luncov
    Documentation
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  4. swhid_compute
    Documentation
    OCaml library to work with Software Heritage identifiers, compute library used in swhid
    swh software heritage archive shwid persistent identifier compute
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  5. swhid_types
    Documentation
    OCaml library to work with Software Heritage identifiers, types library used in swhid
    swh software heritage archive shwid persistent identifier types
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 1 other packages
    Added to opam-repository