» Ubuntu » Paket » stonking » ocaml » libdscheck-ocaml-dev
questing  ] [  resolute  ] [  stonking  ]
[ Källkod: ocaml-dscheck  ]

Paket: libdscheck-ocaml-dev (0.5.0-2build8) [universe]

Länkar för libdscheck-ocaml-dev

Screenshot

Ubunturesurser:

Hämta källkodspaketet ocaml-dscheck:

Ansvarig:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-postarkiv)
  • Kyle Robbertze

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

Externa resurser:

Liknande paket:

model checker for testing concurrent programs

Andra paket besläktade med libdscheck-ocaml-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libdscheck-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 275,7 kbyte971,0 kbyte [filförteckning]
arm64 281,6 kbyte1.037,0 kbyte [filförteckning]
armhf 226,6 kbyte657,0 kbyte [filförteckning]
ppc64el 280,5 kbyte1.052,0 kbyte [filförteckning]
riscv64 301,0 kbyte1.230,0 kbyte [filförteckning]
s390x 276,9 kbyte990,0 kbyte [filförteckning]