Accepted acl2 8.2dfsg-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 27 Dec 2019 15:15:44 + Source: acl2 Architecture: source Version: 8.2dfsg-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: acl2 (8.2dfsg-3) unstable; urgency=medium

Accepted gcl 2.6.12-92 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 30 Dec 2019 15:46:22 + Source: gcl Architecture: source Version: 2.6.12-92 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: gcl (2.6.12-92) unstable; urgency=medium

Accepted acl2 8.2dfsg-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 26 Dec 2019 20:47:09 + Source: acl2 Architecture: source Version: 8.2dfsg-2 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: acl2 (8.2dfsg-2) unstable; urgency=medium

Accepted maxima 5.43.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 21 Dec 2019 18:32:43 + Source: maxima Architecture: source Version: 5.43.0-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: maxima (5.43.0-3) unstable; urgency=medium

Accepted maxima 5.43.0-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 21 Dec 2019 14:47:13 + Source: maxima Architecture: source Version: 5.43.0-2 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: maxima (5.43.0-2) unstable; urgency=medium

Accepted maxima 5.43.0-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 20 Dec 2019 19:59:20 + Source: maxima Architecture: source Version: 5.43.0-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Closes: 827953 909145 931337 943166 945563 Changes

Accepted acl2 8.2dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 19 Dec 2019 15:30:07 + Source: acl2 Architecture: source Version: 8.2dfsg-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: acl2 (8.2dfsg-1) unstable; urgency=medium

Accepted gcl 2.6.12-91 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 18 Dec 2019 20:14:09 + Source: gcl Architecture: source Version: 2.6.12-91 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: gcl (2.6.12-91) unstable; urgency=medium

Accepted acl2 8.1dfsg-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 09 Dec 2019 14:21:30 + Source: acl2 Architecture: source Version: 8.1dfsg-6 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: acl2 (8.1dfsg-6) unstable; urgency=medium

Accepted gcl 2.6.12-90 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 08 Dec 2019 19:27:24 + Source: gcl Architecture: source Version: 2.6.12-90 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Changes: gcl (2.6.12-90) unstable; urgency=medium

Accepted acl2 8.1dfsg-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 08 Dec 2019 15:13:52 + Source: acl2 Architecture: source Version: 8.1dfsg-5 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Closes: 944222 Changes: acl2 (8.1dfsg-5) unstable

Accepted gcl 2.6.12-89 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 07 Dec 2019 23:27:53 + Source: gcl Architecture: source Version: 2.6.12-89 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Closes: 942312 944651 Changes: gcl (2.6.12-89) unstable

Accepted acl2 8.1dfsg-4 (source) into unstable

-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

-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

-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

: 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

-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

: 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

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

-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

-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-By

Accepted netpipe 3.7.2-8 (source amd64) into unstable

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

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

-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

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 by

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

: 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

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

-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

-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

-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

: 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

-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

: 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

-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

: 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

-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

: 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

-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

: 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-76 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

: 20170501-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text databases axiom-doc

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

-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 Changed-By: Camm Maguire Description: gcl

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

: 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-64 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description

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

: 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-59 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

: 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 hol88 2.02.19940316-35 (source all amd64) into unstable

: 2.02.19940316-35 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source - Higher Order Logic, user

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

: 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 maxima 5.40.0-3 (source all amd64) into unstable

: 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-58 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

: 20170501-2 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text databases axiom-doc

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

: 20170501-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text databases axiom-doc

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

: 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 axiom 20170401-3 (source all amd64) into unstable

: 20170401-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text databases axiom-doc

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

: 20170401-2 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text databases axiom-doc

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

: 2.02.19940316-34 Distribution: unstable Urgency: high Maintainer: Camm Maguire Changed-By: Camm Maguire Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source - Higher Order Logic, user

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

: 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-52 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

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

: 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-49 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

: 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-48 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

: 20170401-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: axiom - General purpose computer algebra system: main binary and modules axiom-databases - General purpose computer algebra system: generated text databases axiom-doc

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

: 2.02.19940316-33 Distribution: unstable Urgency: high Maintainer: Camm Maguire Changed-By: Camm Maguire Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source - Higher Order Logic, user

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

: 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 maxima 5.39.0-2 (source all amd64) into unstable

: 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 maxima 5.39.0-1 (source all amd64) into unstable

: 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 maxima 5.38.1-8 (source all amd64) into unstable

: 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 maxima 5.38.1-7 (source all amd64) into unstable

: 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-47 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

: 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-46 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

: 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-45 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

: 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-44 (source amd64 all) into unstable

-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 Changed-By: Camm Maguire Description: gcl

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

-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 Changed-By: Camm Maguire Description: gcl

  1   2   3   4   5   6   7   8   9   10   >