cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/idris-modules
History
divanorama 9ad46075a0 idrisPackages.sdl2: fix sources sha256 
This is weird
b7ddbd52bd
replaced idris-modules/sdl2.nix hash with that of pkgs/applications/networking/instant-messengers/quaternion/default.nix

Build log says [sdl2.ipkg](https://github.com/steshaw/idris-sdl2/blob/0.1.1/sdl2.ipkg) isn't found, which is kind of correct message for using wrong archive
https://hydra.nixos.org/build/142426623/nixlog/2

How do we make sure all other replaced hashes are correct?

Also move pkg-config dependency to nativeBuildInputs

ZHF: #122042
2021-05-08 14:45:35 +02:00
..
array.nix
bi.nix
bifunctors.nix
build-builtin-package.nix
build-idris-package.nix
bytes.nix
canvas.nix
categories.nix
coda.nix
comonad.nix
composition.nix
config.nix
console.nix
containers.nix
cube.nix
data.nix
default.nix
derive.nix
descncrunch.nix
dict.nix
dom.nix
electron.nix
eternal.nix
farrp.nix
free.nix
fsm.nix
glfw.nix
graphviz.nix
hamt.nix
hezarfen.nix
hrtime.nix
html.nix
http.nix
http4idris.nix
iaia.nix
idris-wrapper.nix
idrishighlighter.nix
idrisscript.nix
ipkgparser.nix
jheiling-extras.nix
jheiling-js.nix
js.nix
lens.nix
lightyear.nix
logic.nix
mapping.nix
mhd.nix
pacman.nix
patricia.nix
permutations.nix
pfds.nix
pipes.nix
posix.nix
protobuf.nix
quantities.nix
rationals.nix
README.md
recursion_schemes.nix
refined.nix
sdl.nix
sdl2.nix idrisPackages.sdl2: fix sources sha256 2021-05-08 14:45:35 +02:00
semidirect.nix
setoids.nix
smproc.nix
snippets.nix
software_foundations.nix
specdris.nix
tap.nix
test.nix
tfrandom.nix treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
tlhydra.nix
TODO.md
tomladris.nix
tp.nix
tparsec.nix treewide: editorconfig fixes 2021-01-20 09:11:11 +10:00
transducers.nix
trees.nix
union_type.nix
vdom.nix
vecspace.nix
webgl.nix
with-packages.nix treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
wl-pprint.nix
wyvern.nix
xhr.nix
yaml.nix
yampa.nix

README.md

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