-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sun, 15 Nov 2015 12:15:48 +0700
Source: ruby-bson
Binary: ruby-bson
Architecture: source all
Version: 1.10.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Ruby Extras Maintainers
Changed-By: Prach Pongpanich
Descrip
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 15 Nov 2015 07:45:06 +0100
Source: evolution
Binary: evolution libevolution evolution-common evolution-dev evolution-dbg
evolution-plugins evolution-plugins-experimental
Architecture: source
Version: 3.18.2-1
Distribution: uns
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 15 Nov 2015 06:39:34 +0100
Source: evolution-data-server
Binary: evolution-data-server evolution-data-server-common
evolution-data-server-dev evolution-data-server-dbg evolution-data-server-doc
libedataserver-1.2-21 libedatas
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 23:12:14 -0600
Source: simple-cdd
Binary: simple-cdd python3-simple-cdd simple-cdd-profiles
Architecture: source
Version: 0.6.1
Distribution: unstable
Urgency: medium
Maintainer: Simple-CDD Developers
Changed-By: V
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sun, 15 Nov 2015 13:47:40 +0900
Source: libxmlbird
Binary: libxmlbird-dev libxmlbird1
Architecture: source amd64
Version: 1.0.7-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Fonts Task Force
Changed-By: Hideki Yamane
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 08 Sep 2015 14:00:52 +0300
Source: golang-coreos-log
Binary: golang-coreos-log-dev
Architecture: source all
Version: 0.0~git20140508-4
Distribution: unstable
Urgency: medium
Maintainer: pkg-go
Changed-By: Jelmer Vernooij
Descri
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 20:23:11 -0800
Source: clusterssh
Binary: clusterssh
Architecture: source all
Version: 4.04-1
Distribution: unstable
Urgency: medium
Maintainer: tony mancill
Changed-By: tony mancill
Description:
clusterssh - adm
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 15 Nov 2015 02:27:42 +
Source: bzr
Binary: bzr python-bzrlib python-bzrlib-dbg python-bzrlib.tests bzr-doc
Architecture: source all amd64
Version: 2.6.0+bzr6606-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Baza
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 15 Nov 2015 11:38:18 +0900
Source: mikutter
Binary: mikutter
Architecture: source all
Version: 3.2.10+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: HIGUCHI Daisuke (VDR dai)
Changed-By: HIGUCHI Daisuke (VDR dai)
D
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 20:56:03 -0400
Source: autofill-forms
Binary: xul-ext-autofill-forms
Architecture: source
Version: 1.0.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Mozilla Extension Maintainers
Changed-By: David
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 14 Nov 2015 22:44:04 +
Source: python-social-auth
Binary: python-social-auth python3-social-auth
Architecture: source all
Version: 0.2.13-1
Distribution: unstable
Urgency: low
Maintainer: Debian Python Modules Team
Changed-
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sun, 15 Nov 2015 00:07:55 +0100
Source: libmessage-passing-filter-regexp-perl
Binary: libmessage-passing-filter-regexp-perl
Architecture: source
Version: 0.05-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Perl Group
C
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sun, 15 Nov 2015 00:02:45 +0100
Source: libmessage-passing-perl
Binary: libmessage-passing-perl
Architecture: source
Version: 0.116-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Perl Group
Changed-By: gregor herrmann
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 18:06:03 -0500
Source: engine-pkcs11
Binary: libengine-pkcs11-openssl
Architecture: source amd64
Version: 0.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OpenSC Maintainers
Changed-By: Eric Dorlan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 09:26:02 +0100
Source: simutrans-pak64
Binary: simutrans-pak64
Architecture: source
Version: 120.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Games Team
Changed-By: Jörg Frings-Fürst
Description
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 19:01:56 +0100
Source: simutrans
Binary: simutrans simutrans-data simutrans-makeobj
Architecture: source
Version: 120.1.1+repack-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Games Team
Changed-By: Jö
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 01 Oct 2015 21:37:48 +
Source: samba
Binary: samba samba-libs samba-common samba-common-bin smbclient
samba-testsuite registry-tools libparse-pidl-perl samba-dev python-samba
samba-dsdb-modules samba-vfs-modules libsmbclien
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 23:13:24 +0100
Source: binutils-mingw-w64
Binary: binutils-mingw-w64 binutils-mingw-w64-i686 binutils-mingw-w64-x86-64
Architecture: source
Version: 6.5
Distribution: unstable
Urgency: medium
Maintainer: Stephen Kit
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Thu, 12 Nov 2015 20:54:12 +0100
Source: wpa
Binary: hostapd wpagui wpasupplicant wpasupplicant-udeb
Architecture: source
Version: 2.3-2.3
Distribution: unstable
Urgency: high
Maintainer: Debian wpasupplicant Maintainers
Changed-By
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 13 Nov 2015 09:45:10 +
Source: zeroinstall-injector
Binary: 0install 0install-core zeroinstall-injector
Architecture: source amd64 all
Version: 2.10-1
Distribution: unstable
Urgency: medium
Maintainer: Thomas Leonard
Chang
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 11:24:53 -0200
Source: libb-keywords-perl
Binary: libb-keywords-perl
Architecture: source
Version: 1.15-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Perl Group
Changed-By: Lucas Kanashiro
Descriptio
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 11:44:58 -0200
Source: libdatetime-set-perl
Binary: libdatetime-set-perl
Architecture: source
Version: 0.3600-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Perl Group
Changed-By: Lucas Kanashiro
Desc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 08 Nov 2015 21:17:41 +
Source: ldb
Binary: libldb1 libldb1-dbg ldb-tools libldb-dev python-ldb python-ldb-dev
python-ldb-dbg
Architecture: source amd64
Version: 2:1.1.23-1
Distribution: unstable
Urgency: medium
Maintainer: D
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 12:42:30 -0200
Source: libgraphviz-perl
Binary: libgraphviz-perl
Architecture: source
Version: 2.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Perl Group
Changed-By: Lucas Kanashiro
Description:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 12:11:53 -0200
Source: libpackage-deprecationmanager-perl
Binary: libpackage-deprecationmanager-perl
Architecture: source
Version: 0.15-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Perl Group
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 12 Nov 2015 20:35:17 +0100
Source: fpc
Binary: fpc-3.0.0 fpc-source-3.0.0 fp-compiler-3.0.0 fp-ide-3.0.0
fp-utils-3.0.0 fp-docs-3.0.0 fp-units-rtl-3.0.0 fp-units-base-3.0.0
fp-units-fcl-3.0.0 fp-units-fv-3.0.0 fp-units-gtk2-3
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 20:31:07 +0100
Source: vsearch
Binary: vsearch
Architecture: source amd64
Version: 1.9.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Med Packaging Team
Changed-By: Andreas Tille
Description:
vsea
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 20:06:40 +0100
Source: abcmidi
Binary: abcmidi abcmidi-dbg
Architecture: source amd64
Version: 20151110-1
Distribution: unstable
Urgency: medium
Maintainer: Ross Gammon
Changed-By: Ross Gammon
Description:
abcmid
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 21:54:18 +0400
Source: kerneloops
Binary: kerneloops kerneloops-applet
Architecture: source
Version: 0.12+git20140509-2
Distribution: unstable
Urgency: medium
Maintainer: Balint Reczey
Changed-By: Balint Reczey
De
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 14 Nov 2015 19:46:57 +0100
Source: cargo
Binary: cargo
Architecture: source
Version: 0.3.0-2
Distribution: unstable
Urgency: medium
Maintainer: Rust Maintainers
Changed-By: Luca Bruno
Description:
cargo - Rust package man
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 14:01:54 -0400
Source: owncloud-news
Binary: owncloud-news python3-owncloud-news-updater
Architecture: source
Version: 6.1.1+dfsg-1
Distribution: experimental
Urgency: medium
Maintainer: ownCloud for Debian maintain
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 23:46:43 +0500
Source: cpuid
Binary: cpuid
Architecture: source
Version: 20151017-1
Distribution: unstable
Urgency: medium
Maintainer: Andrey Rahmatullin
Changed-By: Andrey Rahmatullin
Description:
cpuid - t
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 15:26:30 -0300
Source: docker-compose
Binary: docker-compose
Architecture: source all
Version: 1.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Felipe Sateler
Changed-By: Felipe Sateler
Description:
doc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 12:26:04 -0500
Source: python-letsencrypt
Binary: python-letsencrypt letsencrypt python-letsencrypt-doc
Architecture: source all
Version: 0.0.0.dev20151114-1
Distribution: experimental
Urgency: medium
Maintainer: De
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 19:17:40 +0100
Source: qt-at-spi
Binary: qt-at-spi qt-at-spi-doc
Architecture: source all amd64
Version: 0.4.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Accessibility Team
Changed-By: Samuel Thiba
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 14 Nov 2015 19:10:01 +0100
Source: cme
Binary: cme
Architecture: source all
Version: 1.008-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Perl Group
Changed-By: Dominique Dumont
Description:
cme- Check or
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 12:07:50 -0500
Source: python-acme
Binary: python-acme python3-acme python-acme-doc
Architecture: source all
Version: 0.0.0.dev20151114-1
Distribution: experimental
Urgency: medium
Maintainer: Debian Let's Encrypt
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 12:30:31 -0500
Source: python-letsencrypt-apache
Binary: python-letsencrypt-apache python-letsencrypt-apache-doc
Architecture: source all
Version: 0.0.0.dev20151114-1
Distribution: experimental
Urgency: medium
Maint
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 17:42:24 +
Source: wine-development
Binary: wine-development wine32-development wine64-development
wine32-development-preloader wine64-development-preloader
wine32-development-tools wine64-development-tools fo
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 14 Nov 2015 18:28:23 +0100
Source: coyote
Binary: gdl-coyote
Architecture: source
Version: 2015.06.20-4
Distribution: unstable
Urgency: low
Maintainer: Debian Astronomy Team
Changed-By: Ole Streicher
Description:
gdl-coyote -
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 14 Nov 2015 17:29:15 +0100
Source: cargo
Binary: cargo
Architecture: source
Version: 0.3.0-1
Distribution: unstable
Urgency: medium
Maintainer: Rust Maintainers
Changed-By: Luca Bruno
Description:
cargo - Rust package man
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 14 Nov 2015 18:26:20 +0100
Source: mpfit
Binary: gdl-mpfit
Architecture: source
Version: 1.82+2013.08.14-3
Distribution: unstable
Urgency: low
Maintainer: Debian Astronomy Team
Changed-By: Ole Streicher
Description:
gdl-mpfit
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 21 Jan 2015 19:28:21 +0100
Source: wims
Binary: wims wims-modules wims-java-applets flydraw
Architecture: source amd64 all
Version: 1:4.11a~dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Georges Khaznadar
Changed-B
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 16:39:26 +0100
Source: guice
Binary: libguice-java libguice-java-doc
Architecture: source
Version: 4.0~beta5-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Java Maintainers
Changed-By: Markus Koschany
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 09 Nov 2015 14:00:17 +0100
Source: openscad
Binary: openscad openscad-testing openscad-testing-data openscad-dbg
Architecture: source amd64 all
Version: 2015.03-1+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Christ
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 14 Nov 2015 16:34:33 +0100
Source: hw-detect
Binary: hw-detect ethdetect disk-detect driver-injection-disk-detect archdetect
Architecture: source
Version: 1.114
Distribution: unstable
Urgency: high
Maintainer: Debian Install Syst
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 09:22:47 -0600
Source: u-boot
Binary: u-boot u-boot-imx u-boot-tegra u-boot-omap u-boot-sunxi u-boot-exynos
u-boot-rockchip u-boot-tools
Architecture: source
Version: 2015.10+dfsg1-2
Distribution: unstable
Urgency:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 15:44:03 +0100
Source: nautilus
Binary: nautilus nautilus-dbg libnautilus-extension1a libnautilus-extension-dev
gir1.2-nautilus-3.0 nautilus-data
Architecture: source
Version: 3.18.2-1
Distribution: unstable
Urgenc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 15:38:52 +0100
Source: glpk-java
Binary: libglpk-java
Architecture: source amd64
Version: 1.3.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team
Changed-By: Sébastien Villemot
Description:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 14:59:04 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.5~beta3+dfsg-2
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maint
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 13:38:42 +
Source: apparmor-profiles-extra
Binary: apparmor-profiles-extra
Architecture: source
Version: 1.6
Distribution: unstable
Urgency: medium
Maintainer: Debian AppArmor Team
Changed-By: intrigeri
Closes
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 13:40:15 +0100
Source: net-luminis-build-plugin
Binary: libnet-luminis-build-plugin-java
Architecture: source
Version: 0.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Java Maintainers
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 20:27:02 +0800
Source: mrd6
Binary: mrd6
Architecture: source amd64
Version: 0.9.6-12
Distribution: unstable
Urgency: medium
Maintainer: Thomas Preud'homme
Changed-By: Thomas Preud'homme
Description:
mrd6 -
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 07:50:04 +0100
Source: qwt
Binary: libqwt-headers libqwt-dev libqwt6abi1 libqwtmathml-dev
libqwtmathml6abi1 libqwt-qt5-dev libqwt-qt5-6 libqwtmathml-qt5-dev
libqwtmathml-qt5-6 libqwt-doc
Architecture: all source
V
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 13:06:10 +0100
Source: gmt
Binary: gmt gmt-common libgmt5 libgmt-dev gmt-dbg gmt-doc gmt-examples
Architecture: source all amd64
Version: 5.2.1+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian GIS Pr
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 10:46:49 -0200
Source: chake
Binary: chake
Architecture: source
Version: 0.11-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Ruby Extras Maintainers
Changed-By: Antonio Terceiro
Description:
chake
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 12:55:37 +0100
Source: ejabberd
Binary: ejabberd
Architecture: source amd64
Version: 15.10-3
Distribution: unstable
Urgency: medium
Maintainer: Ejabberd Packaging Team
Changed-By: Philipp Huebner
Description:
eja
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 10:33:25 +0100
Source: xserver-xorg-video-ati
Binary: xserver-xorg-video-ati xserver-xorg-video-ati-dbg
xserver-xorg-video-radeon xserver-xorg-video-radeon-dbg
Architecture: source
Version: 1:7.6.1-1
Distribution:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 07 Nov 2015 08:50:49 +0100
Source: sane-backends
Binary: sane-utils libsane-common libsane libsane-dev libsane-bin libsane-dbg
Architecture: source amd64 all
Version: 1.0.25-2
Distribution: unstable
Urgency: medium
Maintainer:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 10:39:00 +0100
Source: adacontrol
Binary: adacontrol
Architecture: source
Version: 1.17r3.1-1
Distribution: unstable
Urgency: medium
Maintainer: Ludovic Brenta
Changed-By: Nicolas Boulenguez
Description:
adacont
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 14:44:48 +0700
Source: php-text-captcha
Binary: php-text-captcha
Architecture: source all
Version: 1.0.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian PHP PEAR Maintainers
Changed-By: Prach Pongpanich
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 14 Nov 2015 17:00:41 +0900
Source: xmlto
Binary: xmlto
Architecture: source amd64
Version: 0.0.27-0.1
Distribution: unstable
Urgency: medium
Maintainer: Debian XML/SGML Group
Changed-By: Hideki Yamane
Description:
xmlto
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 14 Nov 2015 10:04:44 +0100
Source: libxmu
Binary: libxmu6 libxmu6-dbg libxmu-dev libxmuu1 libxmuu1-dbg libxmuu-dev
libxmu-headers
Architecture: source
Version: 2:1.1.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debia
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 13 Nov 2015 11:27:35 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.5~beta3+dfsg-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maint
64 matches
Mail list logo