3 search results for "tag:"META""

frama-c-metacsl
MetAcsl plugin of Frama-C for writing pervasives properties
program verification formal specification C plugins ACSL MetACSL
Virgile Robles
0.4
LGPL-2.1-only
Used by 0 other packages
ocamlfind-lint
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
odig
Lookup documentation of installed OCaml packages
build dev doc meta packaging org:erratique org:b0-system
The odig programmers
0.0.8
ISC; LicenseRef-ParaType-Free-Font-License; LicenseRef-DejaVu-fonts
Used by 0 other packages