|
|
4622dd30af
|
added option -no-camlp4 to fix META file conflict with camlp4 [release 1.8.0-2mamba;Sat Apr 27 2019]
1.8.0-2mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
9ddeb9918c
|
automatic version update by autodist [release 1.8.0-1mamba;Tue Jun 05 2018]
1.8.0-1mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
31088edf94
|
automatic version update by autodist [release 1.7.3-1mamba;Mon Aug 07 2017]
1.7.3-1mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
077f4c0d43
|
automatic version update by autodist [release 1.7.1-1mamba;Sun Nov 27 2016]
1.7.1-1mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
295ca9cf21
|
automatic version update by autodist [release 1.6.3-1mamba;Tue Nov 22 2016]
1.6.3-1mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
3bd503495b
|
automatic version update by autodist [release 1.6.2-1mamba;Tue Apr 19 2016]
1.6.2-1mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
43a467b13e
|
automatic update by autodist [release 1.5.5-1mamba;Wed Nov 19 2014]
1.5.5-1mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
b241b93926
|
automatic update by autodist [release 1.4.1-1mamba;Tue Mar 04 2014]
1.4.1-1mamba
|
2024-01-06 07:53:25 +01:00 |
|
|
|
8e441a19cb
|
Initial commit
|
2024-01-06 07:53:22 +01:00 |
|
