Skip to content
Sections
>> Trisquel >> Balíky >> etiona >> ocaml >> libwhy3-ocaml-dev
etiona  ] [  nabia  ]
[ Zdroj: why3  ]

Balík: 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.

Ostatné balíky súvisiace s balíkom libwhy3-ocaml-dev

  • závisí
  • odporúča
  • navrhuje

Stiahnuť libwhy3-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
i386 1,775.0 kB9516 kB [zoznam súborov]