Accepted hol88 2.02.19940316-27 (source amd64 all) into unstable

: 2.02.19940316-27 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source

Accepted maxima 5.34.0-2 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.11-1 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 06 Sep 2014 12:28:46 -0400 Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.11-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-54 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 05 Sep 2014 10:35:46 -0400 Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-54 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted maxima 5.34.0-1 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-53 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 03 Sep 2014 15:02:12 -0400 Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-53 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-52 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 29 Aug 2014 17:51:04 -0400 Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-52 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-51 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 29 Aug 2014 16:40:30 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-51 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted axiom 20140801-4 (source all amd64) into unstable

: 20140801-4 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted gcl 2.6.10-50 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 21 Aug 2014 17:29:50 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-50 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted hol88 2.02.19940316-26 (source amd64 all) into unstable

: 2.02.19940316-26 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source

Accepted maxima 5.33.0-19 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-49 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 20 Aug 2014 17:08:23 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-49 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-48 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 19 Aug 2014 18:35:22 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-48 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted hol88 2.02.19940316-25 (source amd64 all) into unstable

: 2.02.19940316-25 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source

Accepted maxima 5.33.0-18 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted axiom 20140801-3 (source all amd64) into unstable

: 20140801-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted acl2 6.5-1 (source all amd64) into unstable

: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational

Accepted axiom 20140801-2 (source all amd64) into unstable

: 20140801-2 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted gcl 2.6.10-47 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 14 Aug 2014 19:36:48 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-47 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted maxima 5.33.0-17 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-46 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 13 Aug 2014 21:39:50 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-46 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted maxima 5.33.0-16 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-45 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 10 Aug 2014 20:12:03 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-45 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted axiom 20140801-1 (source all amd64) into unstable

: 20140801-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted maxima 5.33.0-15 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted hol88 2.02.19940316-24 (source amd64 all) into unstable

: 2.02.19940316-24 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source

Accepted gcl 2.6.10-43 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 08 Aug 2014 23:42:42 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-43 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-44 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 09 Aug 2014 00:55:17 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-44 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-41 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 06 Aug 2014 01:54:38 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-41 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-42 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 06 Aug 2014 20:14:14 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-42 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-39 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 04 Aug 2014 16:52:09 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-39 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-40 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 04 Aug 2014 22:00:54 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-40 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted maxima 5.33.0-14 (source all amd64) into unstable

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-38 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 01 Aug 2014 14:35:44 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-38 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-36 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 30 Jul 2014 17:00:06 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-36 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-37 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 31 Jul 2014 02:17:11 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-37 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-35 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 29 Jul 2014 18:08:57 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-35 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted axiom 20120501-18 (source all amd64)

: 20120501-18 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted gcl 2.6.10-34 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 25 Jul 2014 20:39:10 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-34 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted maxima 5.33.0-12 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-33 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 24 Jul 2014 21:46:24 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-33 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted hol88 2.02.19940316-23 (source amd64 all)

: 2.02.19940316-23 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source

Accepted maxima 5.33.0-13 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-32 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 23 Jul 2014 18:12:56 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-32 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-29 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 22 Jul 2014 15:36:45 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-29 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-30 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 22 Jul 2014 17:12:27 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-30 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-31 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 22 Jul 2014 20:06:10 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-31 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.10-28 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 18 Jul 2014 19:24:38 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-28 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-11 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-27 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 16 Jul 2014 16:15:33 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-27 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted axiom 20120501-17 (source all amd64)

: 20120501-17 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted hol88 2.02.19940316-21 (source amd64 all)

: 2.02.19940316-21 Distribution: unstable Urgency: medium Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source

Accepted maxima 5.33.0-10 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-26 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 15 Jul 2014 16:04:04 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-26 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-25 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 11 Jul 2014 03:14:45 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-25 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-8 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-24 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 09 Jul 2014 17:34:21 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-24 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-9 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-23 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 05 Jul 2014 23:19:27 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.10-23 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-6 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted maxima 5.33.0-7 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted axiom 20120501-16 (source all amd64)

: 20120501-16 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted gcl 2.6.10-22 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 04 Jul 2014 01:36:06 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-22 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-5 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted axiom 20120501-15 (source all amd64)

: 20120501-15 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

Accepted hol88 2.02.19940316-20 (source amd64 all)

: 2.02.19940316-20 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source - Higher

Accepted gcl 2.6.10-21 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 30 Jun 2014 22:43:27 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-21 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-19 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2014 16:00:07 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-19 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-20 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2014 17:59:59 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-20 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-4 (source all amd64)

: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra

Accepted gcl 2.6.10-18 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 28 Jun 2014 16:57:54 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-18 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-17 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 26 Jun 2014 18:06:42 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-17 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-16 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 18 Jun 2014 17:37:36 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-16 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-15 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Jun 2014 00:39:35 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-15 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-14 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 14 Jun 2014 13:43:57 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-14 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-13 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 20 May 2014 16:00:22 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-13 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted acl2 6.4-4 (source all amd64)

: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational

Accepted gcl 2.6.10-11 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 16 May 2014 13:18:07 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-11 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-12 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 16 May 2014 17:41:33 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-12 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-3 (source all amd64)

Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra code

Accepted acl2 6.4-3 (source all amd64)

: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational

Accepted gcl 2.6.10-10 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 07 May 2014 17:10:30 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-10 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted acl2 6.4-2 (source all amd64)

: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational

Accepted acl2 6.4-1 (source all amd64)

: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational

Accepted gcl 2.6.10-9 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 25 Apr 2014 19:53:10 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-9 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-8 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 21 Apr 2014 14:09:37 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-8 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-7 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 19 Apr 2014 17:52:17 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-7 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-6 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 18 Apr 2014 15:06:09 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-6 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-5 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 15 Apr 2014 20:30:13 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-5 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-2 (source all amd64)

Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra code

Accepted gcl 2.6.10-4 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 09 Apr 2014 13:15:32 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-4 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.10-3 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 03 Apr 2014 14:24:23 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-3 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.33.0-1 (source all amd64)

Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra code

Accepted gcl 2.6.10-2 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 24 Mar 2014 15:47:01 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.10-2 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.32.1-1 (source all amd64)

Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra code

Accepted acl2 6.3-6 (source all amd64)

: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational

Accepted hol88 2.02.19940316-19 (source amd64 all)

: 2.02.19940316-19 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source - Higher

Accepted maxima 5.31.3-5 (source all amd64)

Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Computer algebra system -- extra code

Accepted axiom 20120501-14 (source all amd64)

: 20120501-14 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text

<    1   2   3   4   5   6   7   8   9   10   >