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

Paket: libdscheck-ocaml-dev (0.5.0-2build8) [ports] [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
riscv64 301,0 kbyte1.230,0 kbyte [filförteckning]