File: changelog

package info (click to toggle)
clasp 3.3.4-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 4,028 kB
  • sloc: cpp: 69,424; ansic: 207; xml: 182; sh: 92; makefile: 33
file content (548 lines) | stat: -rw-r--r-- 17,250 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
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
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
clasp (3.3.4-2) unstable; urgency=medium

  * debian/control: bump Standards-Version to 4.2.1
  * Fix reproducible builds FTBFS
    - debian/control: Build-Depends on g++-8
    - debian/rules: force g++-8

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 04 Nov 2018 16:03:57 +0100

clasp (3.3.4-1) unstable; urgency=medium

  * New upstream version 3.3.4
  * debian/control: bump Standards-Version to 4.1.4

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 30 Jun 2018 08:31:27 +0200

clasp (3.3.3-3) unstable; urgency=medium

  * debian/rules: check DEB_BUILD_PROFILES against nocheck

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 05 Feb 2018 20:22:21 +0100

clasp (3.3.3-2) unstable; urgency=medium

  * update debian/control and debian/compat
    + update Vcs-Git and Vcs-Browser for salsa
    + bump Standards-Version to 4.1.3
    + bump debhelper compatibility version to 11

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 03 Feb 2018 13:42:01 +0100

clasp (3.3.3-1) unstable; urgency=medium

  * New upstream version 3.3.3
  * debian/watch: download from /releases/download/vN.N.N
  * drop upstream applied clasp-remove-wrong-assertion.patch

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 12 Nov 2017 09:11:47 +0100

clasp (3.3.2-4) unstable; urgency=medium

  * debian/control fixes, add Build-Depends on recent g++-7
    + bump Standards-Version to 4.1.1
    + Build-Depends on g++-7 >= 7.2.0-3 for fixed #871514
    + fix priority-extra-is-replaced-by-priority-optional
    + fix unnecessary-testsuite-autopkgtest-header
  * debian/rules: force build with g++-7
  * add clasp-remove-wrong-assertion.patch from upstream commit 02c6d85

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 04 Nov 2017 10:45:45 +0100

clasp (3.3.2-3) unstable; urgency=medium

  * Switch to g++-6 to work around mips64el FTBFS.
    - debian/rules: force CXX to g++-6
    - debian/control: Build-Depends on g++-6

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 29 Aug 2017 07:21:44 +0200

clasp (3.3.2-2) unstable; urgency=medium

  * Bug fix: "clasp FTBFS on armel: undefined reference to
    `__atomic_load_8&#39;", thanks to Adrian Bunk (Closes: #872549).
  * debian/rules: link with libatomic on armel

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 21 Aug 2017 08:31:52 +0200

clasp (3.3.2-1) unstable; urgency=medium

  * New upstream version 3.3.2
  * debian/control: Bump Standards-Version to 4.0.1

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 18 Aug 2017 07:02:43 +0200

clasp (3.3.0-1) unstable; urgency=medium

  * New upstream version 3.3.0
  * debian/copyright: clasp switched to MIT, and so does the packaging
  * debian/rules: build with cmake
  * debian/docs: use README.md
  * set debhelper compatibility level to 10
  * debian/control:
    - Build-Depends on cmake, drop pkg-config
    - add Testsuite: autopkgtest
  * debian/tests:
    - add dep8 testsuite control
    - add clasp0, clasp1, clasp2 tests
  * drop reproducible-build.patch, clasp uses cmake as build system now

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 07 May 2017 15:02:29 +0200

clasp (3.2.2-1) unstable; urgency=medium

  * New upstream version 3.2.2
  * drop clasp-alpha-fpu-getcw.patch, already applied upstream

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 01 Feb 2017 11:52:16 +0100

clasp (3.2.1-3) unstable; urgency=medium

  * debian/rules: enable threads on all archs, use LDFLAGS to inject
    -latomic on archs that need it
  * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
    _FPU_GETCW and friends are undefined on this arch

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 17 Dec 2016 07:55:33 +0100

clasp (3.2.1-2) unstable; urgency=medium

  * debian/rules: disable threads on powerpc,powerpcspe,m68k,mips,mipsel
  * debian/control: use https

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 03 Dec 2016 11:06:00 +0100

clasp (3.2.1-1) unstable; urgency=medium

  * New upstream version 3.2.1
  * watch clasp releases on github
  * debian/copyright: update copyright year and github source
  * debian/control
    - Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev
    - point Homepage to http://www.potassco.org
  * debian/rules: drop libtbb-dev and use c++11 multi-threading
  * clasp-manpage.patch: point to http://www.potassco.org/clasp

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 01 Dec 2016 08:22:07 +0100

clasp (3.1.5-1) unstable; urgency=medium

  * New upstream version 3.1.5
  * Remove parallel solve patch introduced in clasp 3.1.4-2
  * Bug fix: "please make the build reproducible", thanks to Reiner
    Herrmann (Closes: #828971)

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 04 Sep 2016 09:54:27 +0200

clasp (3.1.4-2) unstable; urgency=medium

  * Add patch to fix wrong number of optimal models in parallel mode
    (upstream bug 116)
  * Bump Standards-Version to 3.9.8

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 01 May 2016 08:51:17 +0200

clasp (3.1.4-1) unstable; urgency=medium

  * Imported Upstream version 3.1.4
  * Remove g++5 patch introduced in clasp 3.1.3-2
  * Fix dep5-copyright-license-name-not-unique

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 20 Dec 2015 12:06:30 +0100

clasp (3.1.3-2) unstable; urgency=medium

  * Circumvent g++-5 loop code generation bug.
  * Bug fix: "aspcud fails to find solution if optimization criteria are
    passed for some problems", thanks to Johannes Schauer (Closes:
    #800526).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 05 Oct 2015 07:43:55 +0200

clasp (3.1.3-1) unstable; urgency=medium

  * Imported Upstream version 3.1.3
  * debian/control: Add pkg-config (>= 0.28) to Build-Depends
  * debian/rules: Use pkg-config to get libdir / includedir of tbb: fixes
    "FTBFS: Error: TBB library path not set or 'libtbb.{so,dylib}' not
    found!", thanks to Chris Lamb (Closes: #799989).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 26 Sep 2015 08:57:05 +0200

clasp (3.1.2-1) unstable; urgency=medium

  * Imported Upstream version 3.1.2
  * Fix dep5-copyright-license-name-not-unique and
    missing-license-paragraph-in-dep5-copyright lintian warnings.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 12 May 2015 07:18:25 +0200

clasp (3.1.1-1) unstable; urgency=medium

  * New upstream release.
  * Bump Standards-Version to 3.9.6.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 26 Nov 2014 08:44:17 +0100

clasp (3.1.0-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Remove Suggests on potassco-guide
  * Setup git repository to use git-buildpackage.
  * Import upstream sources with git-import-orig --pristine-tar --uscan.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 18 Aug 2014 13:00:07 +0200

clasp (3.0.6-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Fix Vcs fields to use anonscm.debian.org.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 07 Aug 2014 11:53:54 +0200

clasp (3.0.5-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 19 May 2014 17:48:23 +0200

clasp (3.0.4-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 24 Apr 2014 11:26:44 +0200

clasp (3.0.3-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 30 Mar 2014 07:34:40 +0200

clasp (3.0.2-2) unstable; urgency=low

  * Bug fix: "fix up TBB handling for ppc64el", thanks to Colin Watson
    (Closes: #742514).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 25 Mar 2014 07:27:42 +0100

clasp (3.0.2-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 17 Mar 2014 17:11:58 +0100

clasp (3.0.1-1) unstable; urgency=low

  * New upstream release.
  * Bug fix: "3.0 cannot solve some problems solved by 2.1.4", thanks to
    Julian Andres Klode (Closes: #739628).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 25 Feb 2014 17:04:16 +0100

clasp (3.0.0-1) unstable; urgency=low

  * New upstream release.
  * debian/rules: Call configure.sh without --with-claspre.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 16 Feb 2014 11:19:35 +0100

clasp (2.1.5-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Bump Standards-Version to 3.9.5.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 11 Feb 2014 12:37:05 +0100

clasp (2.1.4-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 13 Dec 2013 11:44:18 +0100

clasp (2.1.3-1) unstable; urgency=low

  * New upstream release.
  * debian/copyright: Update copyright years.
  * debian/control: Remove DM-Upload-Allowed.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 21 May 2013 09:22:08 +0200

clasp (2.1.1-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Bump Standards-Version to 3.9.4 and Build-Depends on
    libtbb-dev >= 4.0+r233.
  * debian/copyright: Update copyright years.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 28 Nov 2012 10:35:53 +0100

clasp (2.1.0-1) unstable; urgency=low

  * New upstream release.
  * debian/copyright: Fix Format URL.
  * debian/rules: Add hardening support.
  * debian/gcc-4.7.patch: Remove unnecessary patch.
  * debian/control: Bump Standards-Version to 3.9.3.1 and Build-Depends on
    dephelper >= 9.
  * debian/compat: Bump to 9.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 27 Aug 2012 20:20:04 +0200

clasp (2.0.6-2) unstable; urgency=low

  * Team upload
  * Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184)

 -- Dmitrijs Ledkovs <xnox@debian.org>  Sun, 27 May 2012 15:41:47 +0100

clasp (2.0.6-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Bump Standards-Version to 3.9.3.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 04 Apr 2012 06:35:31 +0200

clasp (2.0.5-1ubuntu1~oneiric2) oneiric; urgency=low

  * Upload to ppa:~tkren/asp.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 10 Feb 2012 09:01:57 +0100

clasp (2.0.5-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 29 Jan 2012 20:27:04 +0100

clasp (2.0.4-1ubuntu1~oneiric1) oneiric; urgency=low

  * Upload to ppa:~tkren/asp.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 30 Nov 2011 06:36:04 +0100

clasp (2.0.4-1) unstable; urgency=low

  * New upstream release.
  * debian/rules: Override all standard targets.
  * debian/patches/clasp-makefile.patch: Remove.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 29 Nov 2011 18:29:33 +0100

clasp (2.0.3-4ubuntu1~oneiric1) oneiric; urgency=low

  * Upload to ppa:~tkren/asp.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 18 Oct 2011 13:04:50 +0200

clasp (2.0.3-4) unstable; urgency=low

  * debian/control: Build-Depends on libtbb-dev >= 3.0+r018, version 2.2
    is not supported.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 17 Oct 2011 07:52:01 +0200

clasp (2.0.3-3) unstable; urgency=low

  * debian/control: Do not Build-Depends on libtbb-dev with i386, see
    http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=642248.
  * debian/copyright: Fix obsolete-field-in-dep5-copyright and
    unversioned-copyright-format-uri lintian warnings.
  * debian/rules: Only set WITH_TBB for amd64, ia64, ppc64.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 25 Sep 2011 21:05:22 +0200

clasp (2.0.3-2) unstable; urgency=low

  * Bug fixed with new upstream release: "Segfaults with --pre argument
    upon certain input", thanks to Joachim Breitner (Closes: #636772).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 28 Aug 2011 08:09:00 +0200

clasp (2.0.3-1) unstable; urgency=low

  * New upstream release.
  * debian/copyright: Fix year.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 24 Aug 2011 10:12:53 +0200

clasp (2.0.2-1ubuntu1~oneiric1) oneiric; urgency=low

  * Upload to ppa:~tkren/asp.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 01 Jul 2011 06:49:46 +0200

clasp (2.0.2-1) unstable; urgency=low

  * New upstream release.
  * debian/patches/clasp-ld-as-needed.patch: Remove.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 01 Jul 2011 05:25:39 +0200

clasp (2.0.1-2) unstable; urgency=low

  * debian/control: Setup as Debian Science project.
    - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas
      Krennwallner.
    - Set DM-Upload-Allowed to yes.
    - Convert bzr repository to git and use Vcs-Git and Vcs-Browser
    accourdingly.
  * debian/patches/clasp-ld-as-needed.patch: Bug fix: "FTBFS with ld
    --as-needed", thanks to stefanor@debian.org; (Closes: #631270).

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 22 Jun 2011 19:44:48 +0200

clasp (2.0.1-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Bump Standards-Version to 3.9.2.
  * debian/patches/clasp-istreameof.patch debian/patches/clasp-rpath.patch:
    Remove.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 27 Apr 2011 10:50:10 +0200

clasp (2.0.0-3) unstable; urgency=low

  * debian/patches/clasp-istreameof.patch: Fix unsigned conversion
    bug. (Closes: #623850)
  * debian/control: Conditionally Build-Depends on libtbb-dev, it is only
    available on amd64,i386,ia64,ppc64.
  * debian/patches/clasp-makefile.patch: Allow for non-multithreading
    builds and install clasp.
  * debian/rules: Check for linux amd64,i386,ia64,ppc64 and invoke make
    accourdingly.
  * debian/install: Remove as we cannot know where we are going to build
    upfront.
  * debian/watch: Fix lintian debian-watch-contains-dh_make-template.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 23 Apr 2011 12:30:18 +0200

clasp (2.0.0-2) unstable; urgency=low

  * Upload to Debian. (Closes: #623599)

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 21 Apr 2011 20:24:41 +0200

clasp (2.0.0-1~maverick1) maverick; urgency=low

  * New upstream release.
  * debian/patches/clasp-makefile.patch: Refreshed for multi-threading
    support.
  * debian/patches/clasp-rpath.patch: Fix lintian error
    binary-or-shlib-defines-rpath.
  * debian/control: Build-Depends on libtbb-dev.
  * debian/install: Install MT binary.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 21 Apr 2011 19:35:27 +0200

clasp (1.3.8-1~maverick1) maverick; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 21 Apr 2011 18:55:09 +0200

clasp (1.3.7-2) unstable; urgency=low

  * debian/copyright: Convert to DEP-5 format and add missing licenses.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Mon, 28 Feb 2011 17:44:55 +0100

clasp (1.3.7-1~maverick1) maverick; urgency=low

  * New upstream version.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 17 Feb 2011 08:20:03 +0100

clasp (1.3.6-3) unstable; urgency=low

  * Filed ITP. (Closes: #605877)

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 05 Dec 2010 17:56:39 +0100

clasp (1.3.6-2) unstable; urgency=low

  * Upload to mentors.debian.net.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 20 Nov 2010 09:25:52 +0100

clasp (1.3.6-1~maverick1) maverick; urgency=low

  * New upstream version.
  * debian/copyright: Fix copyright information.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 19 Nov 2010 21:42:10 +0100

clasp (1.3.5-3~maverick1) maverick; urgency=low

  * Add dirs and install file.
  * Bump Priority back to extra.
  * Fix Build-Depends.
  * Add override_dh_installchangelogs to rules.
  * Remove README.source.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 20 Oct 2010 06:31:54 +0200

clasp (1.3.5-2~maverick1) maverick; urgency=low

  * Tag distro-series.

  * Fix Standards-Version and Priority.

  * Suggest potassco-guide.

  * Fix missing changelog.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 09 Oct 2010 16:15:39 +0200

clasp (1.3.5-1) lucid; urgency=low

  * New upstream version.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sun, 26 Sep 2010 17:41:30 +0200

clasp (1.3.4-1) lucid; urgency=low

  * New upstream version.

  * Add claspre support.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 16 Jun 2010 11:58:47 +0200

clasp (1.3.3-4) lucid; urgency=low

  * Switch to dpkg-source 3.0 (quilt) format.

  * Recommend gringo.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Sat, 05 Jun 2010 07:36:19 +0200

clasp (1.3.3-3) lucid; urgency=low

  * Added watch file.

  * Added Vcs-Bzr to control.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Tue, 01 Jun 2010 14:46:07 +0200

clasp (1.3.3-2) lucid; urgency=low

  * Moved to Ubuntu PPA.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Wed, 26 May 2010 00:15:33 +0200

clasp (1.3.3-1) unstable; urgency=low

  * New upstream release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 09 Apr 2010 05:43:57 +0200

clasp (1.3.2-2) unstable; urgency=low

  * Added gringo to Suggests.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 06 Mar 2010 11:18:26 +0100

clasp (1.3.2-1) unstable; urgency=low

  * Initial release.

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Thu, 04 Mar 2010 19:31:51 +0100