-
69c93f9f
by Ralf Treinen
at 2022-05-02T20:38:00+02:00
New upstream version 1.5.0
-
ef2c1811
by Ralf Treinen
at 2022-05-02T20:39:31+02:00
Update upstream source from tag 'upstream/1.5.0'
Update to upstream version '1.5.0'
with Debian dir b2d2bb9166089a872deb0f04423ea39edd6988d4
-
a3f6099a
by Ralf Treinen
at 2022-05-02T20:45:02+02:00
updated patches
-
f337a283
by Ralf Treinen
at 2022-05-02T20:58:58+02:00
configure with option --disable-coq-libs
-
9aca109c
by Ralf Treinen
at 2022-05-03T03:02:52+02:00
bump dependency on z3
-
42796c11
by Ralf Treinen
at 2022-05-03T10:15:42+02:00
test why3+z3: drop preliminary test of z3