aland/nixpkgs-odroid-hc4
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs-odroid-hc4/pkgs/development/idris-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
..
array.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
bi.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
bifunctors.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
build-builtin-package.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
build-idris-package.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
bytes.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
canvas.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
categories.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
coda.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
comonad.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
composition.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
config.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
console.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
containers.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
cube.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
default.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
derive.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
descncrunch.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
dict.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
dom.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
electron.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
eternal.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
farrp.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
free.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
fsm.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
glfw.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
graphviz.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hamt.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hezarfen.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hrtime.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
html.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
http.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
http4idris.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
iaia.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
idris-wrapper.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
idrishighlighter.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
idrisscript.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
ipkgparser.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
jheiling-extras.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
jheiling-js.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
js.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
lens.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
lightyear.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
logic.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mapping.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
mhd.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
pacman.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
patricia.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
permutations.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
pfds.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
pipes.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
posix.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
quantities.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
rationals.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
README.md uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
recursion_schemes.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
refined.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
sdl.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
sdl2.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
semidirect.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
setoids.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
smproc.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
snippets.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
software_foundations.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
specdris.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tap.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
test.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tfrandom.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tlhydra.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
TODO.md uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tomladris.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tp.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
tparsec.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
transducers.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
trees.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
union_type.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
vdom.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
vecspace.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
webgl.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
with-packages.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
wl-pprint.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
wyvern.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
xhr.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
yaml.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
yampa.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00

README.md

Moved to /doc/languages-frameworks/idris.section.md