Package: 3d-xplormath-j
Version: 1.0-1
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./3d-xplormath-j_1.0-1_all.deb
Size: 922448
Installed-Size: 1020
MD5sum: 7582829718f7027dc977b14a091a4a16
Description: Visualization and experimental tool for mathematics
3D-XplorMath-J is a program for visualizing and experimenting
with a variety of mathematical objects or "exhibits."
.
(Converted from a deb package by alien version 8.64.)
Package: 4ti2-doc
Source: 4ti2
Version: 1.6.7+ds-2
Priority: optional
Section: doc
Maintainer: Debian Science Maintainers
Suggests: 4ti2 (= 1.6.7+ds-2), pdf-viewer
Architecture: all
Filename: ./4ti2-doc_1.6.7+ds-2_all.deb
Size: 353892
Installed-Size: 408
MD5sum: a824c327ecd6880cb1f476b8adf9934f
Description: mathematical tool suite for problems on linear spaces -- user guide
4ti2 is a mathematical software package for algebraic, geometric
and combinatorial problems on linear spaces.
.
This package provides the user guide for the 4ti2 tool suite;
it also contains examples.
Package: car
Version: 11.0-1
Priority: extra
Section: knxm
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./car_11.0-1_all.deb
Size: 6188850
Installed-Size: 12479
MD5sum: 9b019df25ada18e5884f2d573ff6d08c
Description: C.a.R. simulates school geometry constructions with a pair of compasses and a straightedge.
C.a.R. (compass and ruler), a program, that simulates school geometry constructions with a pair of compasses and a straightedge.
Package: cca
Version: 0.1-2
Priority: extra
Section: math
Maintainer: nakayama
Depends: openjdk-7-jre, openxm
Architecture: all
Filename: ./cca_0.1-2_all.deb
Size: 61780
Installed-Size: 186
MD5sum: 2fc0119e90b799649325b7eae4b0a2c9
Description: visualization of Buchberger algorithm
Package: coq-theories
Source: coq
Version: 8.4pl3dfsg-1
Priority: optional
Section: math
Maintainer: Debian OCaml Maintainers
Depends: coq-8.4pl3+4.01.0
Recommends: coq (>= 8.0)
Replaces: coq-libs (<< 8.2.pl1)
Architecture: all
Filename: ./coq-theories_8.4pl3dfsg-1_all.deb
Size: 58899200
Installed-Size: 147321
MD5sum: 34acee5f35af9a22b8da14a9bf85384b
Description: proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
Package: dh-ocaml
Version: 1.0.9
Priority: extra
Section: ocaml
Maintainer: Debian OCaml Maintainers
Recommends: debhelper, ocaml-nox (>> 3.12)
Suggests: git
Replaces: ocaml (<< 3.11.0~beta1-1), ocaml-base (<< 3.11.0~beta1-1), ocaml-base-nox (<< 3.11.0~beta1-1), ocaml-nox (<< 3.11.0~beta1-1)
Architecture: all
Filename: ./dh-ocaml_1.0.9_all.deb
Size: 93046
Installed-Size: 301
MD5sum: 38700dd6383249525cff44dcebc65b93
Description: helper tools for maintaining OCaml-related Debian packages
dh-ocaml is a set of tools and documents to help maintaining Debian
packages related to the Objective Caml (OCaml) programming language.
.
dh-ocaml notably contains the following components:
* Makefile helpers to write debian/rules files implementing OCaml
packaging best-practices (both for CDBS lovers and haters)
* the Debian OCaml Packaging Policy
* dh_ocaml debhelper to automatically computes dependencies among
binary OCaml packages
* ocaml-md5sums, the tool used to maintain the system registry of
OCaml module interface checksums
Package: eggx-example
Version: 0.93-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./eggx-example_0.93-2_all.deb
Size: 2897582
Installed-Size: 6216
MD5sum: b67aba5bc9ff0c8a5202d04ceedeb65b
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.81.)
Package: fflas-ffpack-common
Source: fflas-ffpack
Version: 1.6.0-1
Priority: optional
Section: math
Maintainer: Debian Science Maintainers
Architecture: all
Filename: ./fflas-ffpack-common_1.6.0-1_all.deb
Size: 89988
Installed-Size: 584
MD5sum: 589f5b3d6b5860b9057a6a72150738e1
Description: Finite field linear algebra subroutines/package - common files
FFLAS-FFPACK consists in the creation of a set of routines, giving
the same tools as a set of classical Basic Linear Algebra
Subroutines, but working over finite fields. In the same way, some
other routines of higher level (such as the one in LAPACK) are also
produced.
.
This package provies architecture independent header files.
Package: fflas-ffpack-dev-doc
Source: fflas-ffpack
Version: 1.6.0-1
Priority: optional
Section: doc
Maintainer: Debian Science Maintainers
Architecture: all
Filename: ./fflas-ffpack-dev-doc_1.6.0-1_all.deb
Size: 313994
Installed-Size: 3145
MD5sum: 23d814ce6d76bae785d58ecd5ca24f19
Description: FFLAS-FFPACK Developer Documentation
FFLAS-FFPACK consists in the creation of a set of routines, giving
the same tools as a set of classical Basic Linear Algebra
Subroutines, but working over finite fields. In the same way, some
other routines of higher level (such as the one in LAPACK) are also
produced.
.
This package provies developer's documentation of FFLAS-FFPACK.
Package: fflas-ffpack-user-doc
Source: fflas-ffpack
Version: 1.6.0-1
Priority: optional
Section: doc
Maintainer: Debian Science Maintainers
Architecture: all
Filename: ./fflas-ffpack-user-doc_1.6.0-1_all.deb
Size: 93812
Installed-Size: 597
MD5sum: 620ca58f073d4c5dd8eab5af2f8474e9
Description: FFLAS-FFPACK User Documentation
FFLAS-FFPACK consists in the creation of a set of routines, giving
the same tools as a set of classical Basic Linear Algebra
Subroutines, but working over finite fields. In the same way, some
other routines of higher level (such as the one in LAPACK) are also
produced.
.
This package provies user's documentation of FFLAS-FFPACK.
Package: gap-corelg
Version: 1.02-2
Priority: extra
Section: alien
Maintainer: Debian Live user
Architecture: all
Filename: ./gap-corelg_1.02-2_all.deb
Size: 1163920
Installed-Size: 9904
MD5sum: 52545a31e910e36c89da719f70edc508
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: gap-gapdoc
Version: 1.5.1-2
Priority: extra
Section: alien
Maintainer: Debian Live user
Architecture: all
Filename: ./gap-gapdoc_1.5.1-2_all.deb
Size: 1656378
Installed-Size: 3818
MD5sum: 9cc146683be260d8bdaab84689a6644f
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: gap-quagroup
Version: 1.8-2
Priority: extra
Section: alien
Maintainer: Debian Live user
Architecture: all
Filename: ./gap-quagroup_1.8-2_all.deb
Size: 632842
Installed-Size: 1730
MD5sum: 090193194eaa3111ede12f13cf8c210d
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: gap-sla
Version: 0.14-2
Priority: extra
Section: alien
Maintainer: Debian Live user
Architecture: all
Filename: ./gap-sla_0.14-2_all.deb
Size: 958440
Installed-Size: 7461
MD5sum: 10f236831b0a6d63d0cf7c61722b8e11
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: geogebra
Version: 4.2.60.0-29146
Priority: extra
Section: education
Maintainer: International GeoGebra Institute
Pre-Depends: dpkg (>= 1.14.0)
Depends: default-jre | java5-runtime | java6-runtime | java7-runtime
Suggests: cups, icedtea-netx-common
Architecture: all
Filename: ./geogebra_4.2.60.0-29146_all.deb
Size: 9335814
Installed-Size: 10512
MD5sum: ef4ada465d37f8cf3b9855107b0993ec
Description: Free mathematics software for learning and teaching
GeoGebra is free dynamic mathematics software for all levels of education
that joins geometry, algebra, graphing, and calculus in one
easy-to-use package.
.
Quick Facts:
Graphics, algebra and spreadsheet are connected and fully dynamic.
Easy-to-use interface, yet many powerful features.
Authoring tool to create and share interactive online learning materials.
Available in many languages for our millions of users around the world.
Free and open source math/maths software.
Package: geogebra5
Version: 4.9.243.0-1
Priority: extra
Section: knxm
Maintainer: HAMADA Tatsuyoshi
Depends: libc6 (>= 2.7), libc6-i386 (>= 2.7), libgcc1 (>= 1:4.1.1), libgmp10, libgsl0ldbl (>= 1.9), libmpfr4 (>= 3.1.0), libstdc++6 (>= 4.3)
Architecture: all
Filename: ./geogebra5_4.9.243.0-1_all.deb
Size: 36808624
Installed-Size: 58873
MD5sum: 748abfae6047316a401c249b8b36dc58
Description: GeoGebra is a dynamic mathematics software for education.
GeoGebra is a dynamic mathematics software for education in secondary schools
that joins geometry, algebra and calculus.
.
(Converted from a tgz package by alien version 8.64.)
Package: geonext
Version: 1.73-2
Priority: extra
Section: knxm
Maintainer: HAMADA Tatsuyoshi
Architecture: all
Filename: ./geonext_1.73-2_all.deb
Size: 10393594
Installed-Size: 11520
MD5sum: cfbff08052c6fda378cbb31ea333f424
Description: The dynamic mathematics software.
The dynamic mathematics software establishes new ways of teaching and learning mathematics. It offers opportunities of visualisation that can't be realised on paper or blackboard and with traditional construction tools.
.
(Converted from a tgz package by alien version 8.64.)
Package: gfan-doc
Version: 0.5.2013.02.28.1121-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./gfan-doc_0.5.2013.02.28.1121-2_all.deb
Size: 532582
Installed-Size: 624
MD5sum: 82340a5858a5b2624f5725a445ea31a5
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: givaro-dev-doc
Source: givaro
Version: 3.7.2-1
Priority: optional
Section: doc
Maintainer: Debian Science Maintainers
Depends: libgivaro-doc
Architecture: all
Filename: ./givaro-dev-doc_3.7.2-1_all.deb
Size: 11588
Installed-Size: 50
MD5sum: c697f92327bff8d66ec7f0bbab469378
Description: Developer Documentation for Givaro (obsolete)
Givaro is a C++ library for arithmetic and algebraic computations.
Its main features are implementations of the basic arithmetic of many
mathematical entities: Primes fields, Extensions Fields, Finite
Fields, Finite Rings, Polynomials, Algebraic numbers, and Arbitrary
precision integers and rationals (C++ wrappers over gmp).
.
Givaro also provides data-structures and templated classes for the
manipulation of basic algebraic objects, such as vectors, matrices
(dense, sparse, structured), univariate polynomials (and therefore
recursive multivariate).
.
It contains different program modules and is fully compatible with
the LinBox linear algebra library and the Athapascan environment,
which permits parallel programming.
.
This is a transitional dummy package, Debian no longer ships Developer
Documentation for Givaro. This 'givaro-dev-doc' package can be safely
removed from the system if no other package depends on it.
Package: givaro-user-doc
Source: givaro
Version: 3.7.2-1
Priority: optional
Section: doc
Maintainer: Debian Science Maintainers
Depends: libgivaro-doc
Architecture: all
Filename: ./givaro-user-doc_3.7.2-1_all.deb
Size: 11608
Installed-Size: 50
MD5sum: 16477e90364353eed69ae72a9605d765
Description: User Documentation for Givaro (obsolete)
Givaro is a C++ library for arithmetic and algebraic computations.
Its main features are implementations of the basic arithmetic of many
mathematical entities: Primes fields, Extensions Fields, Finite
Fields, Finite Rings, Polynomials, Algebraic numbers, and Arbitrary
precision integers and rationals (C++ wrappers over gmp).
.
Givaro also provides data-structures and templated classes for the
manipulation of basic algebraic objects, such as vectors, matrices
(dense, sparse, structured), univariate polynomials (and therefore
recursive multivariate).
.
It contains different program modules and is fully compatible with
the LinBox linear algebra library and the Athapascan environment,
which permits parallel programming.
.
This is a transitional dummy package. The 'givaro-user-doc' package
has been renamed to 'libgivaro-doc', which has been installed
automatically. This 'givaro-user-doc' package can be safely removed
from the system if no other package depends on it.
Package: hevea
Version: 2.18-1
Priority: optional
Section: tex
Maintainer: Debian OCaml Maintainers
Depends: ghostscript, netpbm (>= 2:9.10-1), texlive-base, ocaml-base-nox-4.01.0, dpkg (>= 1.14.18), tex-common (>= 3)
Suggests: hevea-doc, texlive-latex-extra
Architecture: all
Filename: ./hevea_2.18-1_all.deb
Size: 509450
Installed-Size: 2170
MD5sum: 16b3acfa81927b2d48646a21be830a21
Description: translates from LaTeX to HTML, info, or text
Its remarkable features are
- It produces good output. Special symbols (like mathematical symbols) are
translated into HTML entities which should be rendered by any graphical
browser. Picture files are only generated on demand, for instance when
translating graphics.
- It is highly configurable through (La)TeX macros. Though aimed at
LaTeX input it understands a fair subset of TeX' macro language.
- It runs fast.
Package: jas
Version: 2.5.4873-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./jas_2.5.4873-2_all.deb
Size: 9519644
Installed-Size: 59701
MD5sum: 6a625b54d8352a02095fe353f7f42a6f
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: jas-java
Source: jas
Version: 2.6.5733
Priority: extra
Section: java
Maintainer: Heinz Kredel
Depends: openjdk-8-jre, junit4, liblog4j2-java, jython, jruby
Architecture: all
Filename: ./jas-java_2.6.5733-all.deb
Size: 10312390
Installed-Size:
MD5sum: 5e3e50c4e4441203284fffb8e1e5add7
Description: Java object-oriented type-safe Algebra System
Java Algebra System (JAS) is an object-oriented, type-safe and
multi-threaded library using generic types for algebraic
computations. It mainly focuses on commutative algebra, solvable
polynomials, Groebner bases, factorization, power series and real
roots.
Package: julia-desktop
Version: 0.20150302-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./julia-desktop_0.20150302-2_all.deb
Size: 4204
Installed-Size: 47
MD5sum: 39a29b94864389f76638226518532ee4
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: knxm-mkusbmath-debian
Version: 0.0.3-1
Priority: extra
Section: Extra
Maintainer: NUmata yacehide
Depends: parted, bar
Architecture: all
Filename: ./knxm-mkusbmath-debian_0.0.3-1_all.deb
Size: 7338
Installed-Size: 21
MD5sum: 56de39862c7a719310718b9ee1aeb3b4
Description: Bash script to help to make a bootable live USB device.
This script helps to make a bootable/live system on USB device.
This script copies the system from some src and creates persistent volume.
Package: libgivaro-doc
Source: givaro
Version: 3.7.2-1
Priority: optional
Section: doc
Maintainer: Debian Science Maintainers
Architecture: all
Filename: ./libgivaro-doc_3.7.2-1_all.deb
Size: 2657246
Installed-Size: 5460
MD5sum: a46d06ae172b63bb054a29e8fd9aed08
Description: Documentation for Givaro
Givaro is a C++ library for arithmetic and algebraic computations.
Its main features are implementations of the basic arithmetic of many
mathematical entities: Primes fields, Extensions Fields, Finite
Fields, Finite Rings, Polynomials, Algebraic numbers, and Arbitrary
precision integers and rationals (C++ wrappers over gmp).
.
Givaro also provides data-structures and templated classes for the
manipulation of basic algebraic objects, such as vectors, matrices
(dense, sparse, structured), univariate polynomials (and therefore
recursive multivariate).
.
It contains different program modules and is fully compatible with
the LinBox linear algebra library and the Athapascan environment,
which permits parallel programming.
.
This package contains Documentation for Givaro.
Package: libgmp3-doc
Source: gmp
Version: 2:4.3.2+dfsg-1
Priority: optional
Section: doc
Maintainer: Debian Scientific Computing Team
Replaces: libgmp3 (<< 3.1.1-8)
Architecture: all
Filename: ./libgmp3-doc_4.3.2+dfsg-1_all.deb
Size: 149560
Installed-Size: 224
MD5sum: ca7a088965f19888e229c2c145487306
Description: Multiprecision arithmetic library example code
This package provides example code illustrating the use of GMP.
Package: libgtk1.2-common
Source: gtk+1.2
Version: 1.2.10-18.1
Priority: optional
Section: misc
Maintainer: Akira TAGOH
Replaces: libgtk1.2 (<< 1.2.10-4)
Architecture: all
Filename: ./libgtk1.2-common_1.2.10-18.1_all.deb
Size: 209986
Installed-Size: 944
MD5sum: 5f3c842d0f3d48d39e1946c6fbf618c7
Description: Common files for the GTK+ library
The GIMP Toolkit is a freely available set of widgets for X.
GTK is easy to use, and has been implemented in such projects as
The GNU Image Manipulation Program (The GIMP), GNOME, a GNU
desktop set of utilities for X, and gzilla, a GNU web-browser.
.
This package contains the common files which the runtime libraries
need.
Package: libgtk1.2-doc
Source: gtk+1.2
Version: 1.2.10-18.1
Priority: optional
Section: doc
Maintainer: Akira TAGOH
Pre-Depends: dpkg (>= 1.6.8)
Suggests: devhelp-book-gtk
Conflicts: libgtk-dev (<< 1:0.99.4), libgtk-doc, libgtk1.1-doc, libgtk1.1.11-doc, libgtk1.1.12-doc, libgtk1.1.13-doc, libgtk1.1.14-doc, libgtk1.1.15-doc, libgtk1.1.16-doc, libgtk1.1.5-doc, libgtk1.1.6-doc, libgtk1.1.7-doc, libgtk1.1.8-doc, libgtk1.1.9-doc
Replaces: libgtk-doc, libgtk1.1-doc, libgtk1.1.11-doc, libgtk1.1.12-doc, libgtk1.1.13-doc, libgtk1.1.14-doc, libgtk1.1.15-doc, libgtk1.1.16-doc, libgtk1.1.5-doc, libgtk1.1.6-doc, libgtk1.1.9-doc
Architecture: all
Filename: ./libgtk1.2-doc_1.2.10-18.1_all.deb
Size: 1453688
Installed-Size: 2852
MD5sum: 15dc1d0559fd728e9d211874b321570c
Description: Documentation for the GIMP Toolkit
This package contains lots of info-files, HTML docs, FAQs, and
other handy documentation about the GIMP Toolkit set of widgets
for X.
.
Install this package if you want to have lots of info about the
GIMP toolkit when you're programming.
Package: liblablgtk2-ocaml-doc
Source: lablgtk2
Version: 2.16.0+dfsg-1
Priority: optional
Section: doc
Maintainer: Debian OCaml Maintainers
Enhances: liblablgtk2-gl-ocaml-dev, liblablgtk2-gnome-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev
Architecture: all
Filename: ./liblablgtk2-ocaml-doc_2.16.0+dfsg-1_all.deb
Size: 1156278
Installed-Size: 14289
MD5sum: 3178383a36e6cadd8d75f4eea98b68d9
Description: OCaml bindings to Gtk+ version 2 (documentation)
LablGTK2 contains bindings for GTK+ 2.x and OCaml.
.
This package contains the API reference of all libraries provided by
LablGTK2.
Package: libmathcomp-coq
Source: mathcomp
Version: 1.5-2
Priority: optional
Section: math
Maintainer: Debian OCaml Maintainers
Depends: libssreflect-coq (>= 1.5), libssreflect-coq (<< 1.6), coq-8.4pl3+4.01.0
Architecture: all
Filename: ./libmathcomp-coq_1.5-2_all.deb
Size: 30967894
Installed-Size: 105890
MD5sum: 80ef6785eb23b906a6a4395bccc01c41
Description: Mathematical Components library for Coq (theories)
The Mathematical Components library is an extensive library of
formalized mathematics built using the Ssreflect extension for
the Coq system.
Package: libsane-common
Source: sane-backends
Version: 1.0.24-1.1
Priority: optional
Section: libs
Maintainer: Mark Buda
Replaces: libsane (<< 1.0.22-4~)
Architecture: all
Filename: ./libsane-common_1.0.24-1.1_all.deb
Size: 970214
Installed-Size: 6567
MD5sum: b643b9f6fac5fae76e7900bd0b1f900b
Description: API library for scanners -- documentation and support files
SANE stands for "Scanner Access Now Easy" and is an application
programming interface (API) that provides standardized access to any
raster image scanner hardware (flatbed scanner, hand-held scanner,
video- and still-cameras, frame-grabbers, etc.). The SANE standard is
free and its discussion and development are open to everybody. The
current source code is written to support several operating systems,
including GNU/Linux, OS/2, Win32 and various Unices and is available
under the GNU General Public License (commercial applications and
backends are welcome, too, however).
.
This package includes documentation for libsane, such as the man pages
and list of supported scanners, and support files (i18n data).
Package: live-boot
Version: 3.0.1-1
Priority: optional
Section: misc
Maintainer: Debian Live Project
Depends: live-boot-initramfs-tools | live-boot-backend
Recommends: live-boot-doc, live-tools, rsync, uuid-runtime
Suggests: curlftpfs, cryptsetup, httpfs2, unionfs-fuse, wget
Architecture: all
Filename: ./live-boot_3.0.1-1_all.deb
Size: 48740
Installed-Size: 150
MD5sum: c0727ef83ee65a807b058b776575d37e
Description: Live System Boot Scripts
live-boot contains the scripts that configure a live system during the boot
process (early userspace).
.
In addition to live-boot, a backend for the initrd generation is required, such
as live-boot-initramfs-tools.
Package: live-boot-doc
Source: live-boot
Version: 3.0.1-1
Priority: optional
Section: doc
Maintainer: Debian Live Project
Conflicts: live-boot (<< 3.0~a18~)
Replaces: live-boot
Architecture: all
Filename: ./live-boot-doc_3.0.1-1_all.deb
Size: 42836
Installed-Size: 93
MD5sum: 1348d71a460b134588e9f4a4f1eac9df
Description: Live System Boot Scripts (documentation)
live-boot contains the scripts that configure a live system during the boot
process (early userspace).
.
This package contains the documentation.
Package: live-boot-initramfs-tools
Source: live-boot
Version: 3.0.1-1
Priority: optional
Section: misc
Maintainer: Debian Live Project
Depends: busybox | busybox-initramfs, initramfs-tools, udev
Conflicts: live-boot-backend
Provides: live-boot-backend
Replaces: live-boot-backend
Architecture: all
Filename: ./live-boot-initramfs-tools_3.0.1-1_all.deb
Size: 26308
Installed-Size: 65
MD5sum: 418d3b73a4512a887b4a6c786ea29d17
Description: Live System Boot Scripts (initramfs-tools backend)
live-boot contains the scripts that configure a live system during the boot
process (early userspace).
.
This package contains the initramfs-tools backend.
Package: live-build
Version: 3.0.1-1
Priority: optional
Section: misc
Maintainer: Debian Live Project
Depends: debootstrap | cdebootstrap | cdebootstrap-static
Recommends: live-boot-doc, live-config-doc, live-manual-html | live-manual, cpio, gnu-fdisk
Suggests: dosfstools, debian-keyring, xorriso, git, gpgv, loadlin, memtest86+ | memtest86, mtools, parted, squashfs-tools | mtd-tools, sudo | fakeroot, syslinux | grub, uuid-runtime, win32-loader
Architecture: all
Filename: ./live-build_3.0.1-1_all.deb
Size: 180026
Installed-Size: 775
MD5sum: 21dcc07a4b00cbd6ec5bb5f4755f90e6
Description: Live System Build Scripts
live-build contains the scripts that build a live system from a configuration
directory.
Package: live-build-cgi
Source: live-build
Version: 3.0.1-1
Priority: optional
Section: misc
Maintainer: Debian Live Project
Depends: live-build (= 3.0.1-1)
Recommends: apache2 | httpd, cron
Architecture: all
Filename: ./live-build-cgi_3.0.1-1_all.deb
Size: 76354
Installed-Size: 122
MD5sum: 8d916cdd2834b77ac27b2663066b058a
Description: Live System Build Scripts (CGI frontend)
live-build contains the scripts that build a live system from a configuration
directory.
.
This package contains the CGI frontend (experimental!).
Package: live-config
Version: 3.0.21-1
Priority: optional
Section: misc
Maintainer: Debian Live Project
Depends: live-config-sysvinit | live-config-backend
Recommends: live-config-doc, live-tools, console-tools, iproute, keyboard-configuration, locales | locales-all, user-setup, sudo
Suggests: pciutils, wget
Architecture: all
Filename: ./live-config_3.0.21-1_all.deb
Size: 26786
Installed-Size: 147
MD5sum: c194b119cd73109b9a41400eb258562a
Description: Live System Configuration Scripts
live-config contains the scripts that configure a live system during the boot
process (late userspace).
.
In addition to live-config, a backend for an init system is required, such as
live-config-sysvinit.
Package: live-config-doc
Source: live-config
Version: 3.0.21-1
Priority: optional
Section: doc
Maintainer: Debian Live Project
Architecture: all
Filename: ./live-config-doc_3.0.21-1_all.deb
Size: 50624
Installed-Size: 156
MD5sum: b0e985a6a5a709cb872a9ab38166573c
Description: Live System Configuration Scripts (documentation)
live-config contains the scripts that configure a live system during the boot
process (late userspace).
.
This package contains the documentation.
Package: live-config-sysvinit
Source: live-config
Version: 3.0.21-1
Priority: optional
Section: misc
Maintainer: Debian Live Project
Depends: sysvinit (>= 2.86)
Conflicts: live-config-backend
Provides: live-config-backend
Replaces: live-config-backend
Architecture: all
Filename: ./live-config-sysvinit_3.0.21-1_all.deb
Size: 15566
Installed-Size: 62
MD5sum: 0910fb8e782500f3280d439b03d2199a
Description: Live System Configuration Scripts (sysvinit backend)
live-config contains the scripts that configure a live system during the boot
process (late userspace).
.
This package contains the sysvinit backend.
Package: live-manual-html
Source: live-manual
Version: 1:3.0.0-1
Priority: optional
Section: doc
Maintainer: Debian Live Project
Provides: live-manual
Architecture: all
Filename: ./live-manual-html_3.0.0-1_all.deb
Size: 373652
Installed-Size: 5663
MD5sum: 869e98a10dc495f97322dbafe16544cc
Description: Debian Live Documentation (html)
live-manual contains the documentation for the Debian Live project.
.
This package contains the html output.
Package: math-polyglot
Version: 1.3-4
Priority: optional
Section: unknown
Maintainer: Nobuki Takayama
Depends: bash, tcl, tk
Architecture: all
Filename: ./math-polyglot_1.3-4_all.deb
Size: 537576
Installed-Size: 2612
MD5sum: 3e0d1fd5c6311cb20b9c4c536148dbbf
Description: math-polyglot is a collection of sample inputs for math soft.
math-polyglot is a collection of sample inputs for mathematical software systems
in Knoppix/Math.
Package: mathlibre-start
Version: 0.2017.03.03.14-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./mathlibre-start_0.2017.03.03.14-2_all.deb
Size: 346480
Installed-Size: 504
MD5sum: f14e46ce1ed9b96dedb6fda452145bba
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.92.)
Package: mmx
Version: 0.20180221-2
Priority: extra
Section: alien
Maintainer: HAMADA Tatsuyoshi
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libltdl7 (>= 2.4.6), libmpfr4 (>= 3.1.3), libncurses5 (>= 6), libquadmath0 (>= 4.6), libreadline7 (>= 6.0), libstdc++6 (>= 5), libtinfo5 (>= 6)
Architecture: all
Filename: ./mmx_0.20180221-2_all.deb
Size: 55086810
Installed-Size: 375506
MD5sum: f3f85f8c6715208dfe16745f53cd5528
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.95.)
Package: nzmath
Version: 1.2.0-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./nzmath_1.2.0-2_all.deb
Size: 468992
Installed-Size: 1794
MD5sum: d7f35269fec30517d1f19a825b7b5bd9
Description: NZMATH is a Python based number theory oriented calculation system
NZMATH is a Python based number theory oriented calculation system. It is developed at Tokyo Metropolitan University.
Copyright (c) 2003-, NZMATH development group, all right reserved.
Package: nzmath-doc
Version: 1.1.2013.02.28.1300-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./nzmath-doc_1.1.2013.02.28.1300-2_all.deb
Size: 680256
Installed-Size: 1290
MD5sum: 6a48814aff9661a6af133d0e51fe6618
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: ocaml-mode
Source: ocaml
Version: 4.01.0-3
Priority: optional
Section: ocaml
Maintainer: Debian OCaml Maintainers
Depends: emacs23 | emacsen
Suggests: ocaml
Architecture: all
Filename: ./ocaml-mode_4.01.0-3_all.deb
Size: 134332
Installed-Size: 370
MD5sum: 2417a677c39a8b797ff94c48e41bad19
Description: major mode for editing Objective Caml in Emacs
Objective (OCaml) is an implementation of the ML language, based on
the Caml Light dialect extended with a complete class-based object system
and a powerful module system in the style of Standard ML.
.
This package provides support for editing both Objective Caml and
Caml Light programs with Emacs and XEmacs.
.
Caml-mode supports:
- indentation
- compilation and error retrieving
- interaction with the toplevel
- font-lock
- imenu
Package: ocaml-source
Source: ocaml
Version: 4.01.0-3
Priority: optional
Section: ocaml
Maintainer: Debian OCaml Maintainers
Provides: ocaml-source-4.01.0
Architecture: all
Filename: ./ocaml-source_4.01.0-3_all.deb
Size: 3775186
Installed-Size: 3772
MD5sum: d6cf9275cb2e204ebc888af17b6e34ba
Description: Sources for Objective Caml
Objective Caml (OCaml) is an implementation of the ML language, based on
the Caml Light dialect extended with a complete class-based object system
and a powerful module system in the style of Standard ML.
.
This package contains the sources needed to build some packages which build
depend on the OCaml source. Notice that if you want to rebuild OCaml, these
will not work, consider using the source package instead.
Package: pari-doc
Source: pari
Version: 2.7.2-1
Priority: optional
Section: doc
Maintainer: Bill Allombert
Recommends: pari-gp, perl, texlive-base
Architecture: all
Filename: ./pari-doc_2.7.2-1_all.deb
Size: 5081122
Installed-Size: 8521
MD5sum: 914eb19c4d0a81227c3a83b41e9dc861
Description: PARI/GP Computer Algebra System documentation
PARI/GP is a widely used computer algebra system designed for fast
computations in number theory (factorizations, algebraic number theory,
elliptic curves...), but also contains a large number of other useful
functions to compute with mathematical entities such as matrices,
polynomials, power series, algebraic numbers etc., and a lot of
transcendental functions. PARI is also available as a C library to allow
for faster computations.
.
Originally developed by Henri Cohen and his co-workers (University Bordeaux I,
France), PARI is now under the GPL and maintained by Karim Belabas
with the help of many volunteer contributors.
.
This package contains the documentation and the extended online help.
Package: polybori-doc
Source: polybori
Version: 0.8.3-3
Priority: extra
Section: doc
Maintainer: Debian Science Maintainers
Replaces: libpolybori-dev (<< 0.8)
Architecture: all
Filename: ./polybori-doc_0.8.3-3_all.deb
Size: 2681014
Installed-Size: 19072
MD5sum: 5857efb30f1c8cd760b6f71d74b91962
Description: polynomials over Boolean Rings, documentation
The core of PolyBoRi is a C++ library, which provides high-level data
types for Boolean polynomials and monomials, exponent vectors, as
well as for the underlying polynomial rings and subsets of the
powerset of the Boolean variables. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures. On top of this C++-library a Python interface
is provided. This allows parsing of complex polynomial systems, as well
as sophisticated and extendable strategies for Groebner base
computation. PolyBoRi features a powerful reference implementation
for Groebner basis computation.
.
This package contains the PolyBoRi documentation.
Package: povray-doc
Source: povray
Version: 1:3.6.1-12
Priority: extra
Section: non-free/doc
Maintainer: ClĂ©ment Stenac
Suggests: povray
Architecture: all
Filename: ./povray-doc_3.6.1-12_all.deb
Size: 4662254
Installed-Size: 7125
MD5sum: 0e22b66b5efb3edbb70f202cc3d38526
Description: Persistence of vision raytracer (3D renderer) documentation
POV-Ray is a full-featured ray tracer. Ray tracers simulate objects
and light sources of the real world to calculate photorealistic, computer
generated images. Because of the nature of ray tracing, this process is
quite CPU-intensive, at the benefit of more realistic images compared to
real time rendering techniques. For example, in POV-Ray, you can model a
glass prism, and you will see a spectrum in the resulting image.
.
POV-Ray by itself is a command-line utility that will take scene
descriptions, written in a special easy-to-understand language, to
produce ray-traced images (or even a sequence of images, for animations).
You can either write those scene-descriptions by hand, or use external
tools to generate (parts of) the scene.
.
This package contains the full POV-Ray manual.
Package: povray-examples
Source: povray
Version: 1:3.7.0.0-2
Priority: extra
Section: graphics
Maintainer: Andreas Beckmann
Depends: povray-includes
Suggests: povray
Architecture: all
Filename: ./povray-examples_3.7.0.0-2_all.deb
Size: 10773858
Installed-Size: 15420
MD5sum: c37a1389e3bf748b64710c055d324024
Description: Persistence of vision raytracer (3D renderer) sample files
POV-Ray is a full-featured ray tracer. Ray tracers simulate objects
and light sources of the real world to calculate photorealistic, computer
generated images. Because of the nature of ray tracing, this process is
quite CPU-intensive, at the benefit of more realistic images compared to
real time rendering techniques. For example, in POV-Ray, you can model a
glass prism, and you will see a spectrum in the resulting image.
.
POV-Ray by itself is a command-line utility that will take scene
descriptions, written in a special easy-to-understand language, to
produce ray-traced images (or even a sequence of images, for animations).
You can either write those scene-descriptions by hand, or use external
tools to generate (parts of) the scene.
.
This package contains sample files.
Package: povray-includes
Source: povray
Version: 1:3.7.0.0-2
Priority: extra
Section: graphics
Maintainer: Andreas Beckmann
Depends: povray
Architecture: all
Filename: ./povray-includes_3.7.0.0-2_all.deb
Size: 309210
Installed-Size: 884
MD5sum: 05fb193ae7e2568f1c38d11e67764adb
Description: Persistance of vision raytracer (3D renderer) include files
POV-Ray is a full-featured ray tracer. Ray tracers simulate objects
and light sources of the real world to calculate photorealistic, computer
generated images. Because of the nature of ray tracing, this process is
quite CPU-intensive, at the benefit of more realistic images compared to
real time rendering techniques. For example, in POV-Ray, you can model a
glass prism, and you will see a spectrum in the resulting image.
.
POV-Ray by itself is a command-line utility that will take scene
descriptions, written in a special easy-to-understand language, to
produce ray-traced images (or even a sequence of images, for animations).
You can either write those scene-descriptions by hand, or use external
tools to generate (parts of) the scene.
.
This package contains architecture independent include files.
Package: processing
Version: 2.1.1-1
Priority: extra
Section: knxm
Maintainer: HAMADA Tatsuyoshi
Depends: libasound2 (>= 1.0.16), libc6 (>= 2.11), libc6-i386 (>= 2.1.3), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), libx11-6, libxext6, libxi6, libxrender1, libxtst6
Architecture: all
Filename: ./processing_2.1.1-1_all.deb
Size: 101120560
Installed-Size: 194531
MD5sum: e87fb2777085fc517cf0c373cf8a6d2e
Description: Processing is a programming language for visualization.
Processing is an open source programming language and
environment for people who want to program images,
animation, and interactions.
Package: r-cran-rcmdr-knxm
Version: 0.2013.02.18-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./r-cran-rcmdr-knxm_0.2013.02.18-2_all.deb
Size: 4983082
Installed-Size: 6931
MD5sum: 486444d92399367681032e2701c1c776
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: reduce-algebra-docs
Source: reduce-algebra
Version: 20110414-1~getdeb2
Priority: optional
Section: doc
Maintainer: Christoph Korn
Architecture: all
Filename: ./reduce-algebra-docs_20110414-1~getdeb2_all.deb
Size: 1685860
Installed-Size: 3424
MD5sum: 874903748361b86daa66bb855754e2b4
Description: Graphical Computer Algebra System (documentation)
OpenReduce is a graphical Computer Algebra System.
It allows for solving differential equations, integration,
matrix manipulation and 3D plotting.
It also contains a large number of additional packages.
.
(This package contains the documentation)
Package: reduce-algebra-fonts
Source: reduce-algebra
Version: 20110414-1~getdeb2
Priority: optional
Section: math
Maintainer: Christoph Korn
Architecture: all
Filename: ./reduce-algebra-fonts_20110414-1~getdeb2_all.deb
Size: 691720
Installed-Size: 1140
MD5sum: e96fb8d76fc50e76f5214e769b75f23f
Description: Graphical Computer Algebra System (fonts)
OpenReduce is a graphical Computer Algebra System.
It allows for solving differential equations, integration,
matrix manipulation and 3D plotting.
It also contains a large number of additional packages.
.
(This package contains the fonts files)
Package: sage-desktop
Version: 0.5.7-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./sage-desktop_0.5.7-2_all.deb
Size: 6822
Installed-Size: 56
MD5sum: fa076e153d5f00f086e3a2f3390fa2ad
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: singular-help
Version: 3.1.6-1
Priority: optional
Section: math
Maintainer: Mathias Schulze
Depends: singular-release(=3.1.6-1)
Architecture: all
Filename: ./Singular-help_3.1.6-1_all.deb
Size: 4945674
MD5sum: 41b89566a8ff340a3e75386069729aa3
Description: Singular documentation and examples
Singular is a Computer Algebra system for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.
Singular's main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings or localizations thereof over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions) or quotient rings with respect to an ideal.
Singular features one of the fastest and most general implementations of various algorithms for computing Groebner resp. standard bases. The implementation includes Buchberger's algorithm (if the ordering is a wellordering) and Mora's algorithm (if the ordering is a tangent cone ordering) as special cases. Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more related functionalities.
Based on an easy-to-use interactive shell and a C-like programming language, Singular's internal functionality is augmented and user-extendible by libraries written in the Singular programming language. A general and efficient implementation of communication links allows Singular to make its functionality available to other programs.
Package: singular-icons
Version: 3.1.6-1
Priority: optional
Section: math
Maintainer: Mathias Schulze
Depends: singular-core(=3.1.6-1)|singular-core-static(=3.1.6-1), singular-release(=3.1.6-1)
Architecture: all
Filename: ./Singular-icons_3.1.6-1_all.deb
Size: 12812
MD5sum: c5c4c5ca0a48fbf320f065c1e1124bf0
Description: Singular GNOME and KDE support
Singular is a Computer Algebra system for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.
Singular's main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings or localizations thereof over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions) or quotient rings with respect to an ideal.
Singular features one of the fastest and most general implementations of various algorithms for computing Groebner resp. standard bases. The implementation includes Buchberger's algorithm (if the ordering is a wellordering) and Mora's algorithm (if the ordering is a tangent cone ordering) as special cases. Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more related functionalities.
Based on an easy-to-use interactive shell and a C-like programming language, Singular's internal functionality is augmented and user-extendible by libraries written in the Singular programming language. A general and efficient implementation of communication links allows Singular to make its functionality available to other programs.
Package: singular-libs
Version: 3.1.6-1
Priority: optional
Section: math
Maintainer: Mathias Schulze
Depends: singular-release(=3.1.6-1)
Architecture: all
Filename: ./Singular-libs_3.1.6-1_all.deb
Size: 5626412
MD5sum: e1b8c9137212999b5f2f0a0119005bc4
Description: Singular libraries
Singular is a Computer Algebra system for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.
Singular's main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings or localizations thereof over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions) or quotient rings with respect to an ideal.
Singular features one of the fastest and most general implementations of various algorithms for computing Groebner resp. standard bases. The implementation includes Buchberger's algorithm (if the ordering is a wellordering) and Mora's algorithm (if the ordering is a tangent cone ordering) as special cases. Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more related functionalities.
Based on an easy-to-use interactive shell and a C-like programming language, Singular's internal functionality is augmented and user-extendible by libraries written in the Singular programming language. A general and efficient implementation of communication links allows Singular to make its functionality available to other programs.
Package: singular-release
Version: 3.1.6-1
Priority: optional
Section: math
Maintainer: Mathias Schulze
Architecture: all
Filename: ./Singular-release.deb
Size: 41534
MD5sum: 1807dbe12e294c81e3129c45e453276a
Description: Singular release information and package configuration
Singular is a Computer Algebra system for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.
Singular's main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings or localizations thereof over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions) or quotient rings with respect to an ideal.
Singular features one of the fastest and most general implementations of various algorithms for computing Groebner resp. standard bases. The implementation includes Buchberger's algorithm (if the ordering is a wellordering) and Mora's algorithm (if the ordering is a tangent cone ordering) as special cases. Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more related functionalities.
Based on an easy-to-use interactive shell and a C-like programming language, Singular's internal functionality is augmented and user-extendible by libraries written in the Singular programming language. A general and efficient implementation of communication links allows Singular to make its functionality available to other programs.
Package: surf-examples
Version: 1.0.5.2013.02.28.1240-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./surf-examples_1.0.5.2013.02.28.1240-2_all.deb
Size: 11924
Installed-Size: 79
MD5sum: fa62c93e71e9a835e660fb4c2ca08d60
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.87.)
Package: surfex
Version: 0.90.00-2
Priority: extra
Section: alien
Maintainer: Tatsuyoshi HAMADA
Architecture: all
Filename: ./surfex_0.90.00-2_all.deb
Size: 4253116
Installed-Size: 9912
MD5sum: 0f639e00a39ff3c1e613dd21a1e6a3b7
Description: Converted tgz package
Converted tgz package
.
(Converted from a tgz package by alien version 8.81.)
Package: texmacs-common
Source: texmacs
Version: 1:1.99.1-3
Priority: optional
Section: editors
Maintainer: Atsuhito KOHDA
Depends: gnome-icon-theme, texlive-base, texlive-fonts-recommended, texlive-math-extra, texlive-fonts-extra
Recommends: texmacs (= 1:1.99.1-3)
Conflicts: texmacs-extra-fonts
Provides: texmacs-extra-fonts
Replaces: texmacs (<= 1.0.3-4), texmacs-extra-fonts
Architecture: all
Filename: ./texmacs-common_1.99.1-3_all.deb
Size: 4391516
Installed-Size: 24977
MD5sum: bf7c5c0433161e2e4724c8ed45dec2c3
Description: WYSIWYG mathematical text editor using TeX fonts
GNU TeXmacs is a free scientific text editor, which was both inspired
by TeX and GNU Emacs.
.
This package contains the architecture-independent files, including
the documentation.
Package: x-dev
Source: x11proto-core
Version: 7.0.16-1
Priority: optional
Section: libdevel
Maintainer: Debian X Strike Force
Depends: x11proto-core-dev
Architecture: all
Filename: ./x-dev_7.0.16-1_all.deb
Size: 17604
Installed-Size: 42
MD5sum: 77afd90120850bc79d1d2fa5216125f4
Description: dummy package for transition purposes
This package is a dummy package for transition purposes, and only exists to
depend on x11proto-core-dev. You may safely remove it if it will not
remove other packages.
Package: x11proto-core-dev
Source: x11proto-core
Version: 7.0.16-1
Priority: optional
Section: x11
Maintainer: Debian X Strike Force
Architecture: all
Filename: ./x11proto-core-dev_7.0.16-1_all.deb
Size: 92390
Installed-Size: 424
MD5sum: 1d0a2f63ff62cbf0c621d2f8fe914a8b
Description: X11 core wire protocol and auxiliary headers
This package provides development headers describing the wire protocol
for the core X11 protocol, and also provides a number of utility headers,
used to abstract OS-specific functions.
.
This package deprecates 'x-dev', a package from the monolithic builds of
XFree86 and X.Org.
.
More information about X.Org can be found at:
.
This package is built from the X.org xproto proto module.