# Camllight **URL:** \ **Category:** Programmation\ **Created:** [Février 21, 2016, 2:41 UTC](https://www.debian-fr.org/t/camllight/57369 "2016-02-21T14:41:48Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![fran.b](https://www.debian-fr.org/letter_avatar_proxy/v4/letter/f/d78d45/32.png) [@fran.b](https://www.debian-fr.org/u/fran.b)\ **Post date:** [Février 21, 2016, 2:41 UTC](https://www.debian-fr.org/t/camllight/57369/1 "2016-02-21T14:41:48Z")
Juste une petite brève pour signaler la correction d’un bug qui me pertubait depuis plus d’un an. ce bug empêchait camllight d’utiliser plus de 512K régulièrement sur une machine 64 bits. La raison est une gestion des pages mémoire à l’aide d’un tableau agrandi à la demande. Or il arrive que les blocs mémoires alloués soient aux deux extrémité de la plage mémoire, le tableau de la gestion mémoire devanit dans ce cas trop grand pour la totalité de la méoire entrainant un out\_of\_memory. Il a fallu donc changer en profondeur la gestion des pages mémoire de camllight. Le résultat est camllight version 0.82. J’ai fait un commit du code sur le serveur de l’INRIA mais surtout j’ai mis à jour les paquets pour debian et ubuntu poiur les distributions squeeze et wheezy d’une part, et precise, quantal et raring d’autre part. deb [boisson.homeip.net/depot](http://boisson.homeip.net/depot) divers