JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
502357ecb9
nixpkgs/pkgs/development/idris-modules
History
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
..
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 pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
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 Move all nixpkgs doc files in to the doc directory 2018-03-25 19:52:00 -04:00
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 treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix 2021-01-19 01:16:25 -08: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 idrisPackages: add tf-random package 2020-03-20 13:44:50 +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: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01: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 pkgs/development: stdenv.lib -> lib 2021-01-17 19:11:59 +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