aland/nixpkgs-odroid-hc4
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs-odroid-hc4/pkgs/development/coq-modules
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
..
aac-tactics uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
addition-chains uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
autosubst uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
bignums uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
category-theory uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
ceres uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
Cheerios uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
CoLoR uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
compcert uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
contribs uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coq-bits uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coq-elpi uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coq-ext-lib uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coq-haskell uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coq-record-update uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coqeal uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coqhammer uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coqprime uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coqtail-math uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coquelicot uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
corn uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
deriving uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
dpdgraph uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
equations uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
extructures uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
fiat uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
flocq uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
fourcolor uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
gaia uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
gaia-hydras uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
gappalib uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
goedel uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
graph-theory uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
heq uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hierarchy-builder uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
HoTT uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hydra-battles uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
InfSeqExt uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
interval uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
iris uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
itauto uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
ITree uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
LibHyps uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
ltac2 uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
math-classes uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-abel uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-analysis uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-bigenough uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-finmap uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-real-closed uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-tarjan uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-word uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mathcomp-zify uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
metacoq uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
metalib uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
multinomials uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
odd-order uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
paco uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
paramcoq uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
parsec uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
pocklington uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
QuickChick uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
reglang uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
relation-algebra uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
semantics uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
serapi uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
simple-io uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
smpl uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
smtcoq uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
stdpp uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
StructTact uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tlc uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
topology uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
trakt uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
Velisarios uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
Verdi uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
VST uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
zorns-lemma uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00