Accepted acl2 6.1-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.7+dfsga-5 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 10 May 2013 18:09:14 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.7+dfsga-5 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7+dfsga-6 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 11 May 2013 19:11:42 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.7+dfsga-6 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7+dfsga-7 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 11 May 2013 21:36:56 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.7+dfsga-7 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted maxima 5.30.0-4 (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 maxima 5.30.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 maxima 5.30.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 maxima 5.30.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.7+dfsga-4 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 23 Apr 2013 18:45:11 + Source: gcl Binary: gcl gcl-doc Architecture: source all amd64 Version: 2.6.7+dfsga-4 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7+dfsga-2 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 21 Jan 2013 18:41:06 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7+dfsga-2 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7+dfsga-1 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 15 Jan 2013 20:46:25 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7+dfsga-1 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted acl2 6.0-2 (source all i386)

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.0-1 (source all i386)

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 maxima 5.29.1-1 (source all i386)

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.7-108 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 08 Oct 2012 18:08:36 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-108 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-106 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 03 Oct 2012 16:52:10 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-106 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted cxref 1.6d-5 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 03 Oct 2012 18:05:12 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source all i386 Version: 1.6d-5 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted cxref 1.6d-6 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 03 Oct 2012 20:39:54 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source all i386 Version: 1.6d-6 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7-107 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 03 Oct 2012 20:38:43 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-107 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted cxref 1.6d-4 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 02 Oct 2012 16:00:05 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source all i386 Version: 1.6d-4 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7-104 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 01 Oct 2012 15:32:52 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-104 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted cxref 1.6d-3 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 01 Oct 2012 17:11:17 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source all i386 Version: 1.6d-3 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7-105 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 01 Oct 2012 17:31:43 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-105 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Re: [b-d][falla] acl2

? The build is very intensive. -- Camm Maguirec...@maguirefamily.org == The earth is but one country, and mankind its citizens. -- Baha'u'llah -- To UNSUBSCRIBE, email to debian

Re: [b-d][falla] acl2

Greetings! Peter Palfrader wea...@debian.org writes: On Tue, 28 Aug 2012, Camm Maguire wrote: On Mon, 27 Aug 2012, Camm Maguire wrote: Greetings! This is to build by hand in order to work around an unreproducible fault on fasch. Installed. Note that packages that do not build

Accepted acl2 5.0-1 (source all i386)

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 maxima 5.28.0-2 (source all i386)

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.7-103 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 22 Aug 2012 15:13:12 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-103 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-102 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 20 Aug 2012 17:33:26 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-102 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.28.0-1 (source all i386)

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-1 (source all i386)

: 20120501-1 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 netpipe 3.7.2-7 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 10 May 2012 13:15:48 + Source: netpipe Binary: netpipe-tcp netpipe-lam netpipe-openmpi netpipe-mpich2 netpipe-pvm Architecture: source i386 Version: 3.7.2-7 Distribution: unstable Urgency: low Maintainer: Camm Maguire c

Accepted xmpi 2.2.3b8-13 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 10 May 2012 13:20:45 + Source: xmpi Binary: xmpi libxmpi4 libxmpi4-dev Architecture: source i386 Version: 2.2.3b8-13 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted maxima 5.27.0-3 (source all i386)

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 pcal 4.11.0-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 09 May 2012 20:32:10 + Source: pcal Binary: pcal Architecture: source i386 Version: 4.11.0-3 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description

Accepted cxref 1.6d-2 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 05 May 2012 17:14:47 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source all i386 Version: 1.6d-2 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted gcl 2.6.7-101 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 05 May 2012 23:18:56 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-101 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted netpipe 3.7.2-6 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 20 Apr 2012 13:30:26 + Source: netpipe Binary: netpipe-tcp netpipe-lam netpipe-openmpi netpipe-mpich2 netpipe-pvm Architecture: source i386 Version: 3.7.2-6 Distribution: unstable Urgency: low Maintainer: Camm Maguire c

Accepted acl2 4.3-3 (source all i386)

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 maxima 5.27.0-2 (source all i386)

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.7-100 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 20 Apr 2012 02:25:26 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-100 Distribution: unstable Urgency: high Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted netpipe 3.7.2-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Apr 2012 13:55:23 + Source: netpipe Binary: netpipe-tcp netpipe-lam netpipe-openmpi netpipe-mpich2 netpipe-pvm Architecture: source i386 Version: 3.7.2-3 Distribution: unstable Urgency: low Maintainer: Camm Maguire c

Accepted netpipe 3.7.2-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Apr 2012 15:51:58 + Source: netpipe Binary: netpipe-tcp netpipe-lam netpipe-openmpi netpipe-mpich2 netpipe-pvm Architecture: source i386 Version: 3.7.2-4 Distribution: unstable Urgency: low Maintainer: Camm Maguire c

Accepted netpipe 3.7.2-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Apr 2012 17:46:01 + Source: netpipe Binary: netpipe-tcp netpipe-lam netpipe-openmpi netpipe-mpich2 netpipe-pvm Architecture: source i386 Version: 3.7.2-5 Distribution: unstable Urgency: low Maintainer: Camm Maguire c

Accepted netpipe 3.7.2-1 (source i386)

Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: netpipe-lam - Network performance tool using LAM MPI netpipe-mpich - Network performance tool using MPICH MPI netpipe-mpich2 - Network performance tool using MPICH2 MPI netpipe-openmpi - Network performance tool

Accepted hol88 2.02.19940316-15 (source i386 all)

: 2.02.19940316-15 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 pcal 4.11.0-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 11 Apr 2012 19:38:11 + Source: pcal Binary: pcal Architecture: source i386 Version: 4.11.0-2 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description

Accepted xmpi 2.2.3b8-12 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 11 Apr 2012 20:26:28 + Source: xmpi Binary: xmpi libxmpi4 libxmpi4-dev Architecture: source i386 Version: 2.2.3b8-12 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted axiom 20120301-2 (source all i386)

: 20120301-2 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 axiom 20120301-3 (source all i386)

: 20120301-3 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 lam 7.1.4-3 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 09 Apr 2012 21:44:09 + Source: lam Binary: lam-mpidoc lam4-dev liblam4 lam-runtime Architecture: source i386 all Version: 7.1.4-3 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm

Accepted cxref 1.6d-1 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 07 Apr 2012 12:27:23 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source all i386 Version: 1.6d-1 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted axiom 20120301-1 (source all i386)

: 20120301-1 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 lam 7.1.4-1 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 06 Apr 2012 17:38:40 + Source: lam Binary: lam-mpidoc lam4-dev liblam4 lam-runtime Architecture: source i386 all Version: 7.1.4-1 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm

Accepted maxima 5.27.0-1 (source all i386)

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 lam 7.1.4-2 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 06 Apr 2012 20:35:41 + Source: lam Binary: lam-mpidoc lam4-dev liblam4 lam-runtime Architecture: source i386 all Version: 7.1.4-2 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm

Accepted maxima 5.26.0-4 (source all i386)

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.7-99 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 23 Mar 2012 14:14:44 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-99 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.26.0-3 (source all i386)

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 4.3-2 (source all i386)

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.7-98 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 20 Jan 2012 19:55:45 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-98 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-97 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 20 Jan 2012 05:13:22 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-97 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.26.0-2 (source all i386)

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

Accepted gcl 2.6.7-96 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 18 Jan 2012 01:32:43 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-96 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-94 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Jan 2012 20:10:07 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-94 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-95 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Jan 2012 03:54:56 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-95 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted cxref 1.6c-3 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 12 Jan 2012 22:04:09 + Source: cxref Binary: cxref cxref-doc cxref-emacs Architecture: source all i386 Version: 1.6c-3 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c

Accepted acl2 4.3-1 (source all i386)

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

Accepted axiom 20111101-1 (source all i386)

: 2001-1 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - A general purpose computer algebra system: main binary and module axiom-databases - A general purpose computer algebra system: generated text

Accepted gcl 2.6.7-93 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 11 Jan 2012 21:04:23 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-93 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.26.0-1 (source all i386)

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

Accepted gcl 2.6.7-92 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 07 Jan 2012 02:42:06 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-92 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-91 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 05 Jan 2012 17:30:01 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-91 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-90 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 04 Jan 2012 19:51:13 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-90 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted axiom 20110301a-1 (source all i386)

: 20110301a-1 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - A general purpose computer algebra system: main binary and module axiom-databases - A general purpose computer algebra system: generated text

Accepted hol88 2.02.19940316-14 (source i386 all)

: 2.02.19940316-14 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.24.0-1 (source all i386)

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

Accepted axiom 20110301-1 (source all i386)

: 20110301-1 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - A general purpose computer algebra system: main binary and module axiom-databases - A general purpose computer algebra system: generated text

Accepted acl2 4.2-1 (source all i386)

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

Accepted gcl 2.6.7-89 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 11 May 2011 20:06:04 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-89 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-88 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 09 May 2011 16:00:21 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-88 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted acl2 4.1-5 (source all i386)

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

Accepted axiom 20100901-5 (source all i386)

: 20100901-5 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - A general purpose computer algebra system: main binary and module axiom-databases - A general purpose computer algebra system: generated text

Accepted gcl 2.6.7-87 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 05 Nov 2010 13:29:05 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-87 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.22.1-9 (source all i386)

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

Accepted hol88 2.02.19940316-13 (source i386 all)

: 2.02.19940316-13 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.7-86 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 04 Nov 2010 17:55:48 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-86 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-85 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 02 Nov 2010 13:56:40 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-85 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted acl2 4.1-4 (source all i386)

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

Accepted gcl 2.6.7-84 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 30 Oct 2010 00:07:39 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-84 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-83 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 28 Oct 2010 13:43:16 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-83 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-82 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 26 Oct 2010 18:20:04 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-82 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-80 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 25 Oct 2010 19:52:51 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-80 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted gcl 2.6.7-81 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 26 Oct 2010 03:33:52 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-81 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted axiom 20100901-4 (source all i386)

: 20100901-4 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org Description: axiom - A general purpose computer algebra system: main binary and module axiom-databases - A general purpose computer algebra system: generated text

Accepted hol88 2.02.19940316-11 (source i386 all)

: 2.02.19940316-11 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 hol88 2.02.19940316-12 (source i386 all)

: 2.02.19940316-12 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.7-79 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 20 Oct 2010 15:31:59 + Source: gcl Binary: gcl gcl-doc Architecture: source all i386 Version: 2.6.7-79 Distribution: unstable Urgency: low Maintainer: Camm Maguire c...@debian.org Changed-By: Camm Maguire c...@debian.org

Accepted maxima 5.22.1-8 (source all i386)

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

Accepted acl2 4.1-3 (source all i386)

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

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