[bug#34048] [PATCH] gnu: z3: Update to 4.8.4.

guix-patches

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#34048] [PATCH] gnu: z3: Update to 4.8.4.

From:	Danny Milosavljevic
Subject:	[bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
Date:	Tue, 15 Jan 2019 16:48:03 +0100

Hi,

I've updated arachne-pnr, icestorm (please make sure to also update this when
you update arachne-pnr since arachne-pnr tests require icestorm) and yosys on
guix master now.

pgpCoF0ppmJLi.pgp
Description: OpenPGP digital signature

[Prev in Thread]

Current Thread

[Next in Thread]

[bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/11
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Leo Famulari, 2019/01/12
  - [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/12
    - [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Efraim Flashner, 2019/01/13
    - [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/13
    - [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Danny Milosavljevic <=
    - [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/17
    - bug#34048: [PATCH] gnu: z3: Update to 4.8.4., Leo Famulari, 2019/01/18

Prev by Date: [bug#34050] Aw: bug#34050: Acknowledgement ([PATCH] gnu: Add libaom and activate AV1 support in ffmpeg.)
Next by Date: bug#34079: [PATCH] sshfs rename (Was: Re: Proposal: rename sshfs-fuse -> sshfs)
Previous by thread: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
Next by thread: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
Index(es):
- Date
- Thread