toutes les options
bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : elpi  ]

Paquet : libelpi-ocaml-dev (1.16.8-1 et autres)

Liens pour libelpi-ocaml-dev

Screenshot

Ressources Debian :

Télécharger le paquet source elpi :

Responsables :

Ressources externes :

Paquets similaires :

embeddable lambda-Prolog interpreter (dev files)

ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.

This package provides the dev files.

Autres paquets associés à libelpi-ocaml-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libelpi-ocaml-dev

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 1.16.8-1+b2 10 133,8 ko54 867,0 ko [liste des fichiers]
arm64 1.16.8-1+b2 10 628,4 ko57 015,0 ko [liste des fichiers]
i386 1.16.8-1+b2 9 870,6 ko50 644,0 ko [liste des fichiers]
ppc64el 1.16.8-1+b2 10 360,0 ko57 223,0 ko [liste des fichiers]