From 750026da728a0289d175537084e3fa23acf93b4a Mon Sep 17 00:00:00 2001
From: Adam Thorn <alt36@cam.ac.uk>
Date: Fri, 13 Jun 2014 14:34:04 +0100
Subject: [PATCH] Change package-id

Package-id should be just mathematica; it had been changed to
mathematica9. Please don't change extant package-ids as it will cause
all sorts of problems
---
 mathematica.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mathematica.xml b/mathematica.xml
index de6fd5ea..59444ada 100755
--- a/mathematica.xml
+++ b/mathematica.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <packages>
-<package id="mathematica9" name="Mathematica" revision="%version%.1" reboot="false" priority="30">
+<package id="mathematica" name="Mathematica" revision="%version%.1" reboot="false" priority="30">
  
   <variable name="version" value="9.0.1" />
  
-- 
GitLab