[ bianca ]

Source Package: linksem (0.8+dfsg3-1)

Links for linksem

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

liblinksem-ocaml-dev: Formalisation of the core ELF and DWARF file formats written in Lem

adep: debhelper-compat (= 13)

Paketti ei saatavilla
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)

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/ocaml-team/linksem.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/ocaml-team/linksem