Add a version number to exports

Closes #829 (closed)

added 1 deleted label

assigned to @manonBlanco

marked this merge request as ready

requested review from @erwanrouchet

approved this merge request

mentioned in commit 5a6d8198

merged