Accepted acl2 8.1dfsg-4 (source) into unstable

2019-10-31 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 31 Oct 2019 17:17:49 + Source: acl2 Architecture: source Version: 8.1dfsg-4 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Closes: 941641 Changes: acl2 (8.1dfsg-4) unstable

Accepted gcl 2.6.12-88 (source) into unstable

2019-10-11 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 11 Oct 2019 19:18:44 + Source: gcl Architecture: source Version: 2.6.12-88 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: gcl (2.6.12-88) unstable; urgency=medium

Accepted gcl 2.6.12-87 (source amd64 all) into unstable

2019-04-06 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 06 Apr 2019 13:03:21 + Source: gcl Binary: gcl gcl-dbgsym gcl-doc Architecture: source amd64 all Version: 2.6.12-87 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description

Accepted acl2 8.1dfsg-3 (source all amd64) into unstable

2019-04-04 Thread Camm Maguire
: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational Logic for Applicative

Accepted gcl 2.6.12-86 (source i386 all) into unstable

2019-04-02 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 02 Apr 2019 19:57:15 + Source: gcl Binary: gcl gcl-dbgsym gcl-doc Architecture: source i386 all Version: 2.6.12-86 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description

Accepted acl2 8.1dfsg-2 (source all amd64) into unstable

2019-03-30 Thread Camm Maguire
: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational Logic for Applicative

Accepted lam 7.1.4-6 (source all amd64) into unstable

2019-03-29 Thread Camm Maguire
Maintainer: Camm Maguire Changed-By: Camm Maguire Description: lam-mpidoc - Documentation for the Message Passing Interface standard lam-runtime - LAM runtime environment for executing parallel programs lam4-dev - Development of parallel programs using LAM liblam4- Shared libraries used

Accepted gcl 2.6.12-85 (source amd64 all) into unstable

2019-03-28 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 28 Mar 2019 18:48:55 + Source: gcl Binary: gcl gcl-dbgsym gcl-doc Architecture: source amd64 all Version: 2.6.12-85 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description

Accepted xmpi 2.2.3b8-14 (source amd64) into unstable

2019-03-25 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 25 Mar 2019 13:11:43 + Source: xmpi Binary: libxmpi4 libxmpi4-dbgsym libxmpi4-dev xmpi xmpi-dbgsym Architecture: source amd64 Version: 2.2.3b8-14 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed

Accepted netpipe 3.7.2-8 (source amd64) into unstable

2019-03-25 Thread Camm Maguire
Architecture: source amd64 Version: 3.7.2-8 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: netpipe-lam - Network performance tool using LAM MPI netpipe-mpich2 - Network performance tool using MPICH2 MPI netpipe-openmpi - Network performance

Accepted lam 7.1.4-5 (source all amd64) into unstable

2019-03-24 Thread Camm Maguire
Maintainer: Camm Maguire Changed-By: Camm Maguire Description: lam-mpidoc - Documentation for the Message Passing Interface standard lam-runtime - LAM runtime environment for executing parallel programs lam4-dev - Development of parallel programs using LAM liblam4- Shared libraries used

Accepted gcl 2.6.12-84 (source amd64 all) into unstable

2019-03-24 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 21 Mar 2019 18:59:40 + Source: gcl Binary: gcl gcl-dbgsym gcl-doc Architecture: source amd64 all Version: 2.6.12-84 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description

Accepted lam 7.1.4-4 (source all amd64) into unstable

2019-03-24 Thread Camm Maguire
Maintainer: Camm Maguire Changed-By: Camm Maguire Description: lam-mpidoc - Documentation for the Message Passing Interface standard lam-runtime - LAM runtime environment for executing parallel programs lam4-dev - Development of parallel programs using LAM liblam4- Shared libraries used

Accepted acl2 8.1dfsg-1 (source all amd64) into unstable

2019-03-03 Thread Camm Maguire
: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational Logic for Applicative

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

2019-02-07 Thread Camm Maguire
axiom-test axiom-tex Architecture: source all amd64 Version: 20170501-4 Distribution: unstable Urgency: high Maintainer: Camm Maguire Changed-By: Camm Maguire Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer

Accepted gcl 2.6.12-83 (source amd64 all) into unstable

2019-02-05 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 05 Feb 2019 21:54:42 + Source: gcl Binary: gcl gcl-dbgsym gcl-doc Architecture: source amd64 all Version: 2.6.12-83 Distribution: unstable Urgency: high Maintainer: Camm Maguire Changed-By: Camm Maguire Description: gcl

Accepted gcl 2.6.12-82 (source amd64 all) into unstable

2019-02-02 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 02 Feb 2019 17:40:20 + Source: gcl Binary: gcl gcl-dbgsym gcl-doc Architecture: source amd64 all Version: 2.6.12-82 Distribution: unstable Urgency: high Maintainer: Camm Maguire Changed-By: Camm Maguire Description: gcl

Accepted gcl 2.6.12-81 (source amd64 all) into unstable

2019-01-21 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 21 Jan 2019 16:40:36 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-81 Distribution: unstable Urgency: high Maintainer: Camm Maguire Changed-By: Camm Maguire Description: gcl

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

2018-11-02 Thread Camm Maguire
: Camm Maguire Changed-By: Camm Maguire 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 maxima-src - Computer

Accepted gcl 2.6.12-80 (source amd64 all) into unstable

2018-10-30 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 30 Oct 2018 17:20:43 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-80 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: gcl

Accepted maxima 5.42.0-3 (source all amd64) into unstable

2018-10-29 Thread Camm Maguire
: Camm Maguire Changed-By: Camm Maguire 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 maxima-src - Computer

Accepted gcl 2.6.12-79 (source amd64 all) into unstable

2018-10-29 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 29 Oct 2018 16:52:17 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-79 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: gcl

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

2018-10-12 Thread Camm Maguire
: Camm Maguire Changed-By: Camm Maguire 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 maxima-src - Computer

Accepted gcl 2.6.12-78 (source amd64 all) into unstable

2018-10-11 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 11 Oct 2018 16:40:48 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-78 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: gcl

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

2018-10-04 Thread Camm Maguire
: Camm Maguire Changed-By: Camm Maguire 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 maxima-src - Computer

Accepted gcl 2.6.12-77 (source amd64 all) into unstable

2018-07-24 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 24 Jul 2018 20:06:45 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-77 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: gcl

Accepted maxima 5.41.0-3 (source all amd64) into unstable

2018-03-29 Thread Camm Maguire
: 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 al

Accepted gcl 2.6.12-76 (source amd64 all) into unstable

2018-03-26 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 23 Mar 2018 19:25:22 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-76 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-75 (source amd64 all) into unstable

2018-03-22 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 21 Mar 2018 20:28:08 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-75 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-74 (source amd64 all) into unstable

2018-03-17 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 17 Mar 2018 11:56:05 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-74 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-73 (source amd64 all) into unstable

2018-03-15 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 14 Mar 2018 15:38:43 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-73 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-72 (source amd64 all) into unstable

2018-03-13 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 13 Mar 2018 15:32:44 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-72 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-71 (source amd64 all) into unstable

2018-03-12 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 12 Mar 2018 19:44:47 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-71 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-70 (source amd64 all) into unstable

2018-03-12 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 12 Mar 2018 16:19:00 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-70 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-69 (source amd64 all) into unstable

2018-03-09 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 09 Mar 2018 17:10:51 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-69 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-68 (source amd64 all) into unstable

2018-03-04 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 04 Mar 2018 13:21:00 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-68 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-67 (source amd64 all) into unstable

2018-03-03 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 03 Mar 2018 14:27:51 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-67 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-66 (source amd64 all) into unstable

2018-03-03 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 02 Mar 2018 21:19:03 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-66 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2018-02-23 Thread Camm Maguire
: 20170501-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 syste

Accepted gcl 2.6.12-65 (source amd64 all) into unstable

2018-02-23 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 23 Feb 2018 15:55:23 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-65 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2018-02-12 Thread Camm Maguire
: 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 al

Accepted gcl 2.6.12-64 (source amd64 all) into unstable

2018-02-04 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 04 Feb 2018 13:26:27 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-64 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-63 (source amd64 all) into unstable

2018-02-01 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 01 Feb 2018 18:36:29 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-63 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-62 (source amd64 all) into unstable

2018-01-31 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 01 Feb 2018 01:05:10 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-62 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-61 (source amd64 all) into unstable

2018-01-30 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 30 Jan 2018 21:13:13 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-61 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-60 (source amd64 all) into unstable

2018-01-30 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 23 Jan 2018 18:11:59 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-60 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted cxref 1.6e-3 (source amd64 all) into unstable

2018-01-30 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 30 Jan 2018 16:50:37 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source amd64 all Version: 1.6e-3 Distribution: unstable Urgency: high Maintainer: Camm Maguire <c...@debian.org> Changed-By

Accepted acl2 8.0dfsg-1 (source all amd64) into unstable

2018-01-13 Thread Camm Maguire
: unstable Urgency: medium 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

Accepted gcl 2.6.12-59 (source amd64 all) into unstable

2018-01-11 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 12 Jan 2018 03:25:08 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-59 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-12-22 Thread Camm Maguire
: Camm Maguire <c...@debian.org> Changed-By: Camm Maguire <c...@barriere.debian.org> Description: maxima - Computer algebra system -- base system maxima-doc - Computer algebra system -- documentation maxima-emacs - Computer algebra system -- emacs interface maxima-share - Comp

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

2017-10-02 Thread Camm Maguire
: 2.02.19940316-35 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-co

Accepted acl2 7.4dfsg-4 (source all amd64) into unstable

2017-10-02 Thread Camm Maguire
: unstable Urgency: medium 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

Accepted maxima 5.40.0-3 (source all amd64) into unstable

2017-09-18 Thread Camm Maguire
: 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 al

Accepted gcl 2.6.12-58 (source amd64 all) into unstable

2017-09-18 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 18 Sep 2017 15:45:10 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-58 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-09-05 Thread Camm Maguire
: 20170501-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 syste

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

2017-09-04 Thread Camm Maguire
: 20170501-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 syste

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

2017-09-01 Thread Camm Maguire
: 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 al

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

2017-08-29 Thread Camm Maguire
: 20170401-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 syste

Accepted gcl 2.6.12-57 (source amd64 all) into unstable

2017-08-28 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 25 Aug 2017 13:44:10 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-57 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-56 (source amd64 all) into unstable

2017-08-24 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 24 Aug 2017 19:12:50 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-56 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted gcl 2.6.12-55 (source amd64 all) into unstable

2017-08-24 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 24 Aug 2017 16:37:07 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-55 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-08-24 Thread Camm Maguire
: 20170401-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 syste

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

2017-08-24 Thread Camm Maguire
: 2.02.19940316-34 Distribution: unstable Urgency: high 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-co

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

2017-08-23 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 23 Aug 2017 22:19:14 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-54 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-06-18 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 18 Jun 2017 18:32:30 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-53 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-06-18 Thread Camm Maguire
: 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 al

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

2017-06-15 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 15 Jun 2017 18:04:41 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-52 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-06-14 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 14 Jun 2017 18:30:46 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-51 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-06-13 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 13 Jun 2017 22:38:52 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-50 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted acl2 7.4dfsg-3 (source all amd64) into unstable

2017-06-09 Thread Camm Maguire
: unstable Urgency: medium 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

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

2017-06-08 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 08 Jun 2017 17:21:01 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-49 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted acl2 7.4dfsg-2 (source all amd64) into unstable

2017-05-31 Thread Camm Maguire
: unstable Urgency: medium 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

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

2017-05-28 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 28 May 2017 01:42:29 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-48 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2017-05-15 Thread Camm Maguire
: 20170401-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 syste

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

2017-05-11 Thread Camm Maguire
: 2.02.19940316-33 Distribution: unstable Urgency: high 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-co

Accepted acl2 7.4dfsg-1 (source all amd64) into unstable

2017-05-09 Thread Camm Maguire
: unstable Urgency: medium 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

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

2017-05-08 Thread Camm Maguire
: 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 al

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

2017-05-08 Thread Camm Maguire
: 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 al

Accepted maxima 5.38.1-8 (source all amd64) into unstable

2016-11-25 Thread Camm Maguire
: 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 al

Accepted maxima 5.38.1-7 (source all amd64) into unstable

2016-11-22 Thread Camm Maguire
: 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 al

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

2016-11-22 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 22 Nov 2016 04:53:35 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-47 Distribution: unstable Urgency: high Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted maxima 5.38.1-6 (source all amd64) into unstable

2016-11-19 Thread Camm Maguire
: 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 al

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

2016-11-19 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 18 Nov 2016 18:27:53 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-46 Distribution: unstable Urgency: high Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted maxima 5.38.1-5 (source all amd64) into unstable

2016-11-01 Thread Camm Maguire
: 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 al

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

2016-10-31 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 31 Oct 2016 22:57:27 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-45 Distribution: unstable Urgency: high Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted maxima 5.38.1-4 (source all amd64) into unstable

2016-10-29 Thread Camm Maguire
: 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 al

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

2016-10-28 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 28 Oct 2016 17:04:38 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-44 Distribution: unstable Urgency: high Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-26 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 27 Oct 2016 03:46:32 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-43 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-26 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 26 Oct 2016 23:04:57 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-42 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

Accepted acl2 7.2dfsg-3 (source all amd64) into unstable

2016-10-17 Thread Camm Maguire
: unstable Urgency: medium 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

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

2016-10-14 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Oct 2016 01:17:18 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-41 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-13 Thread Camm Maguire
: 20140801-12 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 syste

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

2016-10-13 Thread Camm Maguire
: 2.02.19940316-32 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-co

Accepted maxima 5.38.1-3 (source all amd64) into unstable

2016-10-13 Thread Camm Maguire
: 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 al

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

2016-10-12 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 12 Oct 2016 18:09:26 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-40 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-11 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 12 Oct 2016 01:32:05 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-39 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-04 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 04 Oct 2016 19:45:38 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-38 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-03 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 03 Oct 2016 14:54:09 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-37 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-01 Thread Camm Maguire
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 01 Oct 2016 12:10:25 + Source: gcl Binary: gcl gcl-doc Architecture: source amd64 all Version: 2.6.12-36 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Magu

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

2016-10-01 Thread Camm Maguire
: 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 al

  1   2   3   4   5   6   7   8   9   10   >