-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 10:11:40 +0200
Source: langford
Binary: langford-utils langford-dkms
Architecture: source amd64 all
Version: 0.0.20130228-2
Distribution: unstable
Urgency: low
Maintainer: Simon Richter s...@debian.org
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 10:36:13 +0200
Source: langford
Binary: langford-utils langford-dkms
Architecture: source amd64 all
Version: 0.0.20130228-3
Distribution: unstable
Urgency: low
Maintainer: Simon Richter s...@debian.org
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 09:27:06 +0200
Source: media-player-info
Binary: media-player-info
Architecture: source all
Version: 19-1
Distribution: unstable
Urgency: low
Maintainer: Martin Pitt mp...@debian.org
Changed-By: Martin Pitt
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 09:40:35 +0200
Source: postgis
Binary: postgis postgis-doc libpostgis-java liblwgeom-2.0.3 liblwgeom-dev
postgresql-9.1-postgis-2.0 postgresql-9.1-postgis-2.0-scripts
Architecture: source amd64 all
Version:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 22 Jul 2013 14:07:06 +0200
Source: xmount
Binary: xmount
Architecture: source amd64
Version: 0.5.0-3
Distribution: unstable
Urgency: low
Maintainer: Michael Prokop m...@debian.org
Changed-By: Michael Prokop m...@debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 22 Jul 2013 13:03:57 +0200
Source: gcc-4.8
Binary: gcc-4.8-base libgcc1 libgcc1-dbg libgcc2 libgcc2-dbg libgcc-4.8-dev
libgcc4 libgcc4-dbg lib64gcc1 lib64gcc1-dbg lib64gcc-4.8-dev lib32gcc1
lib32gcc1-dbg lib32gcc-4.8-dev
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 09:38:17 +0200
Source: os-prober
Binary: os-prober-udeb os-prober
Architecture: source i386
Version: 1.63
Distribution: unstable
Urgency: low
Maintainer: Debian Install System Team debian-b...@lists.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 08:37:08 +0200
Source: openbox
Binary: openbox libobt0 libobrender27 openbox-dev
Architecture: source amd64
Version: 3.5.0-8
Distribution: unstable
Urgency: low
Maintainer: Mateusz Łukasik mat...@linuxmint.pl
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 12:18:11 +0200
Source: librdf-linkeddata-perl
Binary: librdf-linkeddata-perl
Architecture: source all
Version: 0.58-1
Distribution: unstable
Urgency: low
Maintainer: Debian Perl Group
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 21 Jul 2013 23:31:34 +0200
Source: mercurial
Binary: mercurial-common mercurial
Architecture: source all i386
Version: 2.6.3-1
Distribution: unstable
Urgency: low
Maintainer: Python Applications Packaging Team
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 13:01:30 +0200
Source: fglrx-legacy-driver
Binary: fglrx-legacy-driver libfglrx-legacy libfglrx-legacy-amdxvba1
libxvbaw-dev-dummy-legacy libgl1-fglrx-legacy-glx fglrx-legacy-modules-dkms
fglrx-legacy-source
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 16:31:16 +0800
Source: sheepdog
Binary: sheepdog
Architecture: source amd64
Version: 0.6.0-2~exp
Distribution: experimental
Urgency: low
Maintainer: PKG OpenStack openstack-de...@lists.alioth.debian.org
Changed-By:
-plugin-scmgit fusionforge-plugin-scmhg
fusionforge-plugin-scmsvn
Architecture: source all
Version: 5.2.2+20130723-1
Distribution: unstable
Urgency: low
Maintainer: Roland Mas lola...@debian.org
Changed-By: Roland Mas lola...@debian.org
Description:
fusionforge-full - FusionForge collaborative
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 13:30:51 +0200
Source: vows
Binary: node-vows
Architecture: source all
Version: 0.7.0-1
Distribution: unstable
Urgency: low
Maintainer: Debian Javascript Maintainers
pkg-javascript-de...@lists.alioth.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 20 Jul 2013 18:17:11 +0800
Source: hgsubversion
Binary: hgsubversion
Architecture: source all
Version: 1.5-1
Distribution: unstable
Urgency: low
Maintainer: Qijiang Fan fqj1...@gmail.com
Changed-By: Qijiang Fan fqj1...@gmail.com
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 14:53:03 +0300
Source: suomi-malaga
Binary: voikko-fi
Architecture: source i386
Version: 1.14-1
Distribution: unstable
Urgency: low
Maintainer: Timo Jyrinki t...@debian.org
Changed-By: Timo Jyrinki t...@debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 13:25:30 +0200
Source: apache2
Binary: apache2 apache2-data apache2-bin apache2-mpm-worker apache2-mpm-prefork
apache2-mpm-event apache2-mpm-itk apache2.2-bin libapache2-mod-proxy-html
libapache2-mod-macro
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 14:07:39 +0200
Source: knot
Binary: knot knot-dbg knot-dnsutils knot-host knot-doc
Architecture: source amd64 all
Version: 1.3.0~rc4-2
Distribution: unstable
Urgency: low
Maintainer: Ondřej Surý ond...@debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 13:53:32 +0200
Source: glusterfs
Binary: glusterfs-client glusterfs-server glusterfs-common glusterfs-dbg
Architecture: source amd64
Version: 3.4.0-2
Distribution: unstable
Urgency: low
Maintainer: Patrick Matthäi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 12:48:43 +0200
Source: manaplus
Binary: manaplus manaplus-dbg manaplus-data
Architecture: source amd64 all
Version: 1.3.7.21-1
Distribution: unstable
Urgency: low
Maintainer: Andrei Karas aka...@inbox.ru
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 14:08:49 +0200
Source: webissues
Binary: webissues webissues-dbg
Architecture: source amd64
Version: 1.1~beta2-1
Distribution: unstable
Urgency: low
Maintainer: Patrick Matthäi pmatth...@debian.org
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 15:24:13 +0200
Source: vows
Binary: node-vows
Architecture: source all
Version: 0.7.0-2
Distribution: unstable
Urgency: low
Maintainer: Debian Javascript Maintainers
pkg-javascript-de...@lists.alioth.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 17 Jul 2013 14:26:15 +0200
Source: sieve-extension
Binary: xul-ext-sieve
Architecture: source all
Version: 0.2.2+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian Mozilla Extension Maintainers
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 17:43:36 +0300
Source: firebird2.5
Binary: firebird2.5-super firebird2.5-classic firebird2.5-superclassic
libfbclient2 libfbembed2.5 libib-util firebird2.5-common
firebird2.5-server-common
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 10:12:39 -0400
Source: dirmngr
Binary: dirmngr
Architecture: source i386
Version: 1.1.1-1
Distribution: unstable
Urgency: low
Maintainer: Peter Eisentraut pet...@debian.org
Changed-By: Peter Eisentraut
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 13:02:43 +0100
Source: k3d
Binary: k3d k3d-data
Architecture: source amd64 all
Version: 0.8.0.3-1
Distribution: unstable
Urgency: low
Maintainer: Manuel A. Fernandez Montecelo m...@debian.org
Changed-By: Manuel A.
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 14:25:01 +0200
Source: octave-control
Binary: octave-control
Architecture: source amd64
Version: 2.4.3-1
Distribution: unstable
Urgency: low
Maintainer: Debian Octave Group pkg-octave-de...@lists.alioth.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 10:56:50 -0400
Source: monkeysign
Binary: monkeysign
Architecture: source all
Version: 0.9
Distribution: unstable
Urgency: low
Maintainer: Antoine Beaupré anar...@debian.org
Changed-By: Antoine Beaupré
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 16:55:28 +0200
Source: libmath-vector-real-kdtree-perl
Binary: libmath-vector-real-kdtree-perl
Architecture: source all
Version: 0.09-1
Distribution: unstable
Urgency: low
Maintainer: Debian Perl Group
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 18:22:50 +0300
Source: libreoffice-voikko
Binary: libreoffice-voikko
Architecture: source i386
Version: 3.4.1-1
Distribution: unstable
Urgency: low
Maintainer: Timo Jyrinki t...@debian.org
Changed-By: Timo Jyrinki
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 11 Jul 2013 15:39:50 +0200
Source: jasperreports
Binary: libjasperreports-java libjasperreports-java-doc
Architecture: source all
Version: 4.1.3+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian Java Maintainers
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 22 Jul 2013 15:33:02 +0200
Source: libpdfbox-java
Binary: libpdfbox-java libpdfbox-java-doc libjempbox-java libjempbox-java-doc
libfontbox-java libfontbox-java-doc
Architecture: source all
Version: 1:1.8.2+dfsg-2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 21:01:39 +0530
Source: fcoe-utils
Binary: fcoe-utils
Architecture: source amd64
Version: 1.0.28-2
Distribution: unstable
Urgency: low
Maintainer: Debian FCoE Maintainers pkg-fcoe-gene...@lists.alioth.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 10:46:05 -0400
Source: git-annex
Binary: git-annex
Architecture: source i386
Version: 4.20130723
Distribution: unstable
Urgency: low
Maintainer: Joey Hess jo...@debian.org
Changed-By: Joey Hess jo...@debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 11 Jul 2013 16:34:14 +0200
Source: jasperreports3.7
Binary: libjasperreports3.7-java libjasperreports3.7-java-doc
Architecture: source all
Version: 3.7.4+dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Debian Java
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 08 Jul 2013 10:47:56 +0200
Source: jcifs
Binary: libjcifs-java libjcifs-java-doc
Architecture: source all
Version: 1.3.17-1
Distribution: unstable
Urgency: low
Maintainer: Debian Java Maintainers
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 18 Jul 2013 15:14:15 +0200
Source: libproxool-java
Binary: libproxool-java
Architecture: source all
Version: 0.9.1-7
Distribution: unstable
Urgency: low
Maintainer: Debian Java Maintainers
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 18:11:38 +0200
Source: transmission
Binary: transmission transmission-common transmission-dbg transmission-cli
transmission-gtk transmission-qt transmission-daemon
Architecture: source all amd64
Version: 2.81-1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 11:05:26 -0400
Source: haxe
Binary: haxe
Architecture: source i386
Version: 1:3.0.0~svn6707-2
Distribution: experimental
Urgency: low
Maintainer: Debian QA Group packa...@qa.debian.org
Changed-By: Barry deFreese
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 17:11:23 +
Source: gcl
Binary: gcl gcl-doc
Architecture: source all amd64
Version: 2.6.7+dfsga-34
Distribution: unstable
Urgency: high
Maintainer: Camm Maguire c...@debian.org
Changed-By: Camm Maguire
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 18:16:01 +
Source: maxima
Binary: maxima maxima-src maxima-test maxima-doc xmaxima maxima-emacs
maxima-share
Architecture: source all amd64
Version: 5.30.0-12
Distribution: unstable
Urgency: low
Maintainer: Camm
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 24 Jul 2013 03:33:23 +1000
Source: zabbix
Binary: zabbix-agent zabbix-frontend-php zabbix-proxy-mysql zabbix-proxy-pgsql
zabbix-proxy-sqlite3 zabbix-server-mysql zabbix-server-pgsql
Architecture: source amd64 all
Version:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 19:13:15 +0100
Source: k3d
Binary: k3d k3d-data
Architecture: source amd64 all
Version: 0.8.0.3-2
Distribution: unstable
Urgency: low
Maintainer: Manuel A. Fernandez Montecelo m...@debian.org
Changed-By: Manuel A.
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 22:39:54 +0400
Source: qemu
Binary: qemu qemu-keymaps qemu-system qemu-system-common qemu-system-misc
qemu-system-arm qemu-system-mips qemu-system-ppc qemu-system-sparc
qemu-system-x86 qemu-user qemu-user-static
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 18:54:17 +
Source: libnet-cidr-perl
Binary: libnet-cidr-perl
Architecture: source all
Version: 0.17-1
Distribution: unstable
Urgency: low
Maintainer: Bart Martens ba...@debian.org
Changed-By: Bart Martens
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 23 Jul 2013 21:35:34 +0200
Source: vcsh
Binary: vcsh
Architecture: source all
Version: 1.20130723-1
Distribution: unstable
Urgency: low
Maintainer: Richard Hartmann richih.mailingl...@gmail.com
Changed-By: Richard Hartmann
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 23 Jul 2013 23:14:08 +0300
Source: xlog
Binary: xlog xlog-data
Architecture: source all amd64
Version: 2.0.10-1
Distribution: unstable
Urgency: low
Maintainer: Debian Hamradio Maintainers debian-h...@lists.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 15:07:34 -0500
Source: robustbase
Binary: r-cran-robustbase
Architecture: source i386
Version: 0.9-9-1
Distribution: unstable
Urgency: low
Maintainer: Dirk Eddelbuettel e...@debian.org
Changed-By: Dirk Eddelbuettel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 21:56:29 +0100
Source: cmdtest
Binary: cmdtest
Architecture: all source
Version: 0.9-1
Distribution: unstable
Urgency: low
Maintainer: Lars Wirzenius l...@liw.fi
Changed-By: Lars Wirzenius l...@liw.fi
Description:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 16:12:29 +0100
Source: btrfs-tools
Binary: btrfs-tools btrfs-tools-udeb btrfs-tools-dbg
Architecture: source amd64
Version: 0.19+20130315-3
Distribution: unstable
Urgency: low
Maintainer: Dmitrijs Ledkovs
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 22:51:33 +0200
Source: alot
Binary: alot alot-doc
Architecture: source all
Version: 0.3.5-1
Distribution: unstable
Urgency: low
Maintainer: Python Applications Packaging Team
python-apps-t...@lists.alioth.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 24 Jul 2013 06:41:33 +0900
Source: cowdancer
Binary: cowdancer cowbuilder qemubuilder
Architecture: source amd64
Version: 0.73
Distribution: unstable
Urgency: low
Maintainer: Junichi Uekawa dan...@debian.org
Changed-By: Junichi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 23:05:18 +0200
Source: swi-prolog
Binary: swi-prolog swi-prolog-nox swi-prolog-x swi-prolog-java swi-prolog-odbc
Architecture: source amd64
Version: 6.4.1-1
Distribution: experimental
Urgency: low
Maintainer: Євгеній
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 18:28:40 -0400
Source: parcellite
Binary: parcellite
Architecture: source amd64
Version: 1.1.5-1
Distribution: unstable
Urgency: low
Maintainer: Andrew Starr-Bochicchio a...@debian.org
Changed-By: Andrew
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 24 Jul 2013 00:15:09 +0200
Source: libidn2-0
Binary: libidn2-0 libidn2-0-dev libidn2-0-dbg idn2
Architecture: source amd64
Version: 0.9-1
Distribution: unstable
Urgency: low
Maintainer: Debian Libidn team help-lib...@gnu.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 23:51:22 +0200
Source: android-tools
Binary: android-tools-adb android-tools-adbd android-tools-fastboot
android-tools-fsutils
Architecture: source amd64
Version: 4.2.2+git20130529-3
Distribution: unstable
Urgency:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 24 Jul 2013 01:29:28 +0200
Source: yubikey-personalization
Binary: yubikey-personalization libykpers-1-1 libykpers-1-dev
Architecture: source amd64
Version: 1.14.0-2
Distribution: unstable
Urgency: low
Maintainer: Tollef Fog
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 12 Jul 2013 13:24:07 +0200
Source: yubikey-personalization-gui
Binary: yubikey-personalization-gui
Architecture: source amd64
Version: 3.1.10-1
Distribution: unstable
Urgency: low
Maintainer: Yubico Open Source Maintainers
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 23 Jul 2013 21:48:50 +
Source: fpc
Binary: fpc-2.6.2 fpc-source-2.6.2 fp-compiler-2.6.2 fp-ide-2.6.2
fp-utils-2.6.2 fp-docs-2.6.2 fp-units-rtl-2.6.2 fp-units-base-2.6.2
fp-units-fcl-2.6.2 fp-units-fv-2.6.2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 24 Jul 2013 11:08:34 +0800
Source: keystone
Binary: python-keystone keystone keystone-doc
Architecture: source all
Version: 2013.1.2-6
Distribution: unstable
Urgency: low
Maintainer: PKG OpenStack
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 18 Jul 2013 18:16:29 +0200
Source: fonts-liberation
Binary: fonts-liberation
Architecture: source all
Version: 1.07.2-7
Distribution: unstable
Urgency: low
Maintainer: Debian Fonts Task Force
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 01 Jul 2013 08:36:37 +0200
Source: eclipse-emf
Binary: eclipse-emf eclipse-emf-examples eclipse-emf-sdk
Architecture: source all
Version: 2.8.3-1
Distribution: unstable
Urgency: low
Maintainer: Debian Java Maintainers
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 21 Jul 2013 00:28:08 +0200
Source: maven-ant-tasks
Binary: libmaven-ant-tasks-java
Architecture: source all
Version: 2.1.3-3
Distribution: unstable
Urgency: low
Maintainer: Debian Java Maintainers
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 23 Jul 2013 18:11:51 +
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books
acl2-books-source acl2-books-certs acl2-doc
Architecture: source all amd64
Version: 6.2-4
Distribution:
64 matches
Mail list logo