[bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bind

guix-patches

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

[bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bind

From:	Amin Bandali
Subject:	[bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
Date:	Sat, 22 Dec 2018 10:20:55 -0500
User-agent:	Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

Apologies, I just realized that I forgot to remove my use of the @
notation in my v2 patch submitted earlier.  I’ve attached an updated one
that doesn’t.

0001-gnu-z3-Update-to-4.8.3-and-provide-python3-bindings.patch
Description: Text Data

[Prev in Thread]

Current Thread

[Next in Thread]

[bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Amin Bandali, 2018/12/16
- [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Ludovic Courtès, 2018/12/16
  - [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Efraim Flashner, 2018/12/17
    - [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Amin Bandali, 2018/12/17
    - [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Ludovic Courtès, 2018/12/21
    - [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Marius Bakke, 2018/12/21
    - [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Amin Bandali, 2018/12/21
    - [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Amin Bandali <=
    - bug#33764: [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings., Ludovic Courtès, 2018/12/23

Prev by Date: [bug#33801] import: github: Support source URIs that redirect to GitHub
Next by Date: [bug#33836] [PATCH 0/2] location in define-configuration
Previous by thread: [bug#33764] [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
Next by thread: bug#33764: [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
Index(es):
- Date
- Thread