nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-26 15:44:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
27ed1b4b15
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 treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix 2021-01-19 01:16:25 -08:00
graphviz.nix
hamt.nix
hezarfen.nix
hrtime.nix
html.nix
http4idris.nix
http.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
sdl2.nix idrisPackages.sdl2: fix sources sha256 2021-05-08 14:45:35 +02:00
sdl.nix
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