Connecter l'écosystème OCaml à Software Heritage via opam - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2022

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

Raja Boujbel
  • Fonction : Auteur
  • PersonId : 1131425
Louis Gesbert
  • Fonction : Auteur
  • PersonId : 1131426
Dario Pinto
  • Fonction : Auteur
  • PersonId : 1131427

Résumé

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.
Fichier principal
Vignette du fichier
jfla22_paper_22.pdf (103.24 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03626845 , version 1 (31-03-2022)

Licence

Identifiants

  • HAL Id : hal-03626845 , version 1

Citer

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⟩
222 Consultations
121 Téléchargements

Partager

More