Skip to content
Sections
>> Trisquel >> Packages >> etiona >> ocaml >> libwhy3-ocaml-dev
etiona  ] [  nabia  ]
[ Source: why3  ]

Package: libwhy3-ocaml-dev (0.88.3-1ubuntu4)

OCaml librariries for why3 (dev)

This package contains the libraries of the why3 verification platform for developing applications using why3.

Other Packages Related to libwhy3-ocaml-dev

  • depends
  • recommends
  • suggests

Download libwhy3-ocaml-dev

Download for all available architectures
Architecture Package Size Installed Size Files
i386 1,775.0 kB9516 kB [list of files]