Adding new Singular 4.0.2 and singular-ui-emacs

Fixing ibus config file

Makefile

@@ -16,10 +16,10 @@ config: clean
 	--parent-archive-areas "main contrib non-free" \
 	--apt-options "--fix-missing --yes -oAcquire::Check-Valid-Until=false" \
 	--bootappend-live "boot=live config quiet splash persistence" \
+	--apt-secure false \
 #	--architectures amd64 --linux-flavours amd64 --debian-installer live \
 #	--parent-mirror-binary "http://www.jp.debian.org/debian/" \
 #        --parent-mirror-binary-backports "http://ftp.debian.org/debian/" \
-#	--apt-secure false \
 #        --backports true \
 #       --linux-packages "linux-image linux-headers" \
 #	--win32-loader false \

config/package-lists/math.main.list.chroot

@@ -63,8 +63,16 @@ libnkf-perl
 libopenblas-dev
 # libssreflect-coq : Depends: libssreflect-ocaml (>= 1.5-2) but it is not going to be installed
 #                    Depends: coq-8.4pl3+4.01.0
+# libssreflect-coq is supported from Debian "jessie".
+libssreflect-coq
 # libssreflect-ocaml-dev : Depends: libcoq-ocaml-dev-g3g57
 #                          Depends: libssreflect-ocaml-6d7i7
+# libssreflect-ocaml-dev is supported from Debian "jessie".
+libssreflect-ocaml-dev
+# libmathcomp-coq : Depends: libssreflect-coq (>= 1.5) but it is not going to be installed
+#                   Depends: libssreflect-coq (< 1.6) but it is not going to be installed
+# libmathcomp-coq is supported from Debian "jessie".
+libmathcomp-coq
 libtext-kakasi-perl
 lie
 lp-solve

config/package-lists/math.other.list.chroot

@@ -42,11 +42,6 @@ julia-desktop
 # kseg : Depends: libqt3-mt (>= 3:3.3.8b) but it is not going to be installed
 # We changed archives/tryphon.list.chroot to "jessie".
 kseg
-# libmathcomp-coq : Depends: libssreflect-coq (>= 1.5) but it is not going to be installed
-#                   Depends: libssreflect-coq (< 1.6) but it is not going to be installed
-# libssreflect-coq is supported from Debian "jessie".
-libmathcomp-coq
-libssreflect-coq
 # macaulay2 : Depends: libpari-gmp3 but it is not installable
 # We changed archives/m2.list.chroot to "jessie"
 macaulay2
@@ -64,8 +59,8 @@ sage-desktop
 setxkbmap-gadget
 snappea-snappy
 sollya
-singular-help
-singular-icons
+singular
+singular-ui-emacs
 # topcom
 # # GiaC
 # giac

error

@@ -0,0 +1,9 @@
+ 4ti2 : Depends: libglpk0 (>= 4.31) but it is not installable
+ cca : Depends: openjdk-6-jre but it is not installable or
+ kseg : Depends: libqt3-mt (>= 3:3.3.8b) but it is not going to be installed
+ libssreflect-coq : Depends: libssreflect-ocaml (>= 1.5-2) but it is not going to be installed
+                    Depends: coq-8.4pl3+4.01.0
+ libssreflect-ocaml-dev : Depends: libcoq-ocaml-dev-g3g57
+                          Depends: libssreflect-ocaml-6d7i7
+ macaulay2 : Depends: libpari-gmp3 but it is not installable
+ qfract : Depends: libboost-thread1.49.0 (>= 1.49.0-1) but it is not installable

lang/ja

@@ -50,7 +50,7 @@ cat > config/hooks/lang.ibus.chroot << EOF
 if [ -x /usr/bin/gconftool ]; then
 gconftool --direct --config-source xml:readwrite:/etc/gconf/gconf.xml.defaults \
 --type list --list-type=string \
---set /desktop/ibus/general/preload_engines [mozc-jp,anthy]
+--set /desktop/ibus/general/preload_engines [mozc-jp]
 gconftool --direct --config-source xml:readwrite:/etc/gconf/gconf.xml.defaults \
 --type list --list-type=string \
 --set /desktop/ibus/general/hotkey/trigger [Shift+space,Zenkaku_Hankaku,Alt+Kanji]