[ plucky ] [ questing ] [ resolute ]

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

Liens pour linksem

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

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

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

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)

Fichier	Taille (en ko)	Somme MD5
linksem_0.8+dfsg3-2build1.dsc	2,0 ko	d5a19d8195ec1db4be8cd725f6d6cbb3
linksem_0.8+dfsg3.orig.tar.xz	475,6 ko	984fd25c07b56e89193adde3a69c3a49
linksem_0.8+dfsg3-2build1.debian.tar.xz	4,6 ko	a76959c7d8cc84b889183c6188c0fb10

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