Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tags
Tags give the ability to mark specific points in history as being important
0.1.0
61d29f6e
·
Rewording
·
Jun 09, 2022
0.1.0-rc.1
61d29f6e
·
Rewording
·
Jun 09, 2022
Release:
0.1.0-rc.1
First version to be released in OPAM
0.0.3
ef8e3a21
·
Merge branch 'update-ff' into 'master'
·
Oct 14, 2020
Bump up to 0.0.3
0.0.2
6278442b
·
Bump up version to 0.0.2
·
Aug 18, 2020
0.0.2
0.0.1
a4ba5374
·
Add double in the EC interface
·
Aug 12, 2020
0.0.1