» Ubuntu » Paketit » resolute (26.04LTS) » Lähdepaketti » ocaml » herdtools7
[  resolute  ] [  stonking  ]

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

Links for herdtools7

Ubuntu-palvelut:

Ylläpitäjä:

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.

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
herdtools7
Tool suite to test weak memory models

Muut pakettiin herdtools7 liittyvät paketit

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paketti ei saatavilla
  • 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

TiedostoKoko (kt)MD5-tarkiste
herdtools7_7.58-1.dsc 1.8 kt 7cba631e33bc01ff350f00b285ab0316
herdtools7_7.58.orig.tar.gz 1,562.6 kt ac70df55c75933ca6a8fe4fa4754c7e9
herdtools7_7.58-1.debian.tar.xz 9.6 kt 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