diff options
| author | Theodoros Foradis <theodoros.for@openmailbox.org> | 2017-07-25 19:11:12 +0300 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-29 23:03:47 +0200 |
| commit | 313844d9dc098b44cd27dcfa1a26de306c9a8fe2 (patch) | |
| tree | 0c747eaebd49d40882e3c076171cc2433f957497 /build-aux/check-final-inputs-self-contained.scm | |
| parent | a4078acf4ab7d694e86ffcaef2073d71e58508f1 (diff) | |
| download | patches-313844d9dc098b44cd27dcfa1a26de306c9a8fe2.tar patches-313844d9dc098b44cd27dcfa1a26de306c9a8fe2.tar.gz | |
gnu: Add z3.
* gnu/packages/maths.scm (z3): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'build-aux/check-final-inputs-self-contained.scm')
0 files changed, 0 insertions, 0 deletions