» Ubuntu » Balíky » resolute » ocaml » libdscheck-ocaml-dev
plucky  ] [  questing  ] [  resolute  ]
[ Zdroj: ocaml-dscheck  ]

Balík: libdscheck-ocaml-dev (0.5.0-2build7) [universe]

Odkazy pre libdscheck-ocaml-dev

Screenshot

Zdroje Ubuntu:

Stiahnuť zdrojový balík ocaml-dscheck:

Správca:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Konferencia)
  • Kyle Robbertze

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

Externé zdroje:

Podobné balíky:

model checker for testing concurrent programs

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

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

Stiahnuť libdscheck-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 275.7 kB971.0 kB [zoznam súborov]
arm64 281.5 kB1,037.0 kB [zoznam súborov]
armhf 226.5 kB657.0 kB [zoznam súborov]
ppc64el 280.4 kB1,052.0 kB [zoznam súborov]
riscv64 301.0 kB1,230.0 kB [zoznam súborov]
s390x 276.9 kB990.0 kB [zoznam súborov]