3 search results for "tag:"meta""

Showing 1 - 3
  1. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    22 Nov 2023
  2. ocamlfind-lint
    Documentation
    Simple tool performing checks on installed findlib META files
    findlib ocamlfind check META
    Maxence Guesdon
    0.1.0
    New BSD License
    Used by 0 other packages
    05 Mar 2015
  3. odig
    Documentation
    Lookup documentation of installed OCaml packages
    build dev doc meta packaging org:erratique org:b0-system
    The odig programmers
    0.0.9
    ISC; LicenseRef-ParaType-Free-Font-License; LicenseRef-DejaVu-fonts
    Used by 2 other packages
    05 Jun 2023