Derive([("out","/gnu/store/kiizhxm81idwp989dvzppsrpllxn6gdc-vinci-1.0.5.tar.gz","sha256","95c051546b92f78bad374f8f99b5fd8e7390c488d2db07f34b3c1ee103c300ab")],[],["/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors","/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-content-addressed-mirrors","/gnu/store/nb73zsx418kbz2p3f15pvv9spi0afmz7-mirrors"],"x86_64-linux","builtin:download",[],[("content-addressed-mirrors","/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-content-addressed-mirrors"),("disarchive-mirrors","/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("mirrors","/gnu/store/nb73zsx418kbz2p3f15pvv9spi0afmz7-mirrors"),("out","/gnu/store/kiizhxm81idwp989dvzppsrpllxn6gdc-vinci-1.0.5.tar.gz"),("preferLocalBuild","1"),("url","\"https://www.math.u-bordeaux.fr/~aenge/software/vinci/vinci-1.0.5.tar.gz\"")])