Ubuntu
coq package

  1. Bug #636229
  2. Comment #1

Comment 1 for bug 636229

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package coq - 8.2.pl2+dfsg-1ubuntu1

---------------
coq (8.2.pl2+dfsg-1ubuntu1) maverick; urgency=low

  * Do not hardcode register names for thumb mode on armel. LP: #636229 .
 -- Matthias Klose <email address hidden> Sat, 18 Sep 2010 18:24:09 +0200