forked from clconway/cvc3-debian
-
Notifications
You must be signed in to change notification settings - Fork 0
/
changelog
142 lines (85 loc) · 4.36 KB
/
changelog
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
cvc3 (2.4.1-5) unstable; urgency=low
* New maintainer. (Closes: #757192)
* Fix clean target, resolving ppc64el FTBFS. (Closes: #756524)
* Update standards version.
* Fix dep5 copyright.
* Remove Vcs-git and Vcs-browser (not available for CVC3).
* Now lintian clean (with some overrides).
-- Morgan Deters <[email protected]> Sat, 27 Sep 2014 12:21:27 -0400
cvc3 (2.4.1-4) unstable; urgency=low
* Transfer package repo to Git.
* Fix syntax error in debian/copyright.
* Keep 50cvc3-el.el after remove. (Closes: #684351)
* Use ln -sf when linking cvc3-el emacsen files. (Closes: #684026)
* Remove build dep on gcj-native-helper. (Closes: #678183)
-- Christopher L. Conway <[email protected]> Sun, 12 Aug 2012 17:15:51 -0400
cvc3 (2.4.1-3) unstable; urgency=low
* Create new package libcvc3-dev to replace libcvc3-5-dev and
libcvc3-2-dev (Closes: #662198)
* Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni
(Closes: #662200)
* Leave .el files in site-lisp directory when installing cvc3-el
to enable source lookup (Closes: #665319)
* Remove cvc-mode autoload from site-start.d on cvc3-el removal
(Closes: #668688)
* Bring cvc3-el.emacsen-startup in line with Debian policy
(Closes: #668685)
-- Christopher L. Conway <[email protected]> Mon, 16 Apr 2012 22:23:39 -0400
cvc3 (2.4.1-2) unstable; urgency=low
* Upgrading to standards version 3.9.3
* Fixing lintian errors
* Fixing upstream tarball
-- Christopher L. Conway <[email protected]> Sat, 03 Mar 2012 18:00:13 -0500
cvc3 (2.4.1-1) unstable; urgency=low
* New upstream release (Closes: #660244)
* Updating to standards version 3.9.2
* Switching to dpkg-source 3.0 (quilt) format
* Changing default-jdk-builddep build dependency to default-jdk
* Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335)
-- Christopher L. Conway <[email protected]> Sat, 25 Feb 2012 13:54:15 -0500
cvc3 (2.2-13.1) unstable; urgency=low
* NMU. Change dependencies libgmp3-dev --> libgmp-dev.
-- Steve M. Robbins <[email protected]> Wed, 16 Mar 2011 21:43:31 -0500
cvc3 (2.2-13) unstable; urgency=low
* Prevent Java tests from running on kfreebsd-amd64
-- Christopher L. Conway <[email protected]> Thu, 08 Apr 2010 13:46:21 -0400
cvc3 (2.2-12) unstable; urgency=low
* Adding patch for MiniSat unsigned char bug (Closes: #575002)
* Removing kfreebsd-amd64 from Architectures for libcvc3-2-jni (Workaround for
#576335)
-- Christopher L. Conway <[email protected]> Tue, 06 Apr 2010 15:02:53 -0400
cvc3 (2.2-11) unstable; urgency=low
* Patch: detect path to ldconfig for install
-- Christopher L. Conway <[email protected]> Tue, 16 Mar 2010 17:21:15 -0400
cvc3 (2.2-10) unstable; urgency=low
* Upgrading to Debian Policy 3.8.4
* Fixing problem with library path in 'make check'
-- Christopher L. Conway <[email protected]> Fri, 12 Mar 2010 17:48:43 -0500
cvc3 (2.2-9) unstable; urgency=low
* Fixing bug in build environment for 'make check'
-- Christopher L. Conway <[email protected]> Tue, 26 Jan 2010 17:42:06 -0500
cvc3 (2.2-8) unstable; urgency=low
* Adding regress0 as check target
* Adding patch to create pkgconfig file
-- Christopher L. Conway <[email protected]> Tue, 26 Jan 2010 13:15:39 -0500
cvc3 (2.2-7) unstable; urgency=low
* Adding cvc-mode to auto-mode-alist in cvc3-el
-- Christopher L. Conway <[email protected]> Wed, 06 Jan 2010 18:09:30 -0500
cvc3 (2.2-6) unstable; urgency=low
* Moving cvc3 from Depends to Recommends for cvc3-el
-- Christopher L. Conway <[email protected]> Wed, 06 Jan 2010 17:45:43 -0500
cvc3 (2.2-5) unstable; urgency=low
* Changing section for libcvc3-2 to 'libs'
-- Christopher L. Conway <[email protected]> Sun, 03 Jan 2010 13:37:27 -0500
cvc3 (2.2-4) unstable; urgency=low
* Fixing lintian warnings for deps in emacs package and shlibs in JNI package
-- Christopher L. Conway <[email protected]> Thu, 31 Dec 2009 17:03:18 -0500
cvc3 (2.2-3) unstable; urgency=low
* Fixing lintian warnings
-- Christopher L. Conway <[email protected]> Wed, 30 Dec 2009 18:08:59 -0500
cvc3 (2.2-2) unstable; urgency=low
* Adding cvc3-el package
-- Christopher L. Conway <[email protected]> Thu, 10 Dec 2009 12:48:15 -0500
cvc3 (2.2-1) unstable; urgency=low
* Initial release (Closes: bug#559245)
-- Christopher L. Conway <[email protected]> Mon, 07 Dec 2009 18:19:56 -0500