diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-04-28 21:07:14 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-04-28 22:33:40 +0300 |
| commit | cd8c419722780765b075a7217b861e7608c0bac2 (patch) | |
| tree | 4ef2c80a7c4c8f8adb298a7225bfe71d572b9606 /etc | |
| parent | 27112236ce411cefdd5b5a66bdf73b688adf24f4 (diff) | |
gnu: valgrind: Update source uri.
* gnu/packages/valgrind.scm (valgrind)[source]: Remove valgrind host,
add sourceware host.
[home-page]: Use https.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions