diff options
author | worldofpeace <worldofpeace@protonmail.ch> | 2019-10-15 20:55:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 20:55:28 +0000 |
commit | 4bcef38f24f0d8b74d94c9846982f18cb9b66bcd (patch) | |
tree | 82575f837b5cded950110b671cda066fe714a32d /pkgs/tools | |
parent | 2f6f6a38551f6048c6ba4c63e4aa511edb2b4beb (diff) | |
parent | 15dbd8de7c0f6079746378700f54913049433c79 (diff) | |
download | nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.gz nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.bz2 nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.lz nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.xz nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.tar.zst nixpkgs-4bcef38f24f0d8b74d94c9846982f18cb9b66bcd.zip |
Merge pull request #63827 from acairncross/fix-monosat
monosat: Fix Linux build
Diffstat (limited to 'pkgs/tools')
0 files changed, 0 insertions, 0 deletions