» Ubuntu » Paquets » stonking » Source » misc » linksem
questing  ] [  resolute  ] [  stonking  ]

Paquet source : linksem (0.8+dfsg3-2build5) [universe]

Liens pour linksem

Ressources Ubuntu :

Responsable :

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

Original Maintainers (usually from Debian):

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

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
liblinksem-ocaml-dev
Formalisation of the core ELF and DWARF file formats written in Lem

Autres paquets associés à linksem

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paquet indisponible
  • adep: ocaml
    ML language implementation with a class-based object system
  • adep: dh-ocaml (>= 1.2)
    helper tools for maintaining OCaml-related Debian packages
  • adep: lem
    Tool merging math and logic for executable definitions (tool)
  • adep: liblem-ocaml-dev
    Tool merging math and logic for executable definitions (development)
  • adep: ocaml-findlib
    management tool for OCaml libraries
  • adep: ocamlbuild
    Build tool for building OCaml libraries and programs
  • adep: libzarith-ocaml-dev
    arithmetic and logical operations over arbitrary-precision integers (dev)
  • adep: libnum-ocaml-dev
    library for arbitrary-precision and rational arithmetic (development)

Download linksem

FichierTaille (en ko)Somme MD5
linksem_0.8+dfsg3.orig.tar.xz 475,6 ko 984fd25c07b56e89193adde3a69c3a49
linksem_0.8+dfsg3-2build5.debian.tar.xz 4,7 ko 6e53501db7dfc1e94287b8cdd0c83de9
linksem_0.8+dfsg3-2build5.dsc 2,0 ko 66e368676a47b51e874b83b6bab0112b
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/linksem.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/linksem