summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/minisat-install.patch
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2020-10-10 00:51:59 -0400
committerLeo Famulari <leo@famulari.name>2020-10-13 16:49:24 -0400
commit021e92780b8ce87efde70bb069cb6a8d762e544c (patch)
tree7b8fd48b21bbd607e9203e3a8df4d09f3274cf57 /gnu/packages/patches/minisat-install.patch
parent1197b8b20f4fca4ce03bbc5fa75e18d54e3717c0 (diff)
gnu: Add SRT 1.4.1.
* gnu/packages/networking.scm (srt-1.4.1): New variable.
Diffstat (limited to 'gnu/packages/patches/minisat-install.patch')
0 files changed, 0 insertions, 0 deletions