Commit Graph

Select branches

Hide Pull Requests

main

7.0.4-1mamba

7.4.6-1mamba

7.5.0-2mamba

Mono Color

• bd6a91d982 fix for missing version in dune-project [release 7.5.0-2mamba;Sun Jul 09 2023] main 7.5.0-2mamba Silvan Calarco 2024-01-06 07:57:11 +0100
• 70dd20c55a update to 7.4.6 [release 7.4.6-1mamba;Tue May 04 2021] 7.4.6-1mamba Silvan Calarco 2024-01-06 07:57:11 +0100
• ccc421444b automatic update by autodist [release 7.0.4-1mamba;Sat Dec 21 2013] 7.0.4-1mamba Automatic Build System 2024-01-06 07:57:11 +0100
• 8caa46046f Initial commit Automatic Build System 2024-01-06 07:57:09 +0100