diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-01-25 09:41:43 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2023-01-25 09:45:30 +0200 |
| commit | e71dc64e23853b069d861ed1deeeebecda1705e4 (patch) | |
| tree | 9fe1dcef47cd579d1565a958e71861daedf1fbdf /gnu/packages/coq.scm | |
| parent | 718223c58c20fa066527fb30da2b5dccca82913f (diff) | |
| download | guix-e71dc64e23853b069d861ed1deeeebecda1705e4.tar.gz guix-e71dc64e23853b069d861ed1deeeebecda1705e4.zip | |
gnu: diffoscope: Use newer llvm.
* gnu/packages/diffoscope.scm (diffoscope)[source]: Remove patch.
[native-inputs]: Replace llvm-9 with llvm.
* gnu/packages/patches/diffoscope-fix-llvm-test.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions