Software Packages in "squeeze-backports", Subsection math

coq (8.3.pl3+dfsg-1~bpo60+1) [backports]

proof assistant for higher-order logic (toplevel and compiler)

coq-theories (8.3.pl3+dfsg-1~bpo60+1) [backports]

proof assistant for higher-order logic (theories)

coqide (8.3.pl3+dfsg-1~bpo60+1) [backports]

proof assistant for higher-order logic (gtk interface)

octave (3.6.2-5~bpo60+1) [backports]

GNU Octave language for numerical computations

octave-common (3.6.2-5~bpo60+1) [backports]

architecture-independent files for octave