Commit 01925ff9 authored by Fabian Wolff's avatar Fabian Wolff

Release 1.6-2 for unstable

parent c982956d
cvc4 (1.6-2) UNRELEASED; urgency=medium
cvc4 (1.6-2) unstable; urgency=medium
* Add python3 to Build-Depends.
* Update Maintainer email address.
-- Fabian Wolff <fabi.wolff@arcor.de> Sun, 12 Aug 2018 13:13:02 +0200
-- Fabian Wolff <fabi.wolff@arcor.de> Sun, 12 Aug 2018 15:00:46 +0200
cvc4 (1.6-1) unstable; urgency=medium
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment