kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity

z3: Remove unused fetchpatch

Browse Source
main
Connor Baker 2 years ago committed by GitHub
parent 57961e1a5e
commit 923fad863c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 1
      pkgs/applications/science/logic/z3/default.nix

1
pkgs/applications/science/logic/z3/default.nix
Unescape View File

@ -1,7 +1,6 @@
{ lib
, stdenv
, fetchFromGitHub
, fetchpatch
, python
, fixDarwinDylibNames
, javaBindings ? false

Write Preview
Loading…
Cancel
Save