aland/nixpkgs-odroid-hc4
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs-odroid-hc4/pkgs/applications/science/logic
History
Exact
Anton Arapov 56de2bcd43 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 
https://github.com/NixOS/nixpkgs/blob/master/pkgs/stdenv/generic/setup.sh#L948
this can do it nicely.

Signed-off-by: Anton Arapov <anton@deadbeef.mx>
2025-12-20 09:59:59 +11:00
..
abc uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
abella uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
acgtk uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
aiger uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
alt-ergo uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
anders uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
aspino uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
avy uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
beluga uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
bitwuzla uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
boolector uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
btor2tools uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cadical uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cedille uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
celf uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
clprover uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coq uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cryptominisat uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cryptoverif uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cubicle uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cvc3 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cvc4 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cvc5 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
drat-trim uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
easycrypt uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
ekrhyper uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
elan uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
eprover uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
fast-downward uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
formula uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
gappa uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
glucose uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hol uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hol_light uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
iprover uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
isabelle uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
key uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
kissat uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
klee uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
lci uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
lean uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
lean2 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
leo2 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
leo3 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
lingeling uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
logisim uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
logisim-evolution uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
ltl2ba uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mcrl2 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mcy uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
metis-prover uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
minisat uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
monosat uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
naproche uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
nuXmv uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
open-wbo uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
opensmt uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
ott uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
petrinizer uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
picosat uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
poly uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
potassco uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
prooftree uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
prover9 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
proverif uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
redprl uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
sad uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
satallax uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
saw-tools uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
spass uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
statverif uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
stp uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
symbiyosys uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
symfpu uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tamarin-prover uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tlaplus uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tptp uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
twelf uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
vampire uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
verifast uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
verit uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
why3 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
workcraft uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
yices uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
z3 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
zchaff uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00