aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/minisat-install.patch
diff options
context:
space:
mode:
authorGuillaume Le Vaillant <glv@posteo.net>2024-01-10 13:27:11 +0100
committerGuillaume Le Vaillant <glv@posteo.net>2024-01-10 14:04:40 +0100
commit749c3e016a4297d2794cbebac0e07297d19b4ffd (patch)
tree59b0c93bcaa9ad6d53fd73d2627231e5f0cf9320 /gnu/packages/patches/minisat-install.patch
parentea832b44b79fb06bac88679029773006fea15827 (diff)
parent537768018ee03a6a9a5562022a16b47ac287d131 (diff)
downloadguix-749c3e016a4297d2794cbebac0e07297d19b4ffd.tar.gz
guix-749c3e016a4297d2794cbebac0e07297d19b4ffd.zip
Merge branch 'master' into lisp-team
Change-Id: I6c2ce53e782a00861c3adf01c2505099daef7728
Diffstat (limited to 'gnu/packages/patches/minisat-install.patch')
0 files changed, 0 insertions, 0 deletions