Package: 4ti2 Version: 1.6.7+ds-2 Priority: optional Section: math Maintainer: Debian Science Maintainers Pre-Depends: multiarch-support Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libglpk36 (>= 4.51), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 4.9) Suggests: 4ti2-doc Architecture: amd64 Filename: ./4ti2_1.6.7+ds-2_amd64.deb Size: 470916 Installed-Size: 2160 MD5sum: 2473ba24a624c5ff4c8c85703407e133 Description: mathematical tool suite for problems on linear spaces -- tools 4ti2 is a mathematical software package for algebraic, geometric and combinatorial problems on linear spaces. . This package provides the 4ti2 tool suite. Package: SURFER Version: 1.0.2 Priority: optional Section: unknown Maintainer: Mathematisches Forschungsinstitut Oberwolfach Provides: SURFER Architecture: amd64 Filename: ./surfer_1.0.2_amd64.deb Size: 83375396 Installed-Size: 182711 MD5sum: 5ef1f7d4969b760baf377996a9535354 Description: SURFER Package: camlp4 Source: ocaml Version: 4.01.0-3 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: libc6 (>= 2.7), ocaml-nox-4.01.0 Provides: camlp4-4.01.0 Architecture: amd64 Filename: ./camlp4_4.01.0-3_amd64.deb Size: 21676654 Installed-Size: 70927 MD5sum: f426747b854c79b16694b901afd402a8 Description: Pre Processor Pretty Printer for OCaml 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. . CamlP4 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers tools for syntax (Stream Parsers and Grammars) and the ability to modify the concrete syntax of the language (Quotations, Syntax Extensions). . This package contains the basic CamlP4 executables and libraries for pre-processing and pretty-printing OCaml sources both interactively and in a batch fashion. Package: camlp4-extra Source: ocaml Version: 4.01.0-3 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: camlp4, libc6 (>= 2.7), ocaml-nox-4.01.0, camlp4-4.01.0 Architecture: amd64 Filename: ./camlp4-extra_4.01.0-3_amd64.deb Size: 21523776 Installed-Size: 68395 MD5sum: 015066afc01b7f500084ead90197c77f Description: Pre Processor Pretty Printer for OCaml - extras 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. . CamlP4 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers tools for syntax (Stream Parsers and Grammars) and the ability to modify the concrete syntax of the language (Quotations, Syntax Extensions). . This package contains pre-linked executables and libraries for pre-processing and pretty-printing OCaml sources out of the box for various common needs. Package: camlp5 Version: 6.11+dfsg-3 Priority: extra Section: ocaml Maintainer: Debian OCaml Maintainers Depends: ocaml-compiler-libs, ocaml-nox-4.01.0, libc6 (>= 2.7) Suggests: ocaml-findlib Provides: camlp5-ejbq9 Replaces: ocaml-nox (<< 3.10.0) Architecture: amd64 Filename: ./camlp5_6.11+dfsg-3_amd64.deb Size: 4994770 Installed-Size: 24427 MD5sum: 46c2c4b89f6c49bd4dad89f1cb049c90 Description: Pre Processor Pretty Printer for OCaml - classical version 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. . CamlP4 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers tools for syntax (Stream Parsers and Grammars) and the ability to modify the concrete syntax of the language (Quotations, Syntax Extensions). . This package contains the "classical" version of CamlP4 executables and libraries for pre-processing and pretty-printing OCaml sources both interactively and in a batch fashion. The "classical" version is the implementation of CamlP4 which used to be distributed with OCaml before the release of version 3.10. Package: cocoa Version: 4.7.4-2 Priority: extra Section: alien Maintainer: HAMADA Tatsuyoshi Depends: libc6 (>= 2.3) Architecture: amd64 Filename: ./cocoa_4.7.4-2_amd64.deb Size: 1761948 Installed-Size: 4954 MD5sum: 6a3d66ca213dbe821abd67e3dd791dca Description: CoCoA is a program to compute with numbers and polynomials. CoCoA is a program to compute with numbers and polynomials. . (Converted from a tgz package by alien version 8.64.) Package: cocoa5 Version: 5.1.0-1 Priority: extra Section: alien Maintainer: HAMADA Tatsuyoshi Depends: libboost-filesystem1.49.0 (>= 1.49.0-1), libboost-system1.49.0 (>= 1.49.0-1), libboost-thread1.49.0 (>= 1.49.0-1), libc6 (>= 2.3.2), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libqt4-xml (>= 4:4.5.3), libqtcore4 (>= 4:4.7.0~beta2), libqtgui4 (>= 4:4.5.3), libstdc++6 (>= 4.6) Architecture: amd64 Filename: ./cocoa5_5.1.0-1_amd64.deb Size: 103233522 Installed-Size: 281108 MD5sum: bad1e9224588f28fc5b8059948d77d2f Description: CoCoA is a program to compute with numbers and polynomials. CoCoA is a program to compute with numbers and polynomials. . (Converted from a tgz package by alien version 8.64.) Package: dndtools Version: 0.0.4-1 Priority: extra Section: misc Maintainer: NUMATA Yacehide Depends: python, python-gtk2 Architecture: amd64 Filename: ./dndtools_0.0.4-1_amd64.deb Size: 6810 Installed-Size: 52 MD5sum: 143de22517cd1869de0f935a8e4d748e Description: small script for dnd helper script for shell script with drag and drop Package: eggx Version: 0.93r4-1 Priority: extra Section: unknown Maintainer: Tatsuyoshi HAMADA Architecture: amd64 Filename: ./eggx_0.93r4-1_amd64.deb Size: 104142 Installed-Size: 320 MD5sum: 671aac33f365977afeeeeacfb94cd284 Description: Package: fflas-ffpack Version: 1.6.0-1 Priority: optional Section: math Maintainer: Debian Science Maintainers Depends: fflas-ffpack-common (= 1.6.0-1) Suggests: fflas-ffpack-user-doc, fflas-ffpack-dev-doc Architecture: amd64 Filename: ./fflas-ffpack_1.6.0-1_amd64.deb Size: 8326 Installed-Size: 59 MD5sum: 9f38f935b7a3c6d14e38a24d88b3771c Description: Finite field linear algebra subroutines/package 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. Package: fplll-tools Source: fplll Version: 4.0.4-2 Priority: optional Section: math Maintainer: Debian Science Maintainers Depends: libfplll0 (= 4.0.4-2), libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgmp10, libmpfr4 (>= 3.1.0), libstdc++6 (>= 4.4.0) Architecture: amd64 Filename: ./fplll-tools_4.0.4-2_amd64.deb Size: 40836 Installed-Size: 135 MD5sum: 4f805fdbc1a80415bade2a16d2fd084b Description: Tools to compute LLL-reduction of Euclidian lattices fpLLL is a library for computing reduced (nearly orthogonal) bases for Euclidean lattices using the floating-point LLL algorithm. . fpLLL contains multiple different implementations of the floating-point LLL reduction algorithm, offering multiple different speed/guarantees ratios. . It contains a 'wrapper' that chooses the estimated best sequence of variants in order to provide a guaranteed output as fast as possible. In the case of the wrapper, the succession of variants is oblivious to the user. . This package contains the base tools using libfplll. Package: gappa Version: 1.1.1-2 Priority: extra Section: alien Maintainer: Tatsuyoshi Hamada Depends: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgmp10, libmpfr4 (>= 3.1.0), libstdc++6 (>= 4.6) Architecture: amd64 Filename: ./gappa_1.1.1-2_amd64.deb Size: 2515020 Installed-Size: 9208 MD5sum: b82975a6990e6ffd58dded4c4c2c0f00 Description: Converted tgz package Converted tgz package . (Converted from a tgz package by alien version 8.87.) Package: geogebra Version: 4.2.31.0-94 Priority: extra Section: education Maintainer: Christian Schött Depends: bash, geogebra-mime-data, default-jre | java6-runtime | java7-runtime Architecture: all Filename: ./Attic/geogebra_4.2.31.0-94_all.deb Size: 9197074 Installed-Size: 10052 MD5sum: 77358065ad8303a2ff18b26051f5e949 Description: Free mathematics software for learning and teaching This package provides GeoGebra. . GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. It has received several educational software awards in Europe and the USA. . Quick Facts: . - Graphics, algebra and tables are connected and fully dynamic . - Easy-to-use interface, yet many powerful features . - Authoring tool to create interactive learning materials as web pages . - Available in many languages for our millions of users around the world . - Free and open source software . Authors: . http://www.geogebra.org/cms/en/team Package: geogebra44 Version: 4.4.40.0-34786 Priority: extra Section: education Maintainer: International GeoGebra Institute Pre-Depends: dpkg (>= 1.14.0) Depends: libgsl0ldbl Suggests: cups, icedtea-netx-common Replaces: geogebra (<< 4.4) Architecture: amd64 Filename: ./Attic/geogebra44_4.4.40.0-34786_amd64.deb Size: 58905212 Installed-Size: 148796 MD5sum: b7f4d37358289f78c5ecf5a902ac1095 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: 5.0.64.0-38941 Priority: extra Section: education Maintainer: International GeoGebra Institute Pre-Depends: dpkg (>= 1.14.0) Depends: libgsl0ldbl Suggests: cups, icedtea-netx-common Replaces: geogebra (<< 4.4), geogebra44 Architecture: amd64 Filename: ./geogebra5_5.0.64.0-38941_amd64.deb Size: 66004770 Installed-Size: 156432 MD5sum: 780b3502358325c608208b03ea1b0267 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: gfan Version: 0.5+dfsg-1 Priority: optional Section: math Maintainer: Debian Science Maintainers Depends: libc6 (>= 2.4), libcdd0, libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.6) Architecture: amd64 Filename: ./gfan_0.5+dfsg-1_amd64.deb Size: 1078256 Installed-Size: 2428 MD5sum: e2a731950cbeaa841afef600e2bb3ef5 Description: program for computing with Groebner fans Gfan is a software package for computing Groebner fans and tropical varieties. These are polyhedral fans associated to polynomial ideals. The maximal cones of a Groebner fan are in bijection with the marked reduced Groebner bases of its defining ideal. The software computes all marked reduced Groebner bases of an ideal. Their union is a universal Groebner basis. The tropical variety of a polynomial ideal is a certain subcomplex of the Groebner fan. Gfan contains algorithms for computing this complex for general ideals and specialized algorithms for tropical curves, tropical hypersurfaces and tropical varieties of prime ideals. In addition to the above core functions the package contains many tools which are useful in the study of Groebner bases, initial ideals and tropical geometry. Among these are an interactive traversal program for Groebner fans and programs for graphical renderings. . For ordinary Groebner basis computations Gfan is not competitive in speed compared to programs such as CoCoA, Singular and Macaulay2. 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: 11596 Installed-Size: 50 MD5sum: 0f89132f264fd5317f8c3eda6283f465 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: 11614 Installed-Size: 50 MD5sum: 5511d81e26805daf1686d29dccfb22e5 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: gudhi Version: 1.0-2 Priority: extra Section: alien Maintainer: Tatsuyoshi Hamada Depends: libboost-program-options1.49.0 (>= 1.49.0-1), libboost-system1.49.0 (>= 1.49.0-1), libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 4.6) Architecture: amd64 Filename: ./gudhi_1.0-2_amd64.deb Size: 690660 Installed-Size: 2941 MD5sum: 6edb19103e0a9bba8fe4dbeb1031fdab Description: Converted tgz package Converted tgz package . (Converted from a tgz package by alien version 8.87.) Package: hol-light Version: 20131026-1 Priority: extra Section: math Maintainer: Debian OCaml Maintainers Depends: camlp5, camlp5-ejbq9, ocaml-nox-4.01.0 Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev Architecture: amd64 Filename: ./Attic/hol-light_20131026-1_amd64.deb Size: 4230114 Installed-Size: 21568 MD5sum: e04ffb36fc960382387739f4e028824b Description: HOL Light theorem prover HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aims at the formalization of Tom Hales' proof of the Kepler conjecture. Package: knxm-desktopentries Version: 0.0.1-1 Priority: extra Section: unknown Maintainer: NUMATA Yacehide Architecture: amd64 Filename: ./knxm-desktopentries_0.0.1-1_amd64.deb Size: 18266 Installed-Size: 82 MD5sum: 00472485f770b209bd950d033c13d9c2 Description: desktop entries of math soft This provides desktop entry files of some mathematical softwares. Package: kseg Version: 0.4.0.3-3 Priority: optional Section: math Maintainer: Debian Science Team Depends: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libqt3-mt (>= 3:3.3.8b), libstdc++6 (>= 4.1.1), libx11-6, libxext6, zlib1g (>= 1:1.1.4) Architecture: amd64 Filename: ./kseg_0.4.0.3-3_amd64.deb Size: 809274 Installed-Size: 1824 MD5sum: 078e357bc16c293e77756df06cc51b09 Description: Sketchpad for planar Euclidean geometry KSEG allows you to interactively create a geometrical construction, similar to what you can do with a straight edge and compass. Points may be inserted on the page with right mouse-button clicks, and then used to form segments, lines, circles, or other geometrical objects. At any time you can drag existing points around, and watch how the constructed objects respond. Package: lib32gmp3 Source: gmp Version: 2:4.3.2+dfsg-1 Priority: optional Section: libs Maintainer: Debian Scientific Computing Team Depends: libc6-i386 (>= 2.7) Conflicts: libc6-i386 (<= 2.9-18) Architecture: amd64 Filename: ./lib32gmp3_4.3.2+dfsg-1_amd64.deb Size: 272728 Installed-Size: 531 MD5sum: dc2482069de7a99f7021e324f0419137 Description: Multiprecision arithmetic library (32bit) GNU MP is a programmer's library for arbitrary precision arithmetic (ie, a bignum package). It can operate on signed integer, rational, and floating point numeric types. This package includes a 32 bit version of the shared library. . It has a rich set of functions, and the functions have a regular interface. Package: lib32gmp3-dev Source: gmp Version: 2:4.3.2+dfsg-1 Priority: optional Section: libdevel Maintainer: Debian Scientific Computing Team Depends: libgmp3-dev (= 2:4.3.2+dfsg-1), lib32gmp3 (= 2:4.3.2+dfsg-1), lib32gmpxx4 (= 2:4.3.2+dfsg-1) Suggests: libgmp3-doc, libmpfr-dev Conflicts: libc6-i386 (<= 2.9-18) Architecture: amd64 Filename: ./lib32gmp3-dev_4.3.2+dfsg-1_amd64.deb Size: 354194 Installed-Size: 1191 MD5sum: dd61135b893db1c022549df3efdd6abe Description: Multiprecision arithmetic library developers tools (32bit) This development package provides the header files and the symbolic links to allow compilation and linking of programs that use the libraries provided in the libgmp3 package. This package includes 32 bit versions of the link libraries. . Both C and C++ bindings are present in this package. Package libstdc++-dev is required to use the C++ bindings. . The MPFR library (multiple-precision floating-point) used to be included, but has since been moved to package libmpfr-dev. Package: lib32gmpxx4 Source: gmp Version: 2:4.3.2+dfsg-1 Priority: optional Section: libs Maintainer: Debian Scientific Computing Team Depends: lib32gcc1 (>= 1:4.1.1), lib32gmp3, lib32stdc++6 (>= 4.1.1), libc6-i386 (>= 2.2) Conflicts: libc6-i386 (<= 2.9-18) Architecture: amd64 Filename: ./lib32gmpxx4_4.3.2+dfsg-1_amd64.deb Size: 18916 Installed-Size: 55 MD5sum: 314d6d54f283a910db96b4a746707971 Description: Multiprecision arithmetic library (C++ bindings, 32bit) GNU MP is a programmer's library for arbitrary precision arithmetic (ie, a bignum package). It can operate on signed integer, rational, and floating point numeric types. This package includes a 32 bit version of the shared library. Package: libfindlib-ocaml Source: findlib Version: 1.4-2 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: ocaml-base-nox-4.01.0 Provides: libfindlib-ocaml-ugx61 Replaces: ocaml-findlib (<< 1.2.4-3) Architecture: amd64 Filename: ./libfindlib-ocaml_1.4-2_amd64.deb Size: 135640 Installed-Size: 336 MD5sum: 8293186e2a54af5e08a92200601c4495 Description: library for managing OCaml libraries (runtime) The "findlib" OCaml library provides a scheme to manage reusable software components (packages), and includes tools that support this scheme. Packages are collections of OCaml modules for which metainformation can be stored. The packages are kept in the filesystem hierarchy, but with strict directory structure. The library contains functions to look the directory up that stores a package, to query metainformation about a package, and to retrieve dependency information about multiple packages. . This package contains files that are or may be needed at runtime by programs using findlib (META files and dynamically-loadable files). Package: libfindlib-ocaml-dev Source: findlib Version: 1.4-2 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: libfindlib-ocaml-ugx61, ocaml-nox-4.01.0 Recommends: ocaml-findlib Provides: libfindlib-ocaml-dev-ugx61 Replaces: ocaml-findlib (<< 1.2.4-3) Architecture: amd64 Filename: ./libfindlib-ocaml-dev_1.4-2_amd64.deb Size: 160076 Installed-Size: 730 MD5sum: 171cb616aaa422a2ba2372ab0fc4cd7f Description: library for managing OCaml libraries (development files) The "findlib" OCaml library provides a scheme to manage reusable software components (packages), and includes tools that support this scheme. Packages are collections of OCaml modules for which metainformation can be stored. The packages are kept in the filesystem hierarchy, but with strict directory structure. The library contains functions to look the directory up that stores a package, to query metainformation about a package, and to retrieve dependency information about multiple packages. . This package contains development files needed to compile programs using findlib. Package: libflint-2.4.4 Source: flint Version: 2.4.4-2 Priority: optional Section: math Maintainer: Debian Science Maintainers Depends: libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libgmp10, libmpfr4 (>= 3.1.0), libntl0, libstdc++6 (>= 4.1.1) Conflicts: libflint-1.06 Replaces: libflint-1.06 Architecture: amd64 Filename: ./libflint-2.4.4_2.4.4-2_amd64.deb Size: 950572 Installed-Size: 2612 MD5sum: 3a47daec5fadb9af7691067f67c0d16e Description: C library for number theory, shared library The Fast Library for Integer Number Theory is a C library which supports polynomial arithmetic over the integers, fast integer arithmetic and factoring (including a highly optimized quadratic sieve). . FLINT has funtionality similar to that of the Number Theory Library (NTL). However, unlike NTL, which is designed primarily for asymptotic performance, FLINT is designed for good performance in small cases as well. . This package contains the FLINT shared library. Package: libflint-dev Source: flint Version: 2.4.4-2 Priority: optional Section: libdevel Maintainer: Debian Science Maintainers Depends: libflint-2.4.4 (= 2.4.4-2) Architecture: amd64 Filename: ./libflint-dev_2.4.4-2_amd64.deb Size: 189984 Installed-Size: 1152 MD5sum: af6058568e36349f174fdc659c4c8974 Description: C library for number theory, development files The Fast Library for Integer Number Theory is a C library which supports polynomial arithmetic over the integers, fast integer arithmetic and factoring (including a highly optimized quadratic sieve). . FLINT has funtionality similar to that of the Number Theory Library (NTL). However, unlike NTL, which is designed primarily for asymptotic performance, FLINT is designed for good performance in small cases as well. . This package contains the FLINT development files. Package: libfplll-dev Source: fplll Version: 4.0.4-2 Priority: optional Section: libdevel Maintainer: Debian Science Maintainers Depends: libfplll0 (= 4.0.4-2) Architecture: amd64 Filename: ./libfplll-dev_4.0.4-2_amd64.deb Size: 205102 Installed-Size: 1002 MD5sum: 696c8093d57fd45a5e1f8ea6d7eb3ff1 Description: Library for LLL-reduction of Euclidean lattices, development fpLLL is a library for computing reduced (nearly orthogonal) bases for Euclidean lattices using the floating-point LLL algorithm. . fpLLL contains multiple different implementations of the floating-point LLL reduction algorithm, offering multiple different speed/guarantees ratios. . It contains a 'wrapper' that chooses the estimated best sequence of variants in order to provide a guaranteed output as fast as possible. In the case of the wrapper, the succession of variants is oblivious to the user. . This package contains development files for libfplll. Package: libfplll0 Source: fplll Version: 4.0.4-2 Priority: optional Section: libs Maintainer: Debian Science Maintainers Pre-Depends: multiarch-support Depends: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgmp10, libmpfr4 (>= 3.1.0), libstdc++6 (>= 4.4.0) Architecture: amd64 Filename: ./libfplll0_4.0.4-2_amd64.deb Size: 159396 Installed-Size: 472 MD5sum: 978996dac8271e4a4d9ddc89d3ada111 Description: Library for LLL-reduction of Euclidean lattices, runtime fpLLL is a library for computing reduced (nearly orthogonal) bases for Euclidean lattices using the LLL algorithm. . fpLLL contains multiple different implementations of the floating-point LLL reduction algorithm, offering multiple different speed/guarantees ratios. . It contains a 'wrapper' that chooses the estimated best sequence of variants in order to provide a guaranteed output as fast as possible. In the case of the wrapper, the succession of variants is oblivious to the user. . This package contains the shared library libfplll. Package: libgivaro-dev Source: givaro Version: 3.7.2-1 Priority: optional Section: libdevel Maintainer: Debian Science Maintainers Depends: libgivaro1 (= 3.7.2-1), make Suggests: libgivaro-doc Architecture: amd64 Filename: ./libgivaro-dev_3.7.2-1_amd64.deb Size: 338242 Installed-Size: 1687 MD5sum: 6677c4cd6b3322a64b33d306b9bba5d5 Description: arithmetic and algebraic computations - development files 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 development files for Givaro. 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: 2681514 Installed-Size: 5497 MD5sum: dce856a1881f780cce61d801bba151a4 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: libgivaro1 Source: givaro Version: 3.7.2-1 Priority: optional Section: libs Maintainer: Debian Science Maintainers Pre-Depends: multiarch-support Depends: libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 4.6) Architecture: amd64 Filename: ./libgivaro1_3.7.2-1_amd64.deb Size: 106462 Installed-Size: 413 MD5sum: 18ee5c60a0cfdcd4fabe3e866a3b8598 Description: arithmetic and algebraic computations 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 runtime files for Givaro. Package: libglib1.2-dbg Source: glib1.2 Version: 1.2.10-19 Priority: extra Section: devel Maintainer: Daniel Baumann Depends: libglib1.2ldbl (= 1.2.10-19), libglib1.2-dev (= 1.2.10-19) Architecture: amd64 Filename: ./libglib1.2-dbg_1.2.10-19_amd64.deb Size: 235984 Installed-Size: 660 MD5sum: 9eb2ecb006627504c4c8248a70a55cb5 Description: The GLib library of C routines (debug) GLib is a library containing many useful C routines for things such as trees, hashes, and lists. GLib was previously distributed with the GTK+ toolkit, but has been split off as of version 1.1.0. . This package contains the debug symbols. Package: libglib1.2-dev Source: glib1.2 Version: 1.2.10-19 Priority: optional Section: oldlibs Maintainer: Daniel Baumann Depends: libglib1.2ldbl (= 1.2.10-19), pkg-config Provides: libglib-dev Architecture: amd64 Filename: ./libglib1.2-dev_1.2.10-19_amd64.deb Size: 199838 Installed-Size: 636 MD5sum: aec06616e6fa439b427d537fc023961d Description: The GLib library of C routines (development) GLib is a library containing many useful C routines for things such as trees, hashes, and lists. GLib was previously distributed with the GTK+ toolkit, but has been split off as of version 1.1.0. . This package contains the development files. Package: libglib1.2ldbl Source: glib1.2 Version: 1.2.10-19 Priority: optional Section: oldlibs Maintainer: Daniel Baumann Depends: libc6 (>= 2.3.2) Conflicts: libglib1.2 Replaces: libglib1.2 Architecture: amd64 Filename: ./libglib1.2ldbl_1.2.10-19_amd64.deb Size: 141852 Installed-Size: 280 MD5sum: 594cc3175c37f7d7ef5681bd60f6df8e Description: The GLib library of C routines GLib is a library containing many useful C routines for things such as trees, hashes, and lists. GLib was previously distributed with the GTK+ toolkit, but has been split off as of version 1.1.0. Package: libgmp3-dev Source: gmp Version: 2:4.3.2+dfsg-1 Priority: optional Section: libdevel Maintainer: Debian Scientific Computing Team Depends: libgmp3c2 (= 2:4.3.2+dfsg-1), libgmpxx4ldbl (= 2:4.3.2+dfsg-1) Recommends: libstdc++-dev Suggests: libgmp3-doc, libmpfr-dev Conflicts: libgmp2-dev Replaces: libgmp2-dev Architecture: amd64 Filename: ./libgmp3-dev_4.3.2+dfsg-1_amd64.deb Size: 647690 Installed-Size: 1942 MD5sum: 2abab8e793f04a97f931b1495ddffffe Description: Multiprecision arithmetic library developers tools This development package provides the header files and the symbolic links to allow compilation and linking of programs that use the libraries provided in the libgmp3 package. . Both C and C++ bindings are present in this package. Package libstdc++-dev is required to use the C++ bindings. . The MPFR library (multiple-precision floating-point) used to be included, but has since been moved to package libmpfr-dev. Package: libgmp3c2 Source: gmp Version: 2:4.3.2+dfsg-1 Priority: optional Section: libs Maintainer: Debian Scientific Computing Team Depends: libc6 (>= 2.7) Conflicts: libgmp2 (<< 2.0.2-10), libgmp3 Replaces: libgmp3 Architecture: amd64 Filename: ./libgmp3c2_4.3.2+dfsg-1_amd64.deb Size: 293776 Installed-Size: 586 MD5sum: 7b19210166e165ec99a91a19188705f8 Description: Multiprecision arithmetic library GNU MP is a programmer's library for arbitrary precision arithmetic (ie, a bignum package). It can operate on signed integer, rational, and floating point numeric types. . It has a rich set of functions, and the functions have a regular interface. Package: libgmpxx4ldbl Source: gmp Version: 2:4.3.2+dfsg-1 Priority: optional Section: libs Maintainer: Debian Scientific Computing Team Depends: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgmp3c2, libstdc++6 (>= 4.1.1) Conflicts: libgmp3, libgmpxx4 Replaces: libgmp3 Architecture: amd64 Filename: ./libgmpxx4ldbl_4.3.2+dfsg-1_amd64.deb Size: 19280 Installed-Size: 67 MD5sum: 1d41e809a59fd5b9af46f987e7216394 Description: Multiprecision arithmetic library (C++ bindings) GNU MP is a programmer's library for arbitrary precision arithmetic (ie, a bignum package). It can operate on signed integer, rational, and floating point numeric types. Package: libgtk1.2 Source: gtk+1.2 Version: 1.2.10-18.1 Priority: optional Section: libs Maintainer: Akira TAGOH Pre-Depends: dpkg (>= 1.6.8) Depends: libgtk1.2-common (>= 1.2.10-18.1), libc6 (>= 2.7), libglib1.2ldbl (>= 1.2.10-18), libx11-6, libxext6, libxi6 Conflicts: libgtk-dev (<< 1:1.0.2) Replaces: libgtk1.1.11, libgtk1.1.12, libgtk1.1.13, libgtk1.1.14, libgtk1.1.15, libgtk1.1.16, libgtk1.1.5, libgtk1.1.6, libgtk1.1.9 Architecture: amd64 Filename: ./libgtk1.2_1.2.10-18.1_amd64.deb Size: 967298 Installed-Size: 2028 MD5sum: 37d09251cc8e8c9c02263e1669d7ce2d Description: The GIMP Toolkit set of widgets for X 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. Package: libgtk1.2-dbg Source: gtk+1.2 Version: 1.2.10-18.1 Priority: extra Section: libdevel Maintainer: Akira TAGOH Pre-Depends: dpkg (>= 1.6.8) Depends: libgtk1.2 (= 1.2.10-18.1) Architecture: amd64 Filename: ./libgtk1.2-dbg_1.2.10-18.1_amd64.deb Size: 2162306 Installed-Size: 5768 MD5sum: cd2da0f271dfc3244b81fc2cc9b901b4 Description: Debugging files for the GIMP Toolkit This package contains the debugging static libraries for the GIMP Toolkit set of widgets for X. . Install this package if you wish to debug your own X programs using the GIMP Toolkit 1.2, or if you wish to debug your own plug-ins for The GIMP. Package: libgtk1.2-dev Source: gtk+1.2 Version: 1.2.10-18.1 Priority: optional Section: libdevel Maintainer: Akira TAGOH Pre-Depends: dpkg (>= 1.6.8) Depends: libgtk1.2 (= 1.2.10-18.1), libglib1.2-dev, libx11-dev, libxext-dev, libxi-dev, pkg-config Suggests: libgtk1.2-doc Conflicts: libgtk-dev, libgtk1 (<< 1:1.0.4), libgtk1.1.11-dev, libgtk1.1.12-dev, libgtk1.1.13-dev, libgtk1.1.14-dev, libgtk1.1.15-dev, libgtk1.1.16-dev, libgtk1.1.5-dev, libgtk1.1.6-dev, libgtk1.1.7-dev, libgtk1.1.8-dev, libgtk1.1.9-dev, libgtk1.2 (<< 1.2.10-4) Provides: libgtk-dev, libgtk1.1-dev Replaces: libgtk-dev, libgtk1.1-dev, libgtk1.1.11-dev, libgtk1.1.12-dev, libgtk1.1.13-dev, libgtk1.1.14-dev, libgtk1.1.16-dev, libgtk1.1.5-dev, libgtk1.1.6-dev, libgtk1.1.9-dev, libgtk1.2 (<< 1.2.10-4) Architecture: amd64 Filename: ./libgtk1.2-dev_1.2.10-18.1_amd64.deb Size: 1320362 Installed-Size: 4896 MD5sum: 4b2490e93cec1717fc048d96c1e91090 Description: Development files for the GIMP Toolkit This package contains the header files and static libraries for the GIMP Toolkit set of widgets for X. . Install this package if you wish to develop your own X programs using the GIMP Toolkit 1.2, or if you wish to compile your own plug-ins for The GIMP. Package: libgtkmm-2.4-1c2a Source: gtkmm2.4 Version: 1:2.24.2-1 Priority: optional Section: libs Maintainer: Deng Xiyue Depends: libatk1.0-0 (>= 1.12.4), libatkmm-1.6-1 (>= 2.22.1), libc6 (>= 2.2.5), libcairo2 (>= 1.2.4), libcairomm-1.0-1 (>= 1.6.4), libfontconfig1 (>= 2.8.0), libfreetype6 (>= 2.2.1), libgcc1 (>= 1:4.1.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.24.0), libglibmm-2.4-1c2a (>= 2.28.0), libgtk2.0-0 (>= 2.24.0), libpango1.0-0 (>= 1.14.0), libpangomm-1.4-1 (>= 2.27.1), libsigc++-2.0-0c2a (>= 2.0.2), libstdc++6 (>= 4.6) Conflicts: libgtkmm-2.4-1, libgtkmm-2.4-1c2 Replaces: libgtkmm-2.4-1, libgtkmm-2.4-1c2 Architecture: amd64 Filename: ./libgtkmm-2.4-1c2a_1%3a2.24.2-1_amd64.deb Size: 1195738 Installed-Size: 5104 MD5sum: 35081a16c7691e2e9627680281135d28 Description: C++ wrappers for GTK+ (shared libraries) Gtkmm is a C++ interface for the popular GUI library GTK+, with API version 2.4. Gtkmm provides a convenient interface for C++ programmers to create graphical user interfaces with GTK+'s flexible OO framework. Highlights include type safe callbacks, widgets extensible using inheritance and over 180 classes that can be freely combined to quickly create complex user interfaces. . This package contains shared libraries. Package: libiberty-dev Source: libiberty Version: 20131116-1 Priority: optional Section: libdevel Maintainer: Debian GCC Maintainers Architecture: amd64 Filename: ./libiberty-dev_20131116-1_amd64.deb Size: 174948 Installed-Size: 608 MD5sum: 3d5d22a110941df5337f6638a5708090 Description: library of utility functions used by GNU programs The libib library is a collection of subroutines used by various GNU programs, which are missing or broken on some systems. . This library shouldn't be used by other software, but unfortunately already is. There is no guaranty for a stable library API, and no shared library is provided. Package: libjas-java Source: jas Version: 2.5.4408-1 Priority: extra Section: java Maintainer: Debian Java Maintainers Depends: junit4, liblog4j1.2-java Architecture: all Filename: ./libjas-java_2.5.4408-1_all.deb Size: 2297298 Installed-Size: 2582 MD5sum: d7bb1d2ef54bf8552cac810a04fefc4b 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: liblablgl-ocaml Source: lablgl Version: 1.04-5 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: ocaml-base-4.01.0, ocaml-base-nox-4.01.0, freeglut3, libc6 (>= 2.2.5), libgl1-mesa-glx | libgl1, libglu1-mesa | libglu1, libx11-6, libxext6, libxmu6, tcl8.5 (>= 8.5.0), tk8.5 (>= 8.5.0) Provides: liblablgl-ocaml-3yw72 Architecture: amd64 Filename: ./liblablgl-ocaml_1.04-5_amd64.deb Size: 66732 Installed-Size: 192 MD5sum: c20cea4f538e63c56a94c9510d048cef Description: Runtime libraries for lablgl LablGL is an OpenGL interface for Objective Caml. Since it includes support for the Togl widget, you can comfortably use it with LablTk. A GtkGlarea binding for use with lablgtk is also provided. . This package include only the dynamic libraries needed for running dynamic bytecode executables. Package: liblablgl-ocaml-dev Source: lablgl Version: 1.04-5 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: libgl1-mesa-dev | libgl-dev, libglu1-mesa-dev | xlibmesa-glu-dev | libglu-dev, tk8.5-dev, libxmu-dev, freeglut3-dev, liblablgl-ocaml-3yw72, ocaml-4.01.0, ocaml-nox-4.01.0 Provides: liblablgl-ocaml-dev-3yw72 Architecture: amd64 Filename: ./liblablgl-ocaml-dev_1.04-5_amd64.deb Size: 275438 Installed-Size: 1329 MD5sum: b3b0e074f829a9c52c897bd9e31106a0 Description: an OpenGL interface for Objective Caml LablGL gives access to OpenGL interface from Objective Caml. Since it includes support for the Togl widget, you can comfortably use it with LablTk. A GtkGlarea binding for use with lablgtk is also provided. Package: liblablgtk2-gl-ocaml Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: liblablgl-ocaml-3yw72, liblablgtk2-ocaml-fwbz8, ocaml-base-nox-4.01.0, libatk1.0-0 (>= 1.12.4), libc6 (>= 2.2.5), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.9.0), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libgl1-mesa-glx | libgl1, libglib2.0-0 (>= 2.12.0), libglu1-mesa | libglu1, libgtk2.0-0 (>= 2.8.0), libgtkgl2.0-1, libpango1.0-0 (>= 1.14.0) Provides: liblablgtk2-gl-ocaml-elen6 Architecture: amd64 Filename: ./liblablgtk2-gl-ocaml_2.16.0+dfsg-1_amd64.deb Size: 45886 Installed-Size: 117 MD5sum: a362f97bb91244c3e8eaa42ccbf98e2a Description: runtime libraries for OCaml bindings to GtkGL lablgtk2 contains bindings for GTK+ 2.x and Objective Caml. . This package include only the dynamic libraries needed for running dynamic bytecode executables using GtkGL functionalities. Package: liblablgtk2-gl-ocaml-dev Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: libgtkgl2.0-dev, liblablgl-ocaml-dev-3yw72, liblablgtk2-gl-ocaml-elen6, liblablgtk2-ocaml-dev-fwbz8, ocaml-nox-4.01.0 Recommends: liblablgtk2-ocaml-doc Suggests: liblablgtk2-gnome-ocaml-dev Provides: liblablgtk2-gl-ocaml-dev-elen6 Architecture: amd64 Filename: ./liblablgtk2-gl-ocaml-dev_2.16.0+dfsg-1_amd64.deb Size: 44492 Installed-Size: 129 MD5sum: 2f630012ddc90290cda3fcb5df45cc1f Description: OCaml bindings to GtkGL lablgtk2 contains bindings for GTK+ 2.x and OCaml. . This package contains the development files of lablgtk for libraries using GtkGL. Package: liblablgtk2-gnome-ocaml Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: liblablgtk2-ocaml-fwbz8, ocaml-base-nox-4.01.0, gconf-service, libart-2.0-2 (>= 2.3.17), libatk1.0-0 (>= 1.12.4), libbonobo2-0 (>= 2.15.0), libbonoboui2-0 (>= 2.15.1), libc6 (>= 2.2.5), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.9.0), libfreetype6 (>= 2.2.1), libgconf-2-4 (>= 2.31.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.12.0), libgnome2-0 (>= 2.17.3), libgnomecanvas2-0 (>= 2.11.1), libgnomeui-0 (>= 2.22.0), libgnomevfs2-0 (>= 1:2.17.90), libgtk2.0-0 (>= 2.8.0), libice6 (>= 1:1.0.0), liborbit2 (>= 1:2.14.10), libpango1.0-0 (>= 1.14.0), libpopt0 (>= 1.14), librsvg2-2 (>= 2.14.4), libsm6 Provides: liblablgtk2-gnome-ocaml-qf5i2 Architecture: amd64 Filename: ./liblablgtk2-gnome-ocaml_2.16.0+dfsg-1_amd64.deb Size: 124538 Installed-Size: 386 MD5sum: 7d6323bd28d71a593139fef64bac9ebc Description: runtime libraries for OCaml bindings to GNOME lablgtk2 contains bindings for GTK+ 2.x and Objective Caml. . This package include only the dynamic libraries needed for running dynamic bytecode executables using GNOME functionalities (gnomeui, gnome-canvas, rsvg). Package: liblablgtk2-gnome-ocaml-dev Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: librsvg2-dev, libgnomecanvas2-dev, libgnomeui-dev, liblablgtk2-gnome-ocaml-qf5i2, liblablgtk2-ocaml-dev-fwbz8, ocaml-nox-4.01.0 Recommends: liblablgtk2-ocaml-doc Provides: liblablgtk2-gnome-ocaml-dev-qf5i2 Architecture: amd64 Filename: ./liblablgtk2-gnome-ocaml-dev_2.16.0+dfsg-1_amd64.deb Size: 156194 Installed-Size: 540 MD5sum: 6862e252f905fb4987c8d181bedc39e0 Description: OCaml bindings to GNOME lablgtk2 contains bindings for GTK+ 2.x and Objective Caml. . This package contains the development files of lablgtk for libraries using GNOME functionalities (gnomeui, gnome-canvas, rsvg). Package: liblablgtk2-ocaml Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: ocaml-base-nox-4.01.0, libatk1.0-0 (>= 1.12.4), libc6 (>= 2.2.5), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.9.0), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglade2-0 (>= 1:2.6.1), libglib2.0-0 (>= 2.24.0), libgtk2.0-0 (>= 2.24.0), libgtkspell0 (>= 2.0.10), libpango1.0-0 (>= 1.14.0), libxml2 (>= 2.6.27) Provides: liblablgtk2-ocaml-fwbz8 Architecture: amd64 Filename: ./liblablgtk2-ocaml_2.16.0+dfsg-1_amd64.deb Size: 1233506 Installed-Size: 4747 MD5sum: 98979094313b84e65648edfb2ccc1d13 Description: runtime libraries for OCaml bindings for GTK+ version 2 lablgtk2 contains bindings for GTK+ 2.x and OCaml. . This package include only the dynamic libraries needed for running dynamic bytecode executables. Package: liblablgtk2-ocaml-dev Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: libgtk2.0-dev, libglade2-dev, libgtkspell-dev, liblablgtk2-ocaml-fwbz8, ocaml-nox-4.01.0 Recommends: liblablgtk2-ocaml-doc Suggests: liblablgtk2-gl-ocaml-dev, liblablgtk2-gnome-ocaml-dev Provides: liblablgtk2-ocaml-dev-fwbz8 Architecture: amd64 Filename: ./liblablgtk2-ocaml-dev_2.16.0+dfsg-1_amd64.deb Size: 2309626 Installed-Size: 8581 MD5sum: 5c7f53bb61f034a9d02a8eb3c2602f43 Description: OCaml bindings to Gtk+ version 2 lablgtk2 contains bindings for GTK+ 2.x and OCaml. . This package contains the development files of lablgtk. Package: liblablgtksourceview2-ocaml Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: liblablgtk2-ocaml-fwbz8, ocaml-base-nox-4.01.0, libatk1.0-0 (>= 1.12.4), libc6 (>= 2.2.5), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.9.0), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.12.0), libgtk2.0-0 (>= 2.8.0), libgtksourceview2.0-0 (>= 2.10.0), libpango1.0-0 (>= 1.14.0) Provides: liblablgtksourceview2-ocaml-ybfn4 Replaces: liblablgtksourceview-ocaml Architecture: amd64 Filename: ./liblablgtksourceview2-ocaml_2.16.0+dfsg-1_amd64.deb Size: 161040 Installed-Size: 541 MD5sum: f54a555db93ff9d9f8c05a9a5884377d Description: OCaml bindings for libgtksourceview2 (runtime) This is the OCaml binding for the GtkSourceView2 widget, a text widget that extends the standard GTK+ 2.x text widget with syntax highlighting and other features typical of a source editor. . This package contains the shared runtime stub libraries. Package: liblablgtksourceview2-ocaml-dev Source: lablgtk2 Version: 2.16.0+dfsg-1 Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: libgtksourceview2.0-dev, liblablgtk2-ocaml-dev-fwbz8, liblablgtksourceview2-ocaml-ybfn4, ocaml-nox-4.01.0 Recommends: liblablgtk2-ocaml-doc Provides: liblablgtksourceview2-ocaml-dev-ybfn4 Replaces: liblablgtksourceview-ocaml-dev Architecture: amd64 Filename: ./liblablgtksourceview2-ocaml-dev_2.16.0+dfsg-1_amd64.deb Size: 202568 Installed-Size: 755 MD5sum: 1abea1e00d5d7c110de376471e4d36a5 Description: OCaml bindings for libgtksourceview2, a source editor GTK+ widget This is the OCaml binding for the GtkSourceView2 widget, a text widget that extends the standard GTK+ 2.x text widget with syntax highlighting and other features typical of a source editor. . This package contains the development part of the lablgtksourceview2 package. Package: libm4ri-0.0.20130416 Source: libm4ri Version: 20130416-6 Priority: optional Section: libs Maintainer: Debian Science Maintainers Pre-Depends: multiarch-support Depends: libc6 (>= 2.7), libpng12-0 (>= 1.2.13-4) Architecture: amd64 Filename: ./libm4ri-0.0.20130416_20130416-6_amd64.deb Size: 104690 Installed-Size: 256 MD5sum: 34d9493116afd6aea39a0c0702ce2e5b Description: Method of the Four Russians Inversion library, shared library M4RI is a library for fast arithmetic with dense matrices over F2. The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method. . This package contains the m4ri shared library. Package: libm4ri-0.0.20130416-dbg Source: libm4ri Version: 20130416-6 Priority: extra Section: debug Maintainer: Debian Science Maintainers Depends: libm4ri-0.0.20130416 (= 20130416-6) Architecture: amd64 Filename: ./libm4ri-0.0.20130416-dbg_20130416-6_amd64.deb Size: 252864 Installed-Size: 309 MD5sum: 39b46a109254d302ea941c1dbfadb186 Description: debugging symbols for libm4ri-0.0.20120613 M4RI is a library for fast arithmetic with dense matrices over F2. The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method. . This package contains the debugging symbols for libm4ri-0.0.20130416. Package: libm4ri-dev Source: libm4ri Version: 20130416-6 Priority: optional Section: libdevel Maintainer: Debian Science Maintainers Depends: libm4ri-0.0.20130416 (= 20130416-6) Architecture: amd64 Filename: ./libm4ri-dev_20130416-6_amd64.deb Size: 139856 Installed-Size: 464 MD5sum: d17f9bae1e39c4c99a9d1c64c941e51f Description: Method of the Four Russians Inversion library, development files M4RI is a library for fast arithmetic with dense matrices over F2. The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method. . This package contains development files for libm4ri. Package: libm4rie-0.0.20130416 Source: libm4rie Version: 20130416-2 Priority: optional Section: libs Maintainer: Debian Science Maintainers Pre-Depends: multiarch-support Depends: libc6 (>= 2.4), libm4ri-0.0.20130416 Architecture: amd64 Filename: ./libm4rie-0.0.20130416_20130416-2_amd64.deb Size: 150510 Installed-Size: 514 MD5sum: 932ef0cb63cc67cb58a88588b29f7641 Description: extended Method of the Four Russians Inversion library, shared library M4RIE is a library for fast arithmetic with dense matrices over small finite fields of even characteristic. It uses the M4RI library, implementing the same operations over the finite field F2. . The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method. . This package contains the M4RIE shared library. Package: libm4rie-0.0.20130416-dbg Source: libm4rie Version: 20130416-2 Priority: extra Section: debug Maintainer: Debian Science Maintainers Depends: libm4rie-0.0.20130416 (= 20130416-2) Architecture: amd64 Filename: ./libm4rie-0.0.20130416-dbg_20130416-2_amd64.deb Size: 477216 Installed-Size: 536 MD5sum: 4833106b77ec6ce1b88c1b6bcf0dbde1 Description: debugging symbols for libm4rie-0.0.20130416 M4RIE is a library for fast arithmetic with dense matrices over small finite fields of even characteristic. It uses the M4RI library, implementing the same operations over the finite field F2. . The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method. . This package contains the debugging symbols for libm4rie-0.0.20130416. Package: libm4rie-dev Source: libm4rie Version: 20130416-2 Priority: optional Section: libdevel Maintainer: Debian Science Maintainers Depends: libm4rie-0.0.20130416 (= 20130416-2) Architecture: amd64 Filename: ./libm4rie-dev_20130416-2_amd64.deb Size: 191808 Installed-Size: 800 MD5sum: b5927e969bbd398ced6968eb8412f296 Description: extended Method of the Four Russians Inversion library, development files M4RIE is a library for fast arithmetic with dense matrices over small finite fields of even characteristic. It uses the M4RI library, implementing the same operations over the finite field F2. . The name M4RI comes from the first implemented algorithm: The "Method of the Four Russians" inversion algorithm. This algorithm in turn is named after the "Method of the Four Russians" multiplication algorithm which is probably better referred to as Kronrod's method. . This package contains development files for the M4RIE library. Package: libntl-5.4.2 Source: ntl Version: 5.4.2-4 Priority: optional Section: libs Maintainer: Tim Abbott Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.2.1) Architecture: amd64 Filename: ./libntl-5.4.2_5.4.2-4_amd64.deb Size: 759034 Installed-Size: 1903 MD5sum: 3ad09f396343ebd99e1a1db6c78a5adb Description: Number Theory Library, shared library NTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields. . This package contains the NTL shared library. Package: libntl-dev Source: ntl Version: 5.4.2-4 Priority: extra Section: libdevel Maintainer: Tim Abbott Depends: libntl-5.4.2 Architecture: amd64 Filename: ./libntl-dev_5.4.2-4_amd64.deb Size: 1270774 Installed-Size: 4450 MD5sum: 4c58e5ecb7b82b06797789cfece85ad9 Description: Number Theory Library, development files NTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields. . This package contains development files for NTL. Package: libpari-dbg Source: pari Version: 2.7.2-1 Priority: extra Section: debug Maintainer: Bill Allombert Pre-Depends: multiarch-support Depends: libpari-gmp-tls4 (= 2.7.2-1) Provides: libpari-gmp-tls4-dbg Architecture: amd64 Filename: ./libpari-dbg_2.7.2-1_amd64.deb Size: 14213784 Installed-Size: 53708 MD5sum: 115851bbdf1b63bdf7d878451a4005a5 Description: PARI/GP Computer Algebra System debugging symbols 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 debugging symbols for gp and libpari. Package: libpari-dev Source: pari Version: 2.7.2-1 Priority: optional Section: libdevel Maintainer: Bill Allombert Depends: libpari-gmp-tls4 (= 2.7.2-1), libc-dev Suggests: libpari-dbg, pari-gp2c Conflicts: libpari1-dev Provides: libpari-gmp-tls4-dev Replaces: libpari1-dev Architecture: amd64 Filename: ./libpari-dev_2.7.2-1_amd64.deb Size: 3429596 Installed-Size: 10745 MD5sum: 48f6f10c873ccc8930d3a3623164c7da Description: PARI/GP Computer Algebra System development files 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 include files and static library. Package: libpari-gmp-tls4 Source: pari Version: 2.7.2-1 Priority: optional Section: libs Maintainer: Bill Allombert Pre-Depends: multiarch-support Depends: libc6 (>= 2.3.2), libgmp10 Architecture: amd64 Filename: ./libpari-gmp-tls4_2.7.2-1_amd64.deb Size: 2810954 Installed-Size: 6376 MD5sum: 873ca5fb0929ac24398051fb4f4e5dfd Description: PARI/GP Computer Algebra System shared library 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 shared library built with GNU MP support. Package: libpari2-gmp Source: pari Version: 2.3.5-1 Priority: optional Section: libs Maintainer: Bill Allombert Depends: libc6 (>= 2.3), libgmp10 Architecture: amd64 Filename: ./libpari2-gmp_2.3.5-1_amd64.deb Size: 1519166 Installed-Size: 3356 MD5sum: 38d97858a290fa489ddd8be037f9ab0d Description: PARI/GP Computer Algebra System shared library 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 shared library built with GNU MP support. Package: libpolybori-0.8-3 Source: polybori Version: 0.8.3-3 Priority: extra Section: libs Maintainer: Debian Science Maintainers Pre-Depends: multiarch-support Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) Suggests: polybori-doc (= 0.8.3-3) Architecture: amd64 Filename: ./libpolybori-0.8-3_0.8.3-3_amd64.deb Size: 201848 Installed-Size: 617 MD5sum: 1437ed4d3945e66021bbd8e122b1dda4 Description: polynomials over Boolean Rings, shared library 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 shared library libpolybori. Package: libpolybori-0.8-3-dbg Source: polybori Version: 0.8.3-3 Priority: extra Section: debug Maintainer: Debian Science Maintainers Depends: libpolybori-0.8-3 (= 0.8.3-3) Architecture: amd64 Filename: ./libpolybori-0.8-3-dbg_0.8.3-3_amd64.deb Size: 1781528 Installed-Size: 1931 MD5sum: b1fe809dbbaef29352b93eb3ea3e4174 Description: debug symbols for libpolybori-0.8-3 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 debugging symbols of PolyBoRi's shared libraries. Package: libpolybori-dev Source: polybori Version: 0.8.3-3 Priority: extra Section: libdevel Maintainer: Debian Science Maintainers Depends: libpolybori-0.8-3 (= 0.8.3-3) Architecture: amd64 Filename: ./libpolybori-dev_0.8.3-3_amd64.deb Size: 123044 Installed-Size: 644 MD5sum: d81c9ce846b27cf7ecdfc16a50c5f382 Description: polynomials over Boolean Rings, core development files 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 core development files. Package: libpolybori-groebner-0.8-3 Source: polybori Version: 0.8.3-3 Priority: extra Section: libs Maintainer: Debian Science Maintainers Pre-Depends: multiarch-support Depends: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libm4ri-0.0.20130416, libpolybori-0.8-3 (= 0.8.3-3), libstdc++6 (>= 4.3) Suggests: polybori-doc (= 0.8.3-3) Replaces: libpolybori (<< 0.8) Architecture: amd64 Filename: ./libpolybori-groebner-0.8-3_0.8.3-3_amd64.deb Size: 1027618 Installed-Size: 3445 MD5sum: 32f50fd36802bb7173d92e00f0ad12a6 Description: computer algebra routines of PolyBoRi 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 shared library libpolybori_groebner. Package: libpolybori-groebner-0.8-3-dbg Source: polybori Version: 0.8.3-3 Priority: extra Section: debug Maintainer: Debian Science Maintainers Depends: libpolybori-groebner-0.8-3 (= 0.8.3-3) Architecture: amd64 Filename: ./libpolybori-groebner-0.8-3-dbg_0.8.3-3_amd64.deb Size: 4126190 Installed-Size: 4257 MD5sum: 18d03e27d71b7ba5d812af31fbdfb008 Description: debug symbols for libpolybori-groebner-0.8-3 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 debugging symbols of PolyBoRi's shared library libpolybori-groebner. Package: libpolybori-groebner-dev Source: polybori Version: 0.8.3-3 Priority: extra Section: libdevel Maintainer: Debian Science Maintainers Depends: libpolybori-groebner-0.8-3 (= 0.8.3-3) Replaces: libpolybori-dev (<< 0.8) Architecture: amd64 Filename: ./libpolybori-groebner-dev_0.8.3-3_amd64.deb Size: 61532 Installed-Size: 275 MD5sum: f05b8d05a0c506efbbdc227799274769 Description: development files for libpolybori-groebner 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 development files for libpolybori-groebner. Package: libqt3-compat-headers Source: qt-x11-free Version: 3:3.3.8b-11 Priority: optional Section: devel Maintainer: Debian QA Group Depends: libqt3-headers (= 3:3.3.8b-11) Recommends: libqt3-mt-dev Replaces: libqt3-dev (<= 3:3.1.1-2), libqt3-headers (<= 3:3.1.1-2), libqt3-mt-dev (<= 3:3.1.1-2) Architecture: amd64 Filename: ./libqt3-compat-headers_3%3a3.3.8b-11_amd64.deb Size: 80444 Installed-Size: 164 MD5sum: f2f13ffbb3e83bdf15252520b596290b Description: Qt 1.x and 2.x compatibility includes This package contains header files that are intended for build compatibility for applications that build with Qt3 but still use deprecated includes. It is meant as an intermediate solution and these header files are not part of the official Qt3 API. All sourcecode that is still using the headers of this package is subject to be changed to use the new header files which are in libqt3-headers. Package: libqt3-headers Source: qt-x11-free Version: 3:3.3.8b-11 Priority: optional Section: devel Maintainer: Debian QA Group Recommends: libqt3-mt-dev Replaces: libqt3-dev, libqt3-mt-dev, libqt3-plugins-headers Architecture: amd64 Filename: ./libqt3-headers_3%3a3.3.8b-11_amd64.deb Size: 367738 Installed-Size: 1929 MD5sum: 843536c88af9bd80d677426fcd237869 Description: Qt3 header files This package contains all header files for libqt and libqt-mt which come with Qt3. If you want to compile or develop programs which use Qt3, you have to install this package. Package: libqt3-mt Source: qt-x11-free Version: 3:3.3.8b-11 Priority: optional Section: libs Maintainer: Debian QA Group Depends: libaudio2, libc6 (>= 2.3.3), libfontconfig1 (>= 2.9.0), libfreetype6 (>= 2.2.1), libgcc1 (>= 1:4.1.1), libice6 (>= 1:1.0.0), libjpeg8 (>= 8c), libmng1 (>= 1.0.10), libpng12-0 (>= 1.2.13-4), libsm6, libstdc++6 (>= 4.1.1), libx11-6, libxcursor1 (>> 1.1.2), libxext6, libxft2 (>> 2.1.1), libxi6, libxinerama1, libxrandr2, libxrender1, libxt6, zlib1g (>= 1:1.1.4), fontconfig Recommends: libgl1-mesa-glx | libgl1, libglu1-mesa | libglu1, libxmu6 (>= 4.3.0.dfsg.1-4) Suggests: libqt3-mt-psql, libqt3-mt-mysql, libqt3-mt-odbc Conflicts: libqt3c-mt, libqt3c102-mt, libqui1-emb Replaces: libqt3, libqt3-helper, libqt3c102-mt, qt3-tools (<< 2:3.0.2-20020306-1) Architecture: amd64 Filename: ./libqt3-mt_3%3a3.3.8b-11_amd64.deb Size: 3380612 Installed-Size: 8966 MD5sum: 8efd71e52ca3cae2baf732c6ebff7b91 Description: Qt GUI Library (Threaded runtime version), Version 3 This is the Trolltech Qt library, version 3. It's necessary for applications that link against the libqt-mt.so.3, e.g. all KDE3 applications. Package: libqt3-mt-dev Source: qt-x11-free Version: 3:3.3.8b-11 Priority: optional Section: libdevel Maintainer: Debian QA Group Depends: libxext-dev (>= 4.3.0.dfsg.1-4), libxrandr-dev (>= 4.3.0.dfsg.1-4), libsm-dev (>= 4.3.0.dfsg.1-4), libxmu-dev (>= 4.3.0.dfsg.1-4), libice-dev (>= 4.3.0.dfsg.1-4), libx11-dev (>= 4.3.0.dfsg.1-4), libxt-dev (>= 4.3.0.dfsg.1-4), libxrender-dev, libxcursor-dev, libxinerama-dev, libxi-dev, zlib1g-dev, libjpeg-dev, libmng-dev (>= 1.0.3), libpng12-dev | libpng12-0-dev, libfontconfig1-dev, libfreetype6-dev, libxft-dev, libaudio-dev, libcups2-dev, libgl1-mesa-dev | libgl-dev, libglu1-mesa-dev | libglu-dev, libc6-dev, libqt3-mt (= 3:3.3.8b-11), libqt3-headers (= 3:3.3.8b-11), qt3-dev-tools (= 3:3.3.8b-11) Recommends: libqt3-compat-headers Suggests: libqt3-i18n, qt3-doc Conflicts: libqt-mt-dev, libqt3-dev, libqt3-emb (<= 3:3.0.3-1) Replaces: libqt-mt-dev, libqt3-dev, libqt3-emb (<= 3:3.0.3-1), libqt3-headers (<= 3:3.1.1-3), libqt3-helper Architecture: amd64 Filename: ./libqt3-mt-dev_3%3a3.3.8b-11_amd64.deb Size: 48480 Installed-Size: 121 MD5sum: d9389f848c824d0f2d89a72c7f458ab2 Description: Qt development files (Threaded) Qt is a C++ class library optimized for graphical user interface development. This package contains the libqt-mt.so symlink, necessary for building threaded Qt applications as well as the libqui.so symlink and the necessary header files for libqui.so. (See README.Debian and the Qt Documentation for instructions on libqui.so) . WARNING: If you plan to build some older Qt3 applications, you will most probably have to install the libqt3-compat-headers package. It contains all the headers which are not part of the official Qt3 API anymore but which are still used by some programs. So if you encounter problems with missing header files, please install this package first before you send a bugreport. Package: libsane Source: sane-backends Version: 1.0.24-1.1 Priority: optional Section: libs Maintainer: Mark Buda Pre-Depends: multiarch-support Depends: acl, adduser, libsane-common (= 1.0.24-1.1), udev | makedev, libavahi-client3 (>= 0.6.16), libavahi-common3 (>= 0.6.16), libc6 (>= 2.11), libcups2 (>= 1.4.0), libexif12, libgphoto2-2 (>= 2.4.10.1), libgphoto2-port0 (>= 2.4.10.1), libieee1284-3, libjpeg8 (>= 8c), libtiff4 (>> 3.9.5-3~), libusb-1.0-0 (>= 2:1.0.8), libv4l-0 (>= 0.5.0) Recommends: libsane-extras, sane-utils (>= 1.0.24-1.1) Suggests: avahi-daemon, hplip, hpoj Replaces: libsane-extras (<< 1.0.18.14) Architecture: amd64 Filename: ./libsane_1.0.24-1.1_amd64.deb Size: 2030482 Installed-Size: 9200 MD5sum: c05870f500d37812b414365054a4c418 Description: API library for scanners 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 the backends for many scanners. A libsane-extras package containing some not-yet-included backends is available separately. . Graphical frontends for sane are available in the packages sane and xsane. Command line frontend scanimage, saned and sane-find-scanner are available in the sane-utils package. Package: libsane-dbg Source: sane-backends Version: 1.0.24-1.1 Priority: extra Section: debug Maintainer: Mark Buda Depends: libsane (= 1.0.24-1.1) Recommends: libsane-extras-dbg Replaces: libsane-extras-dbg (<< 1.0.18.14) Architecture: amd64 Filename: ./libsane-dbg_1.0.24-1.1_amd64.deb Size: 6954214 Installed-Size: 8510 MD5sum: 23daade56a54d89d8188f1fbc72f6c23 Description: API development library for scanners [debug symbols] 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 contains the debugging symbols for the SANE backends. Package: libsane-dev Source: sane-backends Version: 1.0.24-1.1 Priority: optional Section: libdevel Maintainer: Mark Buda Depends: libavahi-client-dev, libgphoto2-2-dev, libieee1284-3-dev, libjpeg-dev, libsane (= 1.0.24-1.1), libtiff-dev, libusb-1.0-0-dev, libv4l-dev, pkg-config Recommends: libsane-extras-dev Replaces: libsane-extras-dev (<< 1.0.18.14) Architecture: amd64 Filename: ./libsane-dev_1.0.24-1.1_amd64.deb Size: 2175920 Installed-Size: 15297 MD5sum: a28b9a10706f682965ed3fa33dbb26be Description: API development library for scanners [development 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 contains the files needed to build your applications using SANE. Package: libsane-extras Source: sane-backends-extras Version: 1.0.22.3 Priority: optional Section: libs Maintainer: Debian QA Group Depends: libc6 (>= 2.4), libusb-1.0-0 (>= 2:1.0.8), libsane-extras-common (= 1.0.22.3) Architecture: amd64 Filename: ./libsane-extras_1.0.22.3_amd64.deb Size: 68246 Installed-Size: 191 MD5sum: 66989e03e3679436f5f6c0fbbb3a40ce Description: API library for scanners -- extra backends 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 some backends that are not yet included into the official SANE distribution. Currently, they are : * geniusvp2 (Genius ColorPage-Vivid Pro II) * ls5000 (Nikon LS-5000 ED, Coolscan 5000 ED) Package: libsane-extras-common Source: sane-backends-extras Version: 1.0.22.3 Priority: optional Section: libs Maintainer: Debian QA Group Replaces: libsane-extras (<< 1.0.22.2~) Architecture: amd64 Filename: ./libsane-extras-common_1.0.22.3_amd64.deb Size: 12770 Installed-Size: 57 MD5sum: 54a551dad5861dbbb8bd47657f09b979 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-extras, such as the man pages and other support files. Package: libsane-extras-dbg Source: sane-backends-extras Version: 1.0.22.3 Priority: extra Section: debug Maintainer: Debian QA Group Depends: libsane-extras (= 1.0.22.3) Architecture: amd64 Filename: ./libsane-extras-dbg_1.0.22.3_amd64.deb Size: 116728 Installed-Size: 178 MD5sum: 56fd34877ef0c45105c850d5baeae5f1 Description: API library for scanners -- extra backends [debug symbols] 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 contains the debugging symbols for the extras SANE backends. Package: libsane-extras-dev Source: sane-backends-extras Version: 1.0.22.3 Priority: optional Section: libdevel Maintainer: Debian QA Group Depends: libsane-extras (= 1.0.22.3) Architecture: amd64 Filename: ./libsane-extras-dev_1.0.22.3_amd64.deb Size: 73798 Installed-Size: 274 MD5sum: ef73b5b95340e7f81f66df34b41b3759 Description: API development library for scanners [development 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 contains the development files relative to the extra backends provided by libsane-extras. Package: libssreflect-ocaml Source: ssreflect Version: 1.5-1a Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: libcoq-ocaml-g3g57, ocaml-base-nox-4.01.0, libc6 (>= 2.2.5) Provides: libssreflect-ocaml-6d7i7 Enhances: coq Architecture: amd64 Filename: ./Attic/libssreflect-ocaml_1.5-1a_amd64.deb Size: 708668 Installed-Size: 2822 MD5sum: 15bc5e7cc3bd85c3650f024b522d30ca Description: small scale reflection extension for Coq (plugin) This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system. Package: libssreflect-ocaml-dev Source: ssreflect Version: 1.5-1a Priority: optional Section: ocaml Maintainer: Debian OCaml Maintainers Depends: camlp5-ejbq9, libcoq-ocaml-dev-g3g57, libssreflect-ocaml-6d7i7, ocaml-nox-4.01.0 Provides: libssreflect-ocaml-dev-6d7i7 Replaces: libssreflect-ocaml (<< 1.2+dfsg-3~) Architecture: amd64 Filename: ./Attic/libssreflect-ocaml-dev_1.5-1a_amd64.deb Size: 90798 Installed-Size: 274 MD5sum: 9f8a58bdc402b111bdead072bb6d1c25 Description: small scale reflection extension for Coq (devt files) This package is part of Ssreflect, the small scale reflection extension for Coq. It provides the static native-code library, needed to build custom toplevels, and the compiled interface. Package: macaulay2 Version: 1.6 Priority: extra Section: math Maintainer: Daniel R. Grayson Depends: macaulay2-common (= 1.6), libblas3, libc6, libgcc1, libgdbm3, liblapack3, libncurses5, libntl0, libpari-gmp3, libquadmath0, libreadline5, libtinfo5, libxml2, zlib1g Architecture: amd64 Filename: ./Macaulay2-1.6-amd64-Linux-Debian-7.0.deb Size: 21542774 Installed-Size: 67911 MD5sum: 92d0da566ac472edcedb463c52b0346b Description: a software system for algebraic geometry research Macaulay 2 is a software system for algebraic geometry research, written by Daniel R. Grayson and Michael E. Stillman. Based on Groebner bases, it provides algorithms for computing homological invariants of rings and modules. . Home page: http://www.math.uiuc.edu/Macaulay2/. . This package contains the architecture dependent portion of Macaulay2. Package: msjproc Version: 0.9.7-1 Priority: extra Section: tex Maintainer: NUMATA Yacehide Architecture: amd64 Filename: ./msjproc_0.9.7-1_amd64.deb Size: 188588 Installed-Size: 270 MD5sum: cccf10e7ef71433d9c6709fe1dd0bb8d Description: LaTeX class file msjproc LaTeX cls file msjproc is a class file for the proceeding of annual congress of mathematical society of japan Package: normaliz Version: 2.11-2 Priority: extra Section: alien Maintainer: Tatsuyoshi HAMADA Architecture: amd64 Filename: ./Attic/normaliz_2.11-2_amd64.deb Size: 4624396 Installed-Size: 7240 MD5sum: ba5ac25d9e53ea23d9801401fd8bdab3 Description: Converted tgz package Converted tgz package . (Converted from a tgz package by alien version 8.87.) Package: openxm Version: 1.3.1-14 Priority: optional Section: math Maintainer: Nobuki Takayama Pre-Depends: wget, bash, make Depends: gnuplot, w3m, gcc, freeglut3, nkf, curl Architecture: amd64 Filename: ./openxm_1.3.1-14_amd64.deb Size: 9474 Installed-Size: 70 MD5sum: 050d3164d1a3ba8b09f7bb4624895796 Description: OpenXM is a package of mathematical software systems integrated by OpenXM protocol. This is a network installer of the OpenXM package. Home: http://www.math.kobe-u.ac.jp/OpenXM (http://www.openxm.org). y/v/n is asked when it is installed. If you "touch /tmp/i-agree-with-asir-license", then the question is skipped. Package: pari-gp Source: pari Version: 2.7.2-1 Priority: optional Section: math Maintainer: Bill Allombert Depends: libc6 (>= 2.3.2), libgmp10, libreadline6 (>= 6.0), libx11-6 Recommends: pari-doc, pari-galdata, pari-elldata, pari-seadata Suggests: pari-gp2c, pari-galpol Architecture: amd64 Filename: ./pari-gp_2.7.2-1_amd64.deb Size: 2844472 Installed-Size: 6227 MD5sum: a3b3e06524fc875a16a7c00a78ca203b Description: PARI/GP Computer Algebra System binaries 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 GP calculator. Package: perseus Version: 4.0-2 Priority: extra Section: alien Maintainer: Tatsuyoshi Hamada Depends: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) Architecture: amd64 Filename: ./perseus_4.0-2_amd64.deb Size: 1107342 Installed-Size: 1715 MD5sum: 78619e00ec136eedd0e8f19b3b8b2a17 Description: Converted tgz package Converted tgz package . (Converted from a tgz package by alien version 8.87.) Package: phat Version: 1.4.0-2 Priority: extra Section: alien Maintainer: Tatsuyoshi Hamada Depends: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgomp1 (>= 4.2.1), libstdc++6 (>= 4.6) Architecture: amd64 Filename: ./phat_1.4.0-2_amd64.deb Size: 5496316 Installed-Size: 25283 MD5sum: 44cea10ff8bf71df093d64d033e5272b Description: Converted tgz package Converted tgz package . (Converted from a tgz package by alien version 8.87.) Package: polybori Version: 0.8.3-3 Priority: extra Section: python Maintainer: Debian Science Maintainers Depends: ipython, python-polybori (= 0.8.3-3) Provides: polybori Architecture: amd64 Filename: ./polybori_0.8.3-3_amd64.deb Size: 15982 Installed-Size: 69 MD5sum: cd6450513e2380d5099e7194eb0281a8 Description: polynomials over Boolean Rings, custom ipython shell 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's shell ipbori. Package: polybori-gui Source: polybori Version: 0.8.3-3 Priority: extra Section: python Maintainer: Debian Science Maintainers Depends: python-qt4, python-polybori (= 0.8.3-3) Architecture: amd64 Filename: ./polybori-gui_0.8.3-3_amd64.deb Size: 46864 Installed-Size: 144 MD5sum: 58fec77ad62f8ae161276d44bc285960 Description: polynomials over Boolean Rings, GUI 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's PolyGUI. Package: polymake Version: 2.12-rc3-2 Priority: extra Section: knxm Maintainer: Tatsuyoshi HAMADA Architecture: amd64 Filename: ./polymake_2.12-rc3-2_amd64.deb Size: 25627820 Installed-Size: 86696 MD5sum: e2858b6723c37e57eb0822c73ec1a795 Description: A tool to study the combinatorics and the geometry of convex polytopes and polyhedra. A tool to study the combinatorics and the geometry of convex polytopes and polyhedra. . (Converted from a tgz package by alien version 8.81.) Package: povray Version: 1:3.7.0.0-2 Priority: extra Section: graphics Maintainer: Andreas Beckmann Depends: libboost-thread1.49.0 (>= 1.49.0-1), libc6 (>= 2.11), libgcc1 (>= 1:4.1.1), libilmbase6 (>= 1.0.1), libjpeg8 (>= 8c), libopenexr6 (>= 1.6.1), libpng12-0 (>= 1.2.13-4), libsdl1.2debian (>= 1.2.11), libstdc++6 (>= 4.6), libtiff4 (>> 3.9.5-3~), zlib1g (>= 1:1.1.4) Recommends: povray-includes Suggests: povray-doc, povray-examples Conflicts: povray-3.5, povray-3.6 Replaces: povray-3.5, povray-3.6 Architecture: amd64 Filename: ./povray_3.7.0.0-2_amd64.deb Size: 1392356 Installed-Size: 3210 MD5sum: 0411785b534007fe2d53eafdfc02d5ca Description: Persistence of vision raytracer (3D renderer) 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. . povray-includes is highly recommended in addition to this package. Package: processing Version: 2.2.1-1 Priority: extra Section: knxm Maintainer: HAMADA Tatsuyoshi Depends: libasound2 (>= 1.0.16), libc6 (>= 2.4), libc6-i386 (>= 2.11), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), libx11-6, libxext6, libxi6, libxrender1, libxtst6 Architecture: amd64 Filename: ./processing_2.2.1-1_amd64.deb Size: 101257748 Installed-Size: 194911 MD5sum: 9b4acf20e45edc7fe8f12c5b6878b50b 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: python-polybori Source: polybori Version: 0.8.3-3 Priority: extra Section: python Maintainer: Debian Science Maintainers Depends: libboost-python1.49.0 (>= 1.49.0-1), libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libm4ri-0.0.20130416, libpolybori-0.8-3 (= 0.8.3-3), libpolybori-groebner-0.8-3 (= 0.8.3-3), libstdc++6 (>= 4.4.0), python (>= 2.6.6-7~), python (<< 2.8) Architecture: amd64 Filename: ./python-polybori_0.8.3-3_amd64.deb Size: 995312 Installed-Size: 4733 MD5sum: b58cfef2ee2e462fffb8b95b9ce3be4d Description: polynomials over Boolean Rings, Python module 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 Python module. Package: qepcad-b Version: 1.69-2 Priority: extra Section: alien Maintainer: Tatsuyoshi HAMADA Depends: freeglut3, libc6 (>= 2.3), libgcc1 (>= 1:4.1.1), libgl1-mesa-glx | libgl1, libglu1-mesa | libglu1, libreadline6 (>= 6.0), libstdc++6 (>= 4.4.0), libx11-6, libxext6 Architecture: amd64 Filename: ./qepcad-b_1.69-2_amd64.deb Size: 7559572 Installed-Size: 34627 MD5sum: aa3fe0949780b72da09dc2db7802c354 Description: Quantifier Elimination by Partial Cylindrical Algebraic Decomposition Quantifier Elimination by Partial Cylindrical Algebraic Decomposition . (Converted from a tgz package by alien version 8.87.) Package: qfract Version: 0.20110725-2 Priority: extra Section: knxm Maintainer: Tatsuyoshi HAMADA Depends: libboost-thread1.49.0 (>= 1.49.0-1), libc6 (>= 2.3.2), libgcc1 (>= 1:4.1.1), libqtcore4 (>= 4:4.7.0~beta1), libqtgui4 (>= 4:4.8.0), libstdc++6 (>= 4.6) Architecture: amd64 Filename: ./qfract_0.20110725-2_amd64.deb Size: 610692 Installed-Size: 2750 MD5sum: c001e36fc31e079cb595f5d1a8e217b5 Description: A Qt-based fractal viewer A Qt-based fractal viewer developed by INOU Hiroyuki. Package: qt3-dev-tools Source: qt-x11-free Version: 3:3.3.8b-11 Priority: optional Section: devel Maintainer: Debian QA Group Depends: libc6 (>= 2.3), libfontconfig1 (>= 2.9.0), libfreetype6 (>= 2.2.1), libgcc1 (>= 1:4.1.1), libice6 (>= 1:1.0.0), libjpeg8 (>= 8c), libpng12-0 (>= 1.2.13-4), libqt3-mt (>= 3:3.3.8b), libsm6, libstdc++6 (>= 4.1.1), libx11-6, libxcursor1 (>> 1.1.2), libxext6, libxft2 (>> 2.1.1), libxi6, libxinerama1, libxrandr2, libxrender1, zlib1g (>= 1:1.1.4) Recommends: libqt3-mt-dev Conflicts: libqt-dev (<< 3:2.3.2-10), uic (<= 3:2.3.2-9) Replaces: libqt3-dev, libqt3-mt-dev, qt3-doc (<= 3:3.1.1-2), qt3-tools Architecture: amd64 Filename: ./qt3-dev-tools_3%3a3.3.8b-11_amd64.deb Size: 1416636 Installed-Size: 3741 MD5sum: cb11f00176c8e5d59b4c77274424f799 Description: Qt3 development tools This package contains all tools that are necessary to build programs that are written using Qt3. These are: qmake, uic and moc. For Qt3 development, you most likely want to install this package. Package: r-openxm-hgm Version: 0.20140224-1 Priority: extra Section: alien Maintainer: Tatsuyoshi HAMADA Depends: libc6 (>= 2.7) Architecture: amd64 Filename: ./r-openxm-hgm_0.20140224-1_amd64.deb Size: 129576 Installed-Size: 378 MD5sum: 26d3c875c51ac3eeb71c3f5c976b600e Description: Holonomic gradient method and gradient Holonomic gradient method and gradient . (Converted from a tgz package by alien version 8.87.) Package: reduce-algebra Version: 20110414-1~getdeb2 Priority: optional Section: math Maintainer: Christoph Korn Depends: libc6 (>= 2.11), libfontconfig1 (>= 2.8.0), libfreetype6 (>= 2.2.1), libgcc1 (>= 1:4.1.1), libncurses5 (>= 5.5-5~), libstdc++6 (>= 4.1.1), libx11-6, libxcursor1 (>> 1.1.2), libxext6, libxft2 (>> 2.1.1), libxrandr2, zlib1g (>= 1:1.1.4), reduce-algebra-fonts (= 20110414-1~getdeb2) Recommends: reduce-algebra-docs Architecture: amd64 Filename: ./reduce-algebra_20110414-1~getdeb2_amd64.deb Size: 5964292 Installed-Size: 12052 MD5sum: 362008ac594bf485b3728f107ec67006 Description: Graphical Computer Algebra System 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. Package: rstudio Version: 0.98.507 Priority: optional Section: devel Maintainer: RStudio Depends: libjpeg62, libc6 (>= 2.7) Recommends: r-base (>= 2.11.1) Architecture: amd64 Filename: ./rstudio-0.98.507-amd64.deb Size: 33448404 Installed-Size: 182714 MD5sum: 9a75bd0651270257607bd7a11b867324 Description: RStudio RStudio is a set of integrated tools designed to help you be more productive with R. It includes a console, syntax-highlighting editor that supports direct code execution, as well as tools for plotting, history, and workspace management. Package: saclib Version: 2.2.5-2 Priority: extra Section: alien Maintainer: Tatsuyoshi HAMADA Architecture: amd64 Filename: ./saclib_2.2.5-2_amd64.deb Size: 6618104 Installed-Size: 23519 MD5sum: 6954fb28730b6348f8550836e3e574d5 Description: SACLIB is a library of C programs for computer algebra. SACLIB is a library of C programs for computer algebra derived from the SAC2 system. . (Converted from a tgz package by alien version 8.87.) Package: setxkbmap-gadget Version: 0.0.3-1 Priority: extra Section: extra Maintainer: NUMATA Yacehide Depends: python, x11-xkb-utils Architecture: amd64 Filename: ./setxkbmap-gadget_0.0.3-1_amd64.deb Size: 4002 Installed-Size: 47 MD5sum: a126ff4ecef974f45ad9865ad09d6a1a Description: Small program to change keyboard layout This provieds a small program to change your keyboard layout by setkbdmap. Package: simplify Version: 1.20-2 Priority: extra Section: alien Maintainer: Tatsuyoshi HAMADA Depends: libc6 (>= 2.3), libgcc1 (>= 1:4.1.1), libncurses5 (>= 5.5-5~), libreadline6 (>= 6.0), libstdc++6 (>= 4.4.0), libtinfo5, qepcad-b Architecture: amd64 Filename: ./simplify_1.20-2_amd64.deb Size: 805006 Installed-Size: 6761 MD5sum: 86884abf764187079fd3a0b130a10c75 Description: SLFQ: Simplifying Large Formulas with QEPCAD. SLFQ: Simplifying Large Formulas with QEPCAD. . (Converted from a tgz package by alien version 8.87.) Package: skeleton Version: 2010.07.14-1 Priority: extra Section: math Maintainer: knx-math-debian Depends: libc6 (>= 2.7-1), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) Architecture: amd64 Filename: ./skeleton_2010.07.14-1_amd64.deb Size: 705814 Installed-Size: 3014 MD5sum: a63073a7f269ca25c68987bb6e3e5f2f Description: skeleton is a package for the double description method for polytopes. cf. cddlib Package: snappea-snappy Version: 2.1.2-1 Priority: extra Section: alien Maintainer: Tatsuyoshi HAMADA Depends: libc6 (>= 2.11), libc6-i386 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libgl1-mesa-glx | libgl1, libglu1-mesa | libglu1, libstdc++6 (>= 4.4.0), libx11-6, libxmu6 Architecture: amd64 Filename: ./snappea-snappy_2.1.2-1_amd64.deb Size: 43018556 Installed-Size: 87221 MD5sum: fd25f695455aa9b7ecf81b9ff5465c6b Description: SnapPy is a program for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. SnapPy is a program for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. . (Converted from a tgz package by alien version 8.87.) Package: sollya Version: 4.1-1 Priority: extra Section: math Maintainer: knx-math-debian Depends: libc6 (>= 2.3), libfplll0 (>= 4.0.0), libgcc1 (>= 1:4.1.1), libgmp10, libmpfi0, libmpfr4 (>= 3.1.0), libstdc++6 (>= 4.4.0), libxml2 (>= 2.7.4), rlwrap Architecture: amd64 Filename: ./sollya_4.1-1_amd64.deb Size: 6590718 Installed-Size: 21480 MD5sum: 3d032fcd25743a75ecee8a028c850c96 Description: Sollya is a tool environment for safe floating-point code development. Package: surf Version: 1.0.5-1 Priority: extra Section: unknown Maintainer: Tatsuyoshi HAMADA Depends: libc6 (>= 2.3.2), libgcc1 (>= 1:4.1.1), libglib1.2ldbl (>= 1.2.10-18), libgmp3c2, libgtk1.2 (>= 1.2.10-4), libice6 (>= 1:1.0.0), libjpeg62 (>= 6b1), libsm6, libstdc++6 (>= 4.4.0), libtiff4, libx11-6, libxext6, libxi6, libxmu6, libxt6, zlib1g (>= 1:1.1.4) Architecture: amd64 Filename: ./surf_1.0.5-1_amd64.deb Size: 276216 Installed-Size: 952 MD5sum: 49c18dc3e603df95f36604f16608bb07 Description: Package: surfer Version: 0.0.197-1 Priority: extra Section: unknown Maintainer: Tatsuyoshi HAMADA Depends: libatk1.0-0 (>= 1.29.3), libc6 (>= 2.2.5), libcairo2 (>= 1.2.4), libcairomm-1.0-1 (>= 1.6.4), libfontconfig1 (>= 2.8.0), libfreetype6 (>= 2.2.1), libgcc1 (>= 1:4.1.1), libglib2.0-0 (>= 2.16.0), libglibmm-2.4-1c2a (>= 2.24.0), libgtk2.0-0 (>= 2.8.0), libgtkmm-2.4-1c2a (>= 1:2.20.0), libpango1.0-0 (>= 1.14.0), libpangomm-1.4-1 (>= 2.26.0), libsigc++-2.0-0c2a (>= 2.0.2), libstdc++6 (>= 4.4.0) Architecture: amd64 Filename: ./Attic/surfer_0.0.197-1_amd64.deb Size: 29152462 Installed-Size: 35576 MD5sum: 4cfa25cd5f4231f203e52d11e369b4d7 Description: Package: texmacs Version: 1:1.99.1-3 Priority: optional Section: editors Maintainer: Atsuhito KOHDA Depends: guile-1.8-libs, libc6 (>= 2.3.4), libfreetype6 (>= 2.4.8), libgcc1 (>= 1:4.1.1), libgmp10, libltdl7 (>= 2.4.2), libqtcore4 (>= 4:4.7.0~beta1), libqtgui4 (>= 4:4.8.0), libstdc++6 (>= 4.6), zlib1g (>= 1:1.1.4), texmacs-common (= 1:1.99.1-3), texlive-base, texlive-extra-utils, texlive-font-utils, texlive-math-extra, x11-apps, x11-session-utils, x11-utils, ghostscript-x, groff, mlocate | slocate | locate | findutils (<< 4.2.31-2) Recommends: netpbm, libjpeg-progs | libjpeg-mmx-progs, libtiff-tools, ispell, librsvg2-bin, xfig, imagemagick Suggests: wget, python Enhances: axiom, maxima, octave, pari-gp, r-base, yacas Architecture: amd64 Filename: ./texmacs_1.99.1-3_amd64.deb Size: 3655804 Installed-Size: 11943 MD5sum: eca8f985ac146a61af2c64339861068c 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. . The editor allows you to write structured documents via a WYSIWYG (what-you-see-is-what-you-get) and a user friendly interface. New styles may be created by the user. The program implements high-quality typesetting algorithms and TeX fonts, which help you to produce professionally looking documents. . The high typesetting quality still goes through for automatically generated formulas, which makes TeXmacs suitable as an interface for computer algebra systems. TeXmacs also supports the Guile/Scheme extension language, so that you may customize the interface and write your own extensions to the editor. . This package contains the architecture dependent files. Package: topcom Version: 0.17.4-1 Priority: extra Section: math Maintainer: Nobuki Takayama Depends: libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.4.0) Architecture: amd64 Filename: ./topcom_0.17.4-1_amd64.deb Size: 92696662 Installed-Size: 341918 MD5sum: f9873eb139f49dcdfde4de4dd7d6c716 Description: topcom is a software for triangulations.