» Ubuntu » Balíky » plucky (25.04) » ocaml » libwhy3-ocaml-dev
noble  ] [  plucky  ] [  questing  ] [  resolute  ]
[ Zdroj: why3  ]

Balík: libwhy3-ocaml-dev (1.8.0-2) [universe]

Odkazy pre libwhy3-ocaml-dev

Screenshot

Zdroje Ubuntu:

Stiahnuť zdrojový balík why3:

Správca:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Externé zdroje:

Podobné balíky:

OCaml librariries for why3 (dev)

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

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

Stiahnuť libwhy3-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 13,506.4 kB39,381.0 kB [zoznam súborov]
arm64 14,500.8 kB43,835.0 kB [zoznam súborov]
armhf 7,499.7 kB10,825.0 kB [zoznam súborov]
ppc64el 13,954.4 kB44,042.0 kB [zoznam súborov]
riscv64 15,929.2 kB68,133.0 kB [zoznam súborov]
s390x 13,391.9 kB40,090.0 kB [zoznam súborov]