messages from 2017-10-14 22:27:10 to 2017-10-21 16:23:08 UTC [more...]
[bug#28925] [PATCH] Update coq and coq libraries
2017-10-21 16:20 UTC (7+ messages)
` [bug#28925] [PATCH 1/7] gnu: camlp5: install META file
` [bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20
` [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0
` [bug#28925] [PATCH 3/7] gnu: Update coq-flocq to 2.6.0
` [bug#28925] [PATCH 4/7] gnu: Update coq-mathcomp to 1.6.2
` [bug#28925] [PATCH 7/7] gnu: Update coq-interval to 3.3.0
[bug#27749] [PATCH] gnu: heimdal: Update to 7.4.0 [fixes CVE-2017-11103]
2017-10-21 9:52 UTC (8+ messages)
[bug#28884] [PATCH 00/38] Add ghc-aws and its dependencies
2017-10-21 9:40 UTC (40+ messages)
` [bug#28884] [PATCH 01/38] gnu: Add ghc-errors
` [bug#28884] [PATCH 02/38] gnu: Add ghc-vector-th-unbox
` [bug#28884] [PATCH 03/38] gnu: Add ghc-erf
` [bug#28884] [PATCH 04/38] gnu: Add ghc-math-functions
` [bug#28884] [PATCH 05/38] gnu: Add ghc-mwc-random
` [bug#28884] [PATCH 06/38] gnu: Add ghc-vector-algorithms
` [bug#28884] [PATCH 07/38] gnu: Add ghc-language-haskell-extract
` [bug#28884] [PATCH 08/38] gnu: Add ghc-test-framework-th
` [bug#28884] [PATCH 09/38] gnu: Add ghc-abstract-par
` [bug#28884] [PATCH 10/38] gnu: Add ghc-monad-par-extras
` [bug#28884] [PATCH 11/38] gnu: Add ghc-abstract-deque
` [bug#28884] [PATCH 12/38] gnu: Add ghc-monad-par
` [bug#28884] [PATCH 13/38] gnu: ghc-base-orphans: Update to 0.6
` [bug#28884] [PATCH 14/38] gnu: Add ghc-statistics
` [bug#28884] [PATCH 15/38] gnu: Add ghc-chunked-data
` [bug#28884] [PATCH 16/38] gnu: Add ghc-base-prelude
` [bug#28884] [PATCH 17/38] gnu: Add ghc-tuple-th
` [bug#28884] [PATCH 18/38] gnu: Add ghc-contravariant-extras
` [bug#28884] [PATCH 19/38] gnu: Add ghc-monadrandom
` [bug#28884] [PATCH 20/38] gnu: Add ghc-either
` [bug#28884] [PATCH 21/38] gnu: Add ghc-entropy
` [bug#28884] [PATCH 22/38] gnu: Add ghc-crypto-api
` [bug#28884] [PATCH 23/38] gnu: Add ghc-crypto-api-tests
` [bug#28884] [PATCH 24/38] gnu: Add ghc-pretty-hex
` [bug#28884] [PATCH 25/38] gnu: Add ghc-puremd5
` [bug#28884] [PATCH 26/38] gnu: Add ghc-cryptohash-md5
` [bug#28884] [PATCH 27/38] gnu: Add ghc-cryptohash-sha1
` [bug#28884] [PATCH 28/38] gnu: Add ghc-network-info
` [bug#28884] [PATCH 29/38] gnu: Add ghc-uuid-types
` [bug#28884] [PATCH 30/38] gnu: Add ghc-uuid
` [bug#28884] [PATCH 31/38] gnu: Add ghc-rebase
` [bug#28884] [PATCH 32/38] gnu: Add ghc-vector-builder
` [bug#28884] [PATCH 33/38] gnu: Add ghc-foldl
` [bug#28884] [PATCH 34/38] gnu: Add ghc-mono-traversable
` [bug#28884] [PATCH 35/38] gnu: ghc-conduit: Update to 1.2.12.1
` [bug#28884] [PATCH 36/38] gnu: ghc-conduit: Fix lint error
` [bug#28884] [PATCH 37/38] gnu: Add ghc-conduit-combinators
` [bug#28884] [PATCH 38/38] gnu: Add ghc-aws
[bug#28913] gnu: Add criu
2017-10-21 0:55 UTC (3+ messages)
` [bug#28913] [PATCH 1/2] gnu: Add libnet
` [bug#28913] [PATCH 2/2] gnu: Add criu
[bug#27549] [PATCH] gnu: vpnc: Update to 0.5.3, revision-550
2017-10-18 22:14 UTC (6+ messages)
[bug#28690] provide a lib output for boost
2017-10-20 20:14 UTC (13+ messages)
[bug#28594] nototools (required for building Noto from source)
2017-10-20 20:09 UTC (9+ messages)
[bug#28917] gst-transcoder + python-pycanberra + gavl (pitivi dependencies)
2017-10-20 19:35 UTC
bug#26602: Add aegisub
2017-10-20 17:44 UTC (7+ messages)
` [bug#26602] "
[bug#28558] [PATCH] gnu: Add atool
2017-10-18 21:10 UTC (6+ messages)
` bug#28558: "
[bug#28593] [PATCH] gnu: openfoam: Clean up to reduce closure
2017-10-20 15:28 UTC (12+ messages)
[bug#28832] [PATCH 0/3] gnu: Add emacs-json-mode
2017-10-20 12:41 UTC (5+ messages)
` [bug#28832] [PATCH 1/3] gnu: Add emacs-json-reformat
` [bug#28832] [PATCH 2/3] gnu: Add emacs-json-snatcher
[bug#28908] shellcheck: Update to 0.4.6
2017-10-20 12:28 UTC (2+ messages)
` bug#28908: "
[bug#28900] [PATCH] doc: Clarify description of etc-service-type
2017-10-19 21:14 UTC (2+ messages)
[bug#27888] [PATCH 01/18] gnu: python@3: Update to 3.6.2
2017-10-19 18:15 UTC (8+ messages)
` bug#27888: "
[bug#28887] [PATCH 0/1] gnu: Add python-hy
2017-10-19 15:14 UTC (5+ messages)
` [bug#28887] [PATCH 1/1] "
` bug#28887: "
bug#26967: alpine: provide system-wide config
2017-10-18 22:54 UTC (5+ messages)
` [bug#26967] "
[bug#28866] [PATCH] gnu: emacs: Fix Man looks for C header files
2017-10-19 10:17 UTC (3+ messages)
` bug#28866: "
[bug#28711] [PATCH] gnu: speex: Build and install 'speexdec' and 'speexenc'
2017-10-19 10:15 UTC (3+ messages)
` bug#28711: "
[bug#28853] Some virt-manager improvements
2017-10-19 10:01 UTC (19+ messages)
` [bug#28853] [PATCH 1/8] gnu: virt-manager: Enable gtk schemas and glib modules support
` [bug#28853] [PATCH 2/8] gnu: qemu: Enable spice usb redirection support
` [bug#28853] [PATCH 3/8] gnu: spice-gtk: Enable GObject introspection support
` [bug#28853] [PATCH 4/8] gnu: virt-manager: Enable spice-gtk support
` [bug#28853] [PATCH 5/8] gnu: qemu: Add OpenGL support
` [bug#28853] [PATCH 6/8] gnu: virt-manager: Enable statistics graphing support
` [bug#28853] [PATCH 7/8] gnu: virt-manager: Fix default URI check
` [bug#28853] [PATCH 8/8] gnu: virt-manager: Enable persistent configuration support
[bug#28841] [PATCH] New java packages
2017-10-19 9:57 UTC (29+ messages)
` [bug#28841] [PATCH 01/24] gnu: Add java-hdrhistogram
` [bug#28841] [PATCH 02/24] gnu: Add java-tomcat
` [bug#28841] [PATCH 03/24] gnu: Add java-eclipse-jetty-test-helper
` [bug#28841] [PATCH 06/24] gnu: Add java-eclipse-jetty-util-9.2
` [bug#28841] [PATCH 08/24] gnu: Add java-eclipse-jetty-io-9.2
` [bug#28841] [PATCH 09/24] gnu: Add java-eclipse-jetty-http
` [bug#28841] [PATCH 10/24] gnu: Add java-eclipse-jetty-http-9.2
` [bug#28841] [PATCH 11/24] gnu: Add java-eclipse-jetty-jmx
` [bug#28841] [PATCH 12/24] gnu: Add java-eclipse-jetty-jmx-9.2
` [bug#28841] [PATCH 13/24] gnu: Add java-eclipse-jetty-server
` [bug#28841] [PATCH 14/24] gnu: Add java-eclipse-jetty-server-9.2
` [bug#28841] [PATCH 15/24] gnu: Add java-eclipse-jetty-security
` [bug#28841] [PATCH 16/24] gnu: Add java-eclipse-jetty-security-9.2
` [bug#28841] [PATCH 17/24] gnu: Add java-eclipse-jetty-servlet
` [bug#28841] [PATCH 18/24] gnu: Add java-eclipse-jetty-servlet-9.2
` [bug#28841] [PATCH 19/24] gnu: Add java-aopalliance
` [bug#28841] [PATCH 20/24] gnu: Add java-javax-inject
` [bug#28841] [PATCH 21/24] gnu: Add java-guice
` [bug#28841] [PATCH 22/24] gnu: Add java-guice-servlet
` [bug#28841] [PATCH 23/24] gnu: Add java-assertj
` [bug#28841] [PATCH 24/24] gnu: Add java-jboss-javassist
[bug#28880] [PATCH] gnu: Patch ikiwiki to set PERL5LIB in the CGI wrapper
2017-10-19 7:35 UTC (2+ messages)
[bug#28004] Chromium
2017-10-19 5:48 UTC (7+ messages)
[bug#27898] Clean-up of package phases
2017-10-18 23:29 UTC (2+ messages)
` bug#27898: "
[bug#27566] [PATCH] ui: spinner-port: New variable. Export it
2017-10-18 22:57 UTC (3+ messages)
[bug#27554] Add dirvish and dependencies
2017-10-18 23:16 UTC (4+ messages)
` bug#27554: "
[bug#27893] [PATCH] gnu: julia: Work around some test failures related to libgit2
2017-10-18 21:15 UTC (4+ messages)
[bug#27774] [PATCH] gnu: add libgeotiff
2017-10-18 21:20 UTC (6+ messages)
[bug#28739] [PATCH 0/5] Update python{,2}-a*
2017-10-18 20:57 UTC (3+ messages)
` [bug#28737] [PATCH 2/5] gnu: python-arrow: Update to 0.10.0
` bug#28737: "
[bug#28886] [PATCH] gnu: Add emacs-robe
2017-10-18 20:31 UTC (2+ messages)
[bug#28773] [PATCH] Wrap bin files in the ruby build system
2017-10-18 10:39 UTC (3+ messages)
[bug#28885] [PATCH] Add ruby-iruby and dependencies
2017-10-18 6:03 UTC (10+ messages)
` [bug#28885] [PATCH 1/9] gnu: networking: Add czmq
` [bug#28885] [PATCH 2/9] gnu: Add ruby-mocha-on-bacon
` [bug#28885] [PATCH 3/9] gnu: Add ruby-bacon-bits
` [bug#28885] [PATCH 4/9] gnu: Add ruby-bond
` [bug#28885] [PATCH 5/9] gnu: Add ruby-czmq-ffi-gen
` [bug#28885] [PATCH 6/9] gnu: Add ruby-cztop
` [bug#28885] [PATCH 7/9] gnu: Add ruby-data_uri
` [bug#28885] [PATCH 8/9] gnu: Add ruby-mimemagic
` [bug#28885] [PATCH 9/9] gnu: Add ruby-iruby
[bug#28869] [PATCH] gnu: wpa-supplicant: Fix "KRACK" key reinstallation attacks [security fixes]
2017-10-17 20:13 UTC (5+ messages)
` [bug#28869] gnu: wpa-supplicant: Fix "KRACK" key re-installation "
` bug#28869: [PATCH] gnu: wpa-supplicant: Fix "KRACK" key reinstallation "
[bug#27537] [PATCH 1/6] gnu: Add java-classpathx-servletapi
2017-10-17 14:57 UTC (4+ messages)
` [bug#27537] [PATCH 6/6] gnu: Add Axoloti
` bug#27537: "
[bug#28778] [PATCH 1/2] gnu: Add python2-neo4j-driver
2017-10-17 8:08 UTC (5+ messages)
` [bug#28778] [PATCH 2/2] gnu: Add python2-py2neo
` bug#28778: [PATCH 1/2] gnu: Add python2-neo4j-driver
[bug#27791] [PATCH] gnu: Add passmenu
2017-10-16 22:09 UTC (5+ messages)
[bug#28769] [PATCH] gnu: services: Add php-fpm
2017-10-16 21:38 UTC (3+ messages)
[bug#27548] [PATCH] gnu: Add python-xenon
2017-10-16 13:25 UTC (3+ messages)
` bug#27548: "
[bug#28830] [PATCH] gnu: Add emacs-ggtags
2017-10-16 10:22 UTC (3+ messages)
[bug#28829] [PATCH] gnu: Add emacs-company-quickhelp
2017-10-16 10:15 UTC (3+ messages)
[bug#28805] [PATCH] gnu: Add emacs-org-plus-contrib
2017-10-16 7:40 UTC (7+ messages)
` bug#28805: "
[bug#28794] [PATCH] gnu: games: Add openrct2
2017-10-16 7:40 UTC (6+ messages)
[bug#28820] [PATCH] gnu: glib: Update to 2.54.1
2017-10-16 7:34 UTC (2+ messages)
` bug#28820: "
[bug#28516] Cinnamon-Desktop (a package, not the full desktop!)
2017-10-15 19:40 UTC (5+ messages)
` bug#28516: "
[bug#28783] Some of the python-autobahn dependencies
2017-10-15 19:34 UTC (4+ messages)
` bug#28783: "
[bug#28787] [PATCH] emacs-build-system: Improve command patching
2017-10-15 18:09 UTC (7+ messages)
` [bug#28787] [PATCH 1/2] emacs-build-system: Handle missing programs when patching
` [bug#28787] [PATCH 2/2] emacs-build-system: Change how patch-el-files substitutes commands
` bug#28787: "
[bug#27955] [cuirass] doc: Clarify the relationship of "repo_name" and "name"
2017-10-15 3:20 UTC (5+ messages)
` bug#27955: "
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).