Connecter l'écosystème OCaml à Software Heritage via opam

Léo Andrès (1, 2, 3) , Raja Boujbel (1) , Louis Gesbert (1) , Dario Pinto (1)

1 OCamlPro SAS
2 Université Paris-Saclay
3 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations

Software Heritage est un projet initié par Inria ayant pour but d'archiver l'ensemble des logiciels libres disponibles sur internet. Dans cet article nous présentons Software Heritage et décrivons nos travaux en lien avec l'écosystème OCaml, opam et Software Heritage. Ces travaux comprennent notamment l'ajout à Software Heritage de modules permettant l'archivage des paquets présents sur opam, le développement d'une bibliothèque OCaml permettent de travailler avec les identifiants Software Heritage, l'ajout à opam de la possibilité de récupérer sur Software Heritage des paquets qui ne sont plus disponibles et enfin la correction du dépôt opam officiel afin de retrouver les paquets déjà manquants. Aujourd'hui, 3516 paquets opam sont déjà archivés sur Software Heritage.

Domaines: Informatique [cs]

Léo Andrès, Raja Boujbel, Louis Gesbert, Dario Pinto. Connecter l'écosystème OCaml à Software Heritage via opam. 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.227-234. ⟨hal-03626845⟩