ginac (1.3.5-3) unstable; urgency=low
* debian/rules: introduce workaround for another arm ICE.
ginac (1.3.5-2) unstable; urgency=low
* debian/rules: introduces workaround for arm ICE; closes #390620.
* Make -dbg package priority extra.
ginac (1.3.5-1) unstable; urgency=low
* New upstream (bugfix only) release; closes: #362220.
* Fix -dbg package recommendation; closes: #376870.
ginac (1.3.4-2) unstable; urgency=low
* debian/*: Streamlining by Peter Eisentraut <email address hidden>.
-- Ubuntu Archive Auto-Sync <email address hidden> Tue, 07 Nov 2006 01:45:15 +0000