L'utilisation d'un gestionnaire de paquets sources comme Opam n'est pas toujours optimale en temps, car l'outil passe beaucoup de temps à recompiler des paquets, dèjà compilés dans le passé ou par d'autres utilisateurs. Le plugin Opam-bin répond à ce problème en permettant de créer à la volée des paquets binaires, qui seront réutilisés à l'avenir et peuvent être partagés avec d'autres utilisateurs. L'exposé montre son utilisation et comment il fonctionne.
NOTE: en raison d'un problème technique, une partie du son de l'exposé n'a pas pu êtr enregistré. Une version antérieure de cet exposé est disponible à l'adresse https://www.youtube.com/watch?v=vadoOkgEs6w (en anglais). Merci de nous excuser pour le dérangement.