padicotm: Provide a meaningful name for the source.

* inria/tadaam.scm (padicotm-2019-05-13)[source](file-name): New field.

padicotm: Provide a meaningful name for the source.
* inria/tadaam.scm (padicotm-2019-05-13)[source](file-name): New field.
5baa4f31 · Ludovic Courtès · 6554347b · 5baa4f31
Commit 5baa4f31 authored Oct 24, 2019 by Ludovic Courtès
--- a/inria/tadaam.scm
+++ b/inria/tadaam.scm
@@ -119,6 +119,7 @@
            (uri (svn-reference
                  (url (string-append %padicotm-svn "/PadicoTM/PadicoTM"))
                  (revision %v2019-05-13-padicotm-revision)))
+            (file-name (string-append name "-" version "-checkout"))
            (sha256
             (base32 "1ry745qc1acr7kwri7yzhyf8pg7lp4hg2mxakqqyx4wdpkpixyr9"))
            (patches (search-patches %patch-path))))