messages from 2016-11-18 22:41:26 to 2016-11-20 07:59:57 UTC [more...]
[gentoo-commits] repo/gentoo:master commit in: media-gfx/fontforge/
2016-11-20 7:59 UTC
[gentoo-commits] repo/gentoo:master commit in: media-libs/imlib/
2016-11-20 7:52 UTC
[gentoo-commits] repo/gentoo:master commit in: media-libs/imlib2/
2016-11-20 7:28 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-db/etcd/
2016-11-20 6:58 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-devel/llvm/
2016-11-20 6:58 UTC
[gentoo-commits] repo/gentoo:master commit in: www-client/firefox/
2016-11-20 6:13 UTC
[gentoo-commits] repo/gentoo:master commit in: www-client/firefox/
2016-11-20 6:13 UTC
[gentoo-commits] repo/gentoo:master commit in: mail-client/thunderbird/
2016-11-20 6:13 UTC
[gentoo-commits] repo/gentoo:master commit in: www-client/firefox-bin/
2016-11-20 6:13 UTC
[gentoo-commits] repo/gentoo:master commit in: mail-client/thunderbird-bin/
2016-11-20 6:13 UTC
[gentoo-commits] repo/gentoo:master commit in: www-client/firefox-bin/
2016-11-20 6:13 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/suds/
2016-11-20 5:56 UTC
[gentoo-commits] repo/gentoo:master commit in: media-gfx/potrace/
2016-11-20 5:44 UTC
[gentoo-commits] repo/gentoo:master commit in: net-misc/tlsdate/files/, net-misc/tlsdate/
2016-11-20 5:30 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/semodule-utils/
2016-11-20 5:27 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/policycoreutils/
2016-11-20 5:27 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/selinux-python/
2016-11-20 5:27 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-libs/libsemanage/files/, sys-libs/libsemanage/
2016-11-20 5:27 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/s390-tools/files/, sys-apps/s390-tools/
2016-11-20 5:23 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/s390-tools/
2016-11-20 5:23 UTC
[gentoo-commits] proj/mozilla:master commit in: www-client/firefox/
2016-11-20 4:04 UTC
[gentoo-commits] proj/mozilla:master commit in: www-client/firefox/
2016-11-20 3:07 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/secretstorage/
2016-11-20 2:28 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/keyring/
2016-11-20 2:28 UTC
[gentoo-commits] repo/gentoo:master commit in: www-client/chromium/
2016-11-20 2:12 UTC
[gentoo-commits] repo/gentoo:master commit in: www-client/chromium/
2016-11-20 2:12 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/PDF-Create/
2016-11-20 2:03 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/YAML/
2016-11-20 1:53 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Net-Twitter/
2016-11-20 1:45 UTC
[gentoo-commits] proj/mozilla:master commit in: www-client/firefox/
2016-11-20 1:44 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/CGI-Fast/
2016-11-20 1:21 UTC
[gentoo-commits] repo/gentoo:master commit in: media-libs/mesa/
2016-11-20 1:20 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Digest-JHash/
2016-11-20 1:07 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Devel-CheckCompiler/
2016-11-20 1:01 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-db/etcd/
2016-11-20 0:55 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/DBD-mysql/
2016-11-20 0:54 UTC
[gentoo-commits] repo/gentoo:master commit in: app-admin/consul/
2016-11-20 0:37 UTC
[gentoo-commits] repo/gentoo:master commit in: app-emulation/rkt/
2016-11-20 0:08 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Mail-Sender/
2016-11-19 23:57 UTC
[gentoo-commits] repo/gentoo:master commit in: mail-mta/msmtp/
2016-11-19 23:45 UTC
[gentoo-commits] repo/gentoo:master commit in: app-office/libreoffice/
2016-11-19 23:11 UTC
[gentoo-commits] repo/gentoo:master commit in: kde-misc/kimtoy/
2016-11-19 22:58 UTC
[gentoo-commits] proj/kde-sunset:master commit in: kde-misc/kimtoy/
2016-11-19 22:57 UTC
[gentoo-commits] repo/gentoo:master commit in: app-office/libreoffice/
2016-11-19 22:41 UTC
[gentoo-commits] repo/gentoo:master commit in: kde-misc/colord-kde/files/, kde-misc/colord-kde/
2016-11-19 22:10 UTC
[gentoo-commits] proj/kde-sunset:master commit in: kde-misc/colord-kde/files/, kde-misc/colord-kde/
2016-11-19 22:09 UTC
[gentoo-commits] repo/gentoo:master commit in: kde-misc/systemd-kcm/
2016-11-19 22:00 UTC
[gentoo-commits] repo/gentoo:master commit in: app-emulation/runc/
2016-11-19 22:00 UTC
[gentoo-commits] proj/kde-sunset:master commit in: kde-misc/systemd-kcm/
2016-11-19 21:58 UTC
[gentoo-commits] repo/gentoo:master commit in: app-admin/puppetdb/
2016-11-19 21:21 UTC
[gentoo-commits] repo/gentoo:master commit in: app-admin/puppetserver/
2016-11-19 21:21 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-util/rebar/
2016-11-19 21:10 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-util/rebar/
2016-11-19 21:10 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/promise/
2016-11-19 21:08 UTC
[gentoo-commits] repo/gentoo:master commit in: www-apps/trac-mercurial/
2016-11-19 21:04 UTC
[gentoo-commits] repo/gentoo:master commit in: www-apps/trac-accountmanager/
2016-11-19 21:04 UTC
[gentoo-commits] repo/gentoo:master commit in: www-client/google-chrome-unstable/
2016-11-19 21:00 UTC
[gentoo-commits] repo/gentoo:master commit in: www-plugins/chrome-binary-plugins/
2016-11-19 21:00 UTC
[gentoo-commits] repo/gentoo:master commit in: mail-filter/rmilter/
2016-11-19 20:59 UTC
[gentoo-commits] repo/gentoo:master commit in: mail-filter/rmilter/
2016-11-19 20:59 UTC
[gentoo-commits] repo/gentoo:master commit in: www-apps/trac/
2016-11-19 20:56 UTC
[gentoo-commits] repo/gentoo:master commit in: mail-filter/postsrsd/, mail-filter/postsrsd/files/
2016-11-19 20:56 UTC
[gentoo-commits] repo/gentoo:master commit in: www-apps/trac/
2016-11-19 20:56 UTC
[gentoo-commits] repo/gentoo:master commit in: net-analyzer/nagios-check_logfiles/
2016-11-19 20:52 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-process/fcron/files/
2016-11-19 20:49 UTC
[gentoo-commits] repo/gentoo:master commit in: app-emulation/rkt/
2016-11-19 20:47 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-lang/rust/
2016-11-19 20:39 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-util/cargo/
2016-11-19 20:39 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-lang/rust-bin/
2016-11-19 20:39 UTC
[gentoo-commits] proj/kde:master commit in: kde-frameworks/knewstuff/
2016-11-19 20:06 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/messagelib/
2016-11-19 19:50 UTC
[gentoo-commits] repo/gentoo:master commit in: app-emulation/runc/
2016-11-19 19:49 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/kstars/
2016-11-19 19:46 UTC
[gentoo-commits] repo/gentoo:master commit in: sci-libs/indilib/
2016-11-19 19:44 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-kernel/vanilla-sources/
2016-11-19 19:39 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-kernel/vanilla-sources/
2016-11-19 19:39 UTC
[gentoo-commits] repo/gentoo:master commit in: app-emulation/rkt/
2016-11-19 19:01 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-process/fcron/files/, sys-process/fcron/
2016-11-19 18:56 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-vcs/cvs/, dev-vcs/cvs/files/
2016-11-19 18:55 UTC
[gentoo-commits] repo/gentoo:master commit in: /
2016-11-19 18:55 UTC
[gentoo-commits] repo/gentoo:master commit in: media-video/kaffeine/
2016-11-19 18:54 UTC
[gentoo-commits] repo/gentoo:master commit in: media-video/kaffeine/
2016-11-19 18:44 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/httplib2/, dev-python/httplib2/files/
2016-11-19 18:42 UTC
[gentoo-commits] proj/kde:master commit in: kde-frameworks/ktexteditor/
2016-11-19 18:33 UTC
[gentoo-commits] repo/gentoo:master commit in: app-crypt/gnupg/
2016-11-19 18:30 UTC
[gentoo-commits] repo/gentoo:master commit in: net-analyzer/ntopng/files/, net-analyzer/ntopng/
2016-11-19 18:25 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/mysql-connector-python/
2016-11-19 18:05 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/mysql-connector-python/
2016-11-19 18:02 UTC
[gentoo-commits] repo/gentoo:master commit in: sci-libs/opencascade/
2016-11-19 17:56 UTC
[gentoo-commits] repo/gentoo:master commit in: kde-misc/kdeconnect/, kde-misc/kdeconnect/files/
2016-11-19 17:25 UTC
[gentoo-commits] proj/kde-sunset:master commit in: kde-misc/kdeconnect/, kde-misc/kdeconnect/files/
2016-11-19 17:24 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-java/icedtea-bin/
2016-11-19 17:18 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-java/icedtea/
2016-11-19 17:18 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-java/icedtea/
2016-11-19 17:18 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-java/icedtea-bin/
2016-11-19 17:18 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-java/icedtea/
2016-11-19 17:18 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-java/gcj-jdk/
2016-11-19 17:18 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-java/icedtea/
2016-11-19 17:18 UTC
[gentoo-commits] repo/gentoo:master commit in: media-gfx/pqiv/
2016-11-19 17:14 UTC
[gentoo-commits] repo/gentoo:master commit in: sci-biology/meme/files/, sci-biology/meme/
2016-11-19 17:03 UTC
[gentoo-commits] proj/qt:master commit in: eclass/
2016-11-19 16:59 UTC
[gentoo-commits] repo/gentoo:master commit in: net-im/jabberd2/
2016-11-19 16:45 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/files/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/files/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/files/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/, net-nntp/sabnzbd/files/patches/,
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nntp/sabnzbd/, net-nntp/sabnzbd/files/
2016-11-19 16:34 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-kernel/gentoo-sources/
2016-11-19 16:17 UTC
[gentoo-commits] repo/gentoo:master commit in: net-wireless/blueberry/
2016-11-19 16:03 UTC
[gentoo-commits] repo/gentoo:master commit in: net-firewall/ipsec-tools/files/, net-firewall/ipsec-tools/
2016-11-19 15:37 UTC
[gentoo-commits] proj/linux-patches: New tag: 4.4-35
2016-11-19 15:22 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/gradm/
2016-11-19 15:13 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/gradm/
2016-11-19 15:13 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-kernel/gentoo-sources/
2016-11-19 14:59 UTC
[gentoo-commits] proj/linux-patches: New tag: 4.8-10
2016-11-19 14:14 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-db/redis/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: media-libs/giflib/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-php/pecl-http/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: app-arch/p7zip/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nds/openldap/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-php/pecl-raphf/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-php/pecl-propro/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: net-libs/libupnp/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-libs/expat/
2016-11-19 13:55 UTC
[gentoo-commits] repo/gentoo:master commit in: app-arch/p7zip/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-db/redis/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: net-libs/libupnp/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: media-libs/giflib/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: net-nds/openldap/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-php/pecl-raphf/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-php/pecl-propro/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-php/pecl-http/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-libs/expat/
2016-11-19 13:53 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Math-CDF/
2016-11-19 13:47 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/XML-Compile-WSDL11/
2016-11-19 13:37 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/XML-Compile-Tester/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/XML-Compile-SOAP/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/XML-Compile-Cache/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/XML-Compile/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Unicode-LineBreak/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/String-Print/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Log-Report/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Data-Validate-IP/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Log-Report-Optional/
2016-11-19 13:23 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-libs/libgpg-error/
2016-11-19 13:21 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-devel/binutils-hppa64/
2016-11-19 12:49 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Clipboard/
2016-11-19 11:41 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Clipboard/
2016-11-19 11:41 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Clipboard/files/, dev-perl/Clipboard/
2016-11-19 11:33 UTC
[gentoo-commits] repo/gentoo:master commit in: x11-libs/c++-gtk-utils/
2016-11-19 11:27 UTC
[gentoo-commits] repo/gentoo:master commit in: x11-libs/c++-gtk-utils/
2016-11-19 11:27 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-db/redis/
2016-11-19 11:24 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-db/redis/
2016-11-19 11:17 UTC
[gentoo-commits] repo/gentoo:master commit in: app-text/kchmviewer/
2016-11-19 11:08 UTC
[gentoo-commits] repo/gentoo:master commit in: app-text/kchmviewer/
2016-11-19 11:08 UTC
[gentoo-commits] proj/linux-patches:4.8 commit in: /
2016-11-19 11:05 UTC
[gentoo-commits] proj/kde:master commit in: kde-plasma/kinfocenter/files/
2016-11-19 11:03 UTC
[gentoo-commits] proj/linux-patches:4.4 commit in: /
2016-11-19 11:03 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-libs/kreport/
2016-11-19 10:58 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/kpat/
2016-11-19 10:47 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/konqueror/
2016-11-19 10:47 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/kcachegrind/
2016-11-19 10:47 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/kio-extras/
2016-11-19 10:47 UTC
[gentoo-commits] proj/kde:master commit in: eclass/
2016-11-19 10:43 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/marble/
2016-11-19 10:43 UTC
[gentoo-commits] proj/kde:master commit in: dev-libs/kreport/
2016-11-19 10:43 UTC
[gentoo-commits] proj/kde:master commit in: kde-apps/libkipi/
2016-11-19 10:43 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Contextual-Return/
2016-11-19 10:04 UTC
[gentoo-commits] repo/gentoo:master commit in: kde-plasma/plasma-workspace/
2016-11-19 9:36 UTC
[gentoo-commits] repo/gentoo:master commit in: media-gfx/povray/
2016-11-19 9:25 UTC
[gentoo-commits] repo/gentoo:master commit in: x11-misc/kbdd/
2016-11-19 9:23 UTC
[gentoo-commits] repo/gentoo:master commit in: net-analyzer/tcpreplay/files/, net-analyzer/tcpreplay/
2016-11-19 9:20 UTC
[gentoo-commits] repo/gentoo:master commit in: net-analyzer/tcptraceroute/
2016-11-19 8:55 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-kernel/gentoo-sources/
2016-11-19 8:42 UTC
[gentoo-commits] repo/gentoo:master commit in: net-analyzer/wireshark/
2016-11-19 8:35 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-python/pillow/
2016-11-19 8:35 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-apps/s390-tools/
2016-11-19 6:22 UTC
[gentoo-commits] proj/devmanual:master commit in: general-concepts/virtuals/, ebuild-maintenance/, profiles/categories/,
2016-11-19 5:32 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/JSON-Parse/
2016-11-19 4:15 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/Crypt-OpenSSL-DSA/
2016-11-19 4:06 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-perl/PDF-Create/
2016-11-19 4:06 UTC
[gentoo-commits] repo/gentoo:master commit in: profiles/, dev-perl/Math-BigInt-GMP/
2016-11-19 3:19 UTC
[gentoo-commits] repo/gentoo:master commit in: virtual/perl-Math-BigInt/, perl-core/Math-BigInt/, profiles/
2016-11-19 3:19 UTC
[gentoo-commits] repo/gentoo:master commit in: profiles/arch/powerpc/ppc64/
2016-11-19 1:13 UTC
[gentoo-commits] repo/gentoo:master commit in: net-analyzer/thc-ipv6/, net-analyzer/thc-ipv6/files/
2016-11-19 0:17 UTC
[gentoo-commits] repo/gentoo:master commit in: sys-power/apcupsd/
2016-11-18 23:39 UTC
[gentoo-commits] repo/gentoo:master commit in: dev-db/redis/files/, dev-db/redis/
2016-11-18 23:25 UTC
[gentoo-commits] repo/gentoo:master commit in: profiles/
2016-11-18 23:25 UTC
[gentoo-commits] repo/gentoo:master commit in: profiles/
2016-11-18 23:24 UTC
[gentoo-commits] repo/gentoo:master commit in: app-emulation/docker-compose/
2016-11-18 22:57 UTC
[gentoo-commits] repo/gentoo:master commit in: app-emulation/docker-compose/
2016-11-18 22:57 UTC
[gentoo-commits] repo/gentoo:master commit in: app-crypt/gnupg/
2016-11-18 22:51 UTC
[gentoo-commits] repo/gentoo:master commit in: app-crypt/gnupg/
2016-11-18 22:49 UTC
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/agda/
2016-11-18 22:41 UTC
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox