toutes les options
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : ocaml-atd  ]

Paquet : libatd-ocaml (2.16.0-2 et autres)

Liens pour libatd-ocaml

Screenshot

Ressources Debian :

Télécharger le paquet source ocaml-atd :

Responsables :

Ressources externes :

Paquets similaires :

syntaxe pour types de données multilangages — greffons

ATD veut dire « Adjustable Type Definitions ». C'est un langage de définition de type conçu pour adapter une diversité de langages de programmation et de formats de données au moyen d'annotations spécifiques aux cibles. Il prend en charge les types « sum », les types paramétrés et l'héritage. La bibliothèque fournit un analyseur et d'autres outils pratiques pour manipuler les définitions de type ATD.

Ce paquet fournit les bibliothèques d'exécution partagées et les greffons.

Autres paquets associés à libatd-ocaml

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libatd-ocaml

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 2.15.0-1 444,2 ko1 538,0 ko [liste des fichiers]
amd64 2.16.0-2+b2 561,9 ko1 210,0 ko [liste des fichiers]
arm64 2.16.0-2+b2 569,8 ko1 362,0 ko [liste des fichiers]
armel 2.16.0-2+b2 433,9 ko609,0 ko [liste des fichiers]
armhf 2.16.0-2+b2 433,8 ko609,0 ko [liste des fichiers]
hppa (portage non officiel) 2.15.0-1 444,2 ko1 538,0 ko [liste des fichiers]
i386 2.16.0-2+b2 433,8 ko609,0 ko [liste des fichiers]
ia64 (portage non officiel) 2.15.0-1 444,2 ko1 538,0 ko [liste des fichiers]
loong64 (portage non officiel) 2.16.0-2+b2 433,8 ko609,0 ko [liste des fichiers]
m68k (portage non officiel) 2.15.0-1 444,2 ko1 538,0 ko [liste des fichiers]
mips64el 2.16.0-2+b2 433,9 ko609,0 ko [liste des fichiers]
ppc64 (portage non officiel) 2.16.0-2+b2 433,8 ko609,0 ko [liste des fichiers]
ppc64el 2.16.0-2+b2 562,5 ko1 298,0 ko [liste des fichiers]
riscv64 2.16.0-2+b2 566,8 ko1 250,0 ko [liste des fichiers]
s390x 2.16.0-2+b2 562,8 ko1 294,0 ko [liste des fichiers]
sh4 (portage non officiel) 2.15.0-1 444,2 ko1 538,0 ko [liste des fichiers]
sparc64 (portage non officiel) 2.16.0-2+b2 433,8 ko609,0 ko [liste des fichiers]
x32 (portage non officiel) 2.15.0-1 444,2 ko1 538,0 ko [liste des fichiers]