BibTeX export keys have all been modified for HAL-Inria/HAL and Haltools (RAweb BibTeX export and researcher web page).
The following key format is now universally applied: :, e.g., dupont:hal-00999999.
However, the old key version is still available (under “Deprecated RAweb BibTeX”) should its use be necessary.
It is possible to have a RAweb BibTeX export for any publication version (checkbox). The BibTeX key format to be used is :: for a previous version and : for the current version.
Contact : archive-ouverte[at]inria[dot]fr