File: changelog

package info (click to toggle)
cvc4 1.6-2
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 54,516 kB
  • sloc: cpp: 262,804; ansic: 126,172; sh: 7,163; java: 5,041; makefile: 2,953; python: 1,511; lisp: 763; perl: 47; ml: 37; ruby: 20; tcl: 18
file content (33 lines) | stat: -rw-r--r-- 1,217 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
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 15:00:46 +0200

cvc4 (1.6-1) unstable; urgency=medium

  * New upstream release.
  * Update Vcs-Git and Vcs-Browser fields in debian/control.
  * Restrict build architectures to those architectures where cvc4 has
    previously built successfully since upstream has been unresponsive
    with regard to fixing those build failures (Closes: #880146,
    #880147).
  * Refresh patches.
  * Remove 02-include-paths.patch (fixed upstream).
  * Install NEWS file.
  * Install some examples with the -dev package.
  * Upgrade to debhelper compat level 11.
  * Upgrade to Standards-Version 4.2.0 in debian/control (no changes).
  * Update debian/copyright.
  * Adjust package names to match new SONAMEs.
  * Add patch 04-fix-spelling.patch to fix several spelling errors.
  * Mark libcvc4-5 and libcvc4parser5 as Multi-Arch: same.

 -- Fabian Wolff <fabi.wolff@arcor.de>  Sun, 07 Jan 2018 16:19:48 +0100

cvc4 (1.5-1) unstable; urgency=medium

  * Initial release. (Closes: #757048)

 -- Fabian Wolff <fabi.wolff@arcor.de>  Sat, 29 Jul 2017 00:31:25 +0200