Felix Buehler
3df56ed3e4
idris-modules: rename name to pname
2022-02-23 11:28:15 +01:00
divanorama
9ad46075a0
idrisPackages.sdl2: fix sources sha256
...
This is weird
b7ddbd52bdhttps://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
Jonathan Ringer
9bb3fccb5b
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
...
continuation of #109595
pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.
python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes
2020-06-01 15:24:19 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Steven Shaw
5bb88bbce2
idrisPackages.sdl2: 2018-01-19 -> 0.1.1
...
Update to latest release which unbreaks the package.
2019-07-28 07:37:52 +10:00
Silvan Mosberger
df6974cff2
idrisPackages.{sdl,sdl2}: Mark as broken
2018-07-02 06:43:15 +02:00
Silvan Mosberger
b73f540beb
idrisPackages: Clean up packages
2018-07-02 06:13:01 +02:00
Márton Boros
23ee7c9d8d
idrisPackages: add packages
2018-03-20 07:16:21 +01:00
