coq-alea Versions (2)

Version Release Date Links
8.12.0 03 Nov 2021 Documentation
8.11.0 27 Feb 2020 Documentation