OCaml Packages · Search Result

3 Search Results

frama-c-metacsl

MetACSL plugin of Frama-C for writing pervasives properties

program verification formal specification ACSL MetACSL

Virgile Robles

0.3

LGPL-2.1-only

Used by 0 other packages

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

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