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
142
|
maude (3.2-2) unstable; urgency=medium
* Team upload.
* Add patch to fix FTBFS against glibc 2.34
+ Thanks vorlon for the patch (Closes: #1014627)
-- Nilesh Patra <nilesh@debian.org> Tue, 12 Jul 2022 19:53:44 +0530
maude (3.2-1) unstable; urgency=medium
* Point watch file to Github
* New upstream version
* Standards-Version: 4.6.0 (routine-update)
* Set upstream metadata fields: Bug-Database, Bug-Submit.
* Skip one fialing test
-- Andreas Tille <tille@debian.org> Sat, 19 Feb 2022 21:29:38 +0100
maude (3.1-2) unstable; urgency=medium
* Team Upload.
* Fix for 32-bit arches
* Standards-Version: 4.5.1
-- Nilesh Patra <npatra974@gmail.com> Tue, 15 Dec 2020 21:59:43 +0530
maude (3.1-1) unstable; urgency=medium
* Team upload.
* New upstream version
* debhelper-compat 13 (routine-update)
* Refreshed patches
-- Nilesh Patra <npatra974@gmail.com> Sat, 31 Oct 2020 16:52:20 +0530
maude (3.0-1) unstable; urgency=medium
[ Jelmer Vernooij ]
* Use secure copyright file specification URI.
[ Andreas Tille ]
* New upstream version
* Fix watch file
* Point Vcs fields to salsa.debian.org
* Build-Depends: libcvc4-dev
* Avoid parallel build
* export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel)
* debhelper 12
* Standards-Version: 4.5.0
* Remove trailing whitespace in debian/copyright
* debhelper-compat 12 (routine-update)
* Add salsa-ci file (routine-update)
* Rules-Requires-Root: no (routine-update)
* Remove obsolete fields Contact, Name from debian/upstream/metadata
(already present in machine-readable debian/copyright).
* Build with --with-yices2=no since
https://github.com/SRI-CSL/yices2
is not packaged
-- Andreas Tille <tille@debian.org> Thu, 16 Apr 2020 15:34:47 +0200
maude (2.7-2) unstable; urgency=medium
[ Andreas Tille ]
* Moved packaging from SVN to Git
* cme fix dpkg-control
[ Alexis Bienvenüe]
* Strip build date from banner to get reproducible build.
Closes: #819948
-- Andreas Tille <tille@debian.org> Tue, 05 Apr 2016 10:48:06 +0200
maude (2.7-1) unstable; urgency=medium
* New upstream version
Closes: #790260
-- Andreas Tille <tille@debian.org> Wed, 16 Dec 2015 22:57:25 +0100
maude (2.6-6) unstable; urgency=medium
* Fix Build-Dependency after renamed libtecla-dev
Closes: #763694
* cme fix dpkg-control
-- Andreas Tille <tille@debian.org> Thu, 02 Oct 2014 08:03:45 +0200
maude (2.6-5) unstable; urgency=medium
* move debian/upstream to debian/upstream/metadata
* Three helpful pathces provided by Jakub Wilk to deal with bison
problems - many thanks to Jakub!
Closes: #733407
* cme fix dpkg-control
-- Andreas Tille <tille@debian.org> Tue, 20 May 2014 14:02:43 +0200
maude (2.6-4) unstable; urgency=low
* debian/rules: dh --with autotools_dev
Closes: #727454
-- Andreas Tille <tille@debian.org> Thu, 24 Oct 2013 09:22:27 +0200
maude (2.6-3) unstable; urgency=low
* renamed debian/upstream-metadata.yaml to debian/upstream
* debian/copyright: cme fix dpkg-copyright
* debian/control:
- cme fix dpkg-control
- debhelper 9
- drop cdbs, quilt from Build-Depends
- Use anonscm in Vcs fields
* debian/rules:
- use short dh instead of cdbs
- fix clean target
-- Andreas Tille <tille@debian.org> Tue, 09 Jul 2013 15:19:51 +0200
maude (2.6-2) unstable; urgency=low
* Rebuilded after cleaning up
Closes: #643212
* Added myself to Uploaders
* Follow hint of ftpmaster to fix clean target and clean up
src/Mixfix/surface.output
* debian/control:
- Standards-Version: 3.9.2 (no changes needed)
- Fixed Vcs fields
- Drop article 'A' from start of short description
* Debhelper 8 (control+compat)
* debian/copyright: DEP5 compatibility
* debian/upstream-metadata.yaml: citing information
-- Andreas Tille <tille@debian.org> Fri, 04 Nov 2011 15:37:12 +0100
maude (2.6-1) unstable; urgency=low
* Initial Release. (closes: #611927)
-- Scott Christley <schristley@mac.com> Thu, 10 Feb 2011 14:11:58 -0800
|
