76ef0d2d48a55ffbd94a2a9c707e90284a29bd28 to cb14dc155308370b4d88b2bc80aed20580e67d1e · Debian OCaml Maintainers / alt-ergo

Commits on Source 13

d/watch: -free releases · fb872a86
Ralf Treinen authored Feb 13, 2019

fb872a86
New upstream version 2.0.0 · 0986c7d6
Ralf Treinen authored Feb 13, 2019

0986c7d6
Update upstream source from tag 'upstream/2.0.0' · 40289b78
Ralf Treinen authored Feb 13, 2019
```
Update to upstream version '2.0.0'
with Debian dir 7e30a269ca82de4131a38c79a2d958ec6a26b4b7
```
40289b78
new upstream release · 5d3d456d
Ralf Treinen authored Feb 13, 2019

5d3d456d
desactivate patch ocplib-simplex-4.0 · b10efdf0
Ralf Treinen authored Feb 13, 2019

b10efdf0
refresh patch 0001-dont-activate-debug-flags · 2f95101a
Ralf Treinen authored Feb 13, 2019

2f95101a
drop patch 0002-nonfree-dropped · c787c62e
Ralf Treinen authored Feb 13, 2019

c787c62e
drop patch 0003-set-build-date · e9828b17
Ralf Treinen authored Feb 13, 2019

e9828b17
drop patch spelling · 7accf57a
Ralf Treinen authored Feb 13, 2019

7accf57a
license Apache 2.0 · d7ce653a
Ralf Treinen authored Feb 13, 2019

d7ce653a
https in d/copyright format · ed842a91
Ralf Treinen authored Feb 13, 2019

ed842a91
mininal version on build-dep ocplib-simplex · 0d04eda5
Ralf Treinen authored Feb 13, 2019

0d04eda5
drop patch ocplib-simplex-0.4 · cb14dc15
Ralf Treinen authored Feb 13, 2019

cb14dc15