public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
9f024e4c929bee8ed4a45a39e8fc5d5ff9bf7185
nixpkgs/pkgs/development/idris-modules
T
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
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
bi.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
bifunctors.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
build-builtin-package.nix
…
build-idris-package.nix
add options for build idris package (#65666)
2019-08-07 13:37:36 +02:00
bytes.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
canvas.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
categories.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
coda.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
comonad.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
composition.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
config.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
console.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
containers.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
cube.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
data.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
default.nix
idrisPackages: add tf-random package
2020-03-20 13:44:50 +01:00
derive.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
descncrunch.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
dict.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
dom.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
electron.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
eternal.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
farrp.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
free.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
fsm.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
glfw.nix
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
2021-01-19 01:16:25 -08:00
graphviz.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
hamt.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
hezarfen.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
hrtime.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
html.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
http4idris.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
http.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
iaia.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
idris-wrapper.nix
*-wrapper; Switch from infixSalt to suffixSalt
2020-05-12 00:44:44 -04:00
idrishighlighter.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
idrisscript.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
ipkgparser.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
jheiling-extras.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
jheiling-js.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
js.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
lens.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
lightyear.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
logic.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
mapping.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
mhd.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
pacman.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
patricia.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
permutations.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
pfds.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
pipes.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
posix.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
protobuf.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
quantities.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
rationals.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
README.md
…
recursion_schemes.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
refined.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
sdl2.nix
idrisPackages.sdl2: fix sources sha256
2021-05-08 14:45:35 +02:00
sdl.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
semidirect.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
setoids.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
smproc.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
snippets.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
software_foundations.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
specdris.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
tap.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
test.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
tfrandom.nix
treewide: remove stdenv where not needed
2021-01-25 18:31:47 +01:00
tlhydra.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
TODO.md
idris-modules: add final newline to TODO.md
2020-11-09 11:39:28 +00:00
tomladris.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
tp.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
tparsec.nix
treewide: editorconfig fixes
2021-01-20 09:11:11 +10:00
transducers.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
trees.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
union_type.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
vdom.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
vecspace.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
webgl.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
with-packages.nix
treewide: remove stdenv where not needed
2021-01-25 18:31:47 +01:00
wl-pprint.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
wyvern.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
xhr.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
yaml.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
yampa.nix
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00

README.md

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

Reference in New Issue View Git Blame Copy Permalink