1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
cadical (1.7.4-1) unstable; urgency=medium
* Update to new upstream release 1.7.4
* Update Standards-Version to 4.6.2
* Mark patch as forwarded
* Clean manpages to fix source build after build (Closes: #1043602)
* Mark libcadical-dev Multi-Arch: same
* Update ldflags patch to set CPPFLAGS also
-- Scott Talbert <swt@techie.net> Sat, 10 Feb 2024 23:08:27 -0500
cadical (1.5.3-2) unstable; urgency=medium
* Rebuild with -fPIC
-- Scott Talbert <swt@techie.net> Sun, 13 Nov 2022 20:04:19 -0500
cadical (1.5.3-1) unstable; urgency=medium
* Initial release
-- Scott Talbert <swt@techie.net> Tue, 01 Nov 2022 14:47:18 -0400
|
