From 2d7b99b3c6848a8e6f994b74eb04bde472dc445b Mon Sep 17 00:00:00 2001 From: Efraim Flashner <efraim@flashner.co.il> Date: Sun, 16 Dec 2018 23:17:09 +0200 Subject: gnu: z3: Declare source-file-name. * gnu/packages/maths.scm (z3)[source]: Add missing 'file-name. --- gnu/packages/maths.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ad6aacf9c9..1fd3e4b00e 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3971,6 +3971,7 @@ as equations, scalars, vectors, and matrices.") (method git-fetch) (uri (git-reference (url home-page) (commit (string-append "z3-" version)))) + (file-name (git-file-name name version)) (sha256 (base32 "1vr57bwx40sd5riijyrhy70i2wnv9xrdihf6y5zdz56yq88rl48f")))) -- cgit v1.2.3