[Git][ocaml-team/alt-ergo][master] 13 commits: d/watch: -free releases

fb872a86
by Ralf Treinen at 2019-02-13T15:39:50Z
```
d/watch: -free releases
```
0986c7d6
by Ralf Treinen at 2019-02-13T15:41:16Z
```
New upstream version 2.0.0
```

40289b78

by Ralf Treinen at 2019-02-13T15:41:17Z

Update upstream source from tag 'upstream/2.0.0'

Update to upstream version '2.0.0'
with Debian dir 7e30a269ca82de4131a38c79a2d958ec6a26b4b7

5d3d456d
by Ralf Treinen at 2019-02-13T15:42:34Z
```
new upstream release
```
b10efdf0
by Ralf Treinen at 2019-02-13T15:44:42Z
```
desactivate patch ocplib-simplex-4.0
```

2f95101a

by Ralf Treinen at 2019-02-13T15:49:19Z

refresh patch 0001-dont-activate-debug-flags

c787c62e
by Ralf Treinen at 2019-02-13T15:53:30Z
```
drop patch 0002-nonfree-dropped
```
e9828b17
by Ralf Treinen at 2019-02-13T16:06:05Z
```
drop patch 0003-set-build-date
```
7accf57a
by Ralf Treinen at 2019-02-13T16:12:57Z
```
drop patch spelling
```
d7ce653a
by Ralf Treinen at 2019-02-13T16:35:33Z
```
license Apache 2.0
```
ed842a91
by Ralf Treinen at 2019-02-13T16:37:56Z
```
https in d/copyright format
```
0d04eda5
by Ralf Treinen at 2019-02-13T16:42:34Z
```
mininal version on build-dep ocplib-simplex
```
cb14dc15
by Ralf Treinen at 2019-02-13T16:48:01Z
```
drop patch ocplib-simplex-0.4
```