» Ubuntu » Packages » stonking » Source » ocaml » herdtools7
[  resolute  ] [  stonking  ]

Source Package: herdtools7 (7.58-1) [universe]

Links for herdtools7

Ubuntu Resources:

Maintainer:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Sebastian Andrzej Siewior

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

The following binary packages are built from this source package:
herdtools7
Tool suite to test weak memory models

Other Packages Related to herdtools7

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Package not available
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: libmenhir-ocaml-dev
    Menhir library for OCaml
  • adep: libzarith-ocaml-dev
    arithmetic and logical operations over arbitrary-precision integers (dev)
  • adep: menhir
    Parser generator for OCaml
  • adep: ocaml
    ML language implementation with a class-based object system
  • adep: ocaml-dune
    composable build system for OCaml projects
  • adep: python3
    interactive high-level object-oriented language (default python3 version)

Download herdtools7

FileSize (in kB)MD5 checksum
herdtools7_7.58-1.dsc 1.8 kB 7cba631e33bc01ff350f00b285ab0316
herdtools7_7.58.orig.tar.gz 1,562.6 kB ac70df55c75933ca6a8fe4fa4754c7e9
herdtools7_7.58-1.debian.tar.xz 9.6 kB 186a1b13f10c6c8ed0e66a1f83940086
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/herdtools7.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/herdtools7