Dépôts de hasib32

1 dépôt public de hasib32 au catalogue pour l’instant.