unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#48953] [PATCH v1 00/03]: Improve Dino
@ 2021-06-11  1:00 Raghav Gururajan via Guix-patches via
  2021-06-11  1:01 ` [bug#48953] [PATCH v1 1/3] gnu: dino: Remove duplicate inputs Raghav Gururajan via Guix-patches via
                   ` (5 more replies)
  0 siblings, 6 replies; 23+ messages in thread
From: Raghav Gururajan via Guix-patches via @ 2021-06-11  1:00 UTC (permalink / raw)
  To: 48953


[-- Attachment #1.1: Type: text/plain, Size: 2 bytes --]



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 236 bytes --]

^ permalink raw reply	[flat|nested] 23+ messages in thread

end of thread, other threads:[~2021-06-22  5:21 UTC | newest]

Thread overview: 23+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-11  1:00 [bug#48953] [PATCH v1 00/03]: Improve Dino Raghav Gururajan via Guix-patches via
2021-06-11  1:01 ` [bug#48953] [PATCH v1 1/3] gnu: dino: Remove duplicate inputs Raghav Gururajan via Guix-patches via
2021-06-11  1:01   ` [bug#48953] [PATCH v1 2/3] gnu: dino: Add missing inputs Raghav Gururajan via Guix-patches via
2021-06-11  1:01   ` [bug#48953] [PATCH v1 3/3] gnu: dino: Enable missing features Raghav Gururajan via Guix-patches via
2021-06-11  1:15 ` [bug#48953] [PATCH v2 1/3] gnu: dino: Remove duplicate inputs Raghav Gururajan via Guix-patches via
2021-06-11  1:15   ` [bug#48953] [PATCH v2 2/3] gnu: dino: Add missing inputs Raghav Gururajan via Guix-patches via
2021-06-11  3:31     ` Jack Hill
2021-06-11 15:06       ` Jack Hill
2021-06-17  0:17       ` Raghav Gururajan via Guix-patches via
2021-06-11  1:15   ` [bug#48953] [PATCH v2 3/3] gnu: dino: Enable missing features Raghav Gururajan via Guix-patches via
2021-06-11  3:35     ` Jack Hill
2021-06-17  0:19       ` Raghav Gururajan via Guix-patches via
2021-06-16  7:17 ` [bug#48953] [PATCH v3 1/3] gnu: dino: Remove duplicate inputs Raghav Gururajan via Guix-patches via
2021-06-16  7:17   ` [bug#48953] [PATCH v3 2/3] gnu: dino: Add missing inputs Raghav Gururajan via Guix-patches via
2021-06-16  7:17   ` [bug#48953] [PATCH v3 3/3] gnu: dino: Enable missing features Raghav Gururajan via Guix-patches via
2021-06-16  7:19 ` [bug#48953] [PATCH v4 1/3] gnu: dino: Remove duplicate inputs Raghav Gururajan via Guix-patches via
2021-06-16  7:19   ` [bug#48953] [PATCH v4 2/3] gnu: dino: Add missing inputs Raghav Gururajan via Guix-patches via
2021-06-16  7:19   ` [bug#48953] [PATCH v4 3/3] gnu: dino: Enable missing features Raghav Gururajan via Guix-patches via
2021-06-17  0:20 ` [bug#48953] [PATCH v5 1/3] gnu: dino: Remove duplicate inputs Raghav Gururajan via Guix-patches via
2021-06-17  0:20   ` [bug#48953] [PATCH v5 2/3] gnu: dino: Add missing inputs Raghav Gururajan via Guix-patches via
2021-06-17  0:20   ` [bug#48953] [PATCH v5 3/3] gnu: dino: Enable some features Raghav Gururajan via Guix-patches via
2021-06-21 17:19     ` Jack Hill
2021-06-22  5:19 ` bug#48953: (no subject) Raghav Gururajan via Guix-patches via

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).