Commits on Source
6
New upstream version 1.16.1+ds
· 12f3bddd
Bas Couwenberg
authored
Feb 19, 2019
12f3bddd
Merge tag 'upstream/1.16.1+ds'
· a1ba201d
Bas Couwenberg
authored
Feb 19, 2019
Upstream version 1.16.1+ds
a1ba201d
New upstream release.
· be1ab6b5
Bas Couwenberg
authored
Feb 19, 2019
be1ab6b5
Update copyright years for Martin Davis.
· 10270322
Bas Couwenberg
authored
Feb 19, 2019
10270322
Update doc paths.
· b6556ac7
Bas Couwenberg
authored
Feb 19, 2019
b6556ac7
Set distribution to experimental.
· 73e4dc85
Bas Couwenberg
authored
Feb 19, 2019
73e4dc85
Loading
Loading
