[SCM] UNNAMED PROJECT branch, master, updated. cd2bac2bbcfa5968afe62cc235d05224361bbaf2

[Lionel Elie Mamane]

The following commit has been merged in the master branch:
commit fdbcc196fb2be7daa51c7091a0794a69a875c75b
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Wed Aug 13 00:06:37 2008 +0200

    isabelle is arch-independent

diff --git a/debian/changelog b/debian/changelog
index 246e0fb..08e47f6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -14,6 +14,7 @@ isabelle (2008-4) UNRELEASED; urgency=low
   * install ANNOUNCE and CONTRIBUTORS to documentation directory
   * remove obsolete /usr/share/application-registry and /usr/share/mime-info/
   * convert isabelle MIME database file to the right format
+  * isabelle package now architecture: all
 
  --
 
diff --git a/debian/control b/debian/control
index 05ed9db..5285cd0 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,7 @@ Vcs-Browser: http://git.debian.org/?p=debian-science/packages/isabelle.git
 DM-Upload-Allowed: yes
 
 Package: isabelle
-Architecture: any
+Architecture: all
 Depends: perl (>= 5.0.0), polyml (>=5.2), ${shlibs:Depends}, ${misc:Depends}
 Suggests: isabelle-doc
 Recommends: isabelle-thy-hol | isabelle-theory, proofgeneral-misc, java-runtime

-- 
UNNAMED PROJECT