nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-01 07:01:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
5202984c10
nixpkgs/pkgs/development/idris-modules
History
Artturin c6568adb00 treewide: makeWrapper buildInputs to nativeBuildInputs 
most found with https://github.com/siraben/nix-lint
2022-08-16 13:14:19 +03:00
..
array.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
bi.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
bifunctors.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
build-builtin-package.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
build-idris-package.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
bytes.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
canvas.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
categories.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
coda.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
comonad.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
composition.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
config.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
console.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
containers.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
cube.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
default.nix config.allowAliases: Define as option 2022-04-01 11:33:10 +02:00
derive.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
descncrunch.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
dict.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
dom.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
electron.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
eternal.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
farrp.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
free.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
fsm.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
glfw.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
graphviz.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
hamt.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
hezarfen.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
hrtime.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
html.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
http4idris.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
http.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
iaia.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
idris-wrapper.nix treewide: makeWrapper buildInputs to nativeBuildInputs 2022-08-16 13:14:19 +03:00
idrishighlighter.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
idrisscript.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
ipkgparser.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
jheiling-extras.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
jheiling-js.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
js.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
lens.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
lightyear.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
logic.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
mapping.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
mhd.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
pacman.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
patricia.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
permutations.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
pfds.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
pipes.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
posix.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
quantities.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
rationals.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
README.md
recursion_schemes.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
refined.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
sdl2.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
sdl.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
semidirect.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
setoids.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
smproc.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
snippets.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
software_foundations.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
specdris.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tap.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
test.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tfrandom.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tlhydra.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
TODO.md
tomladris.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tp.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tparsec.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
transducers.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
trees.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
union_type.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
vdom.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
vecspace.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
webgl.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
with-packages.nix treewide: makeWrapper buildInputs to nativeBuildInputs 2022-08-16 13:14:19 +03:00
wl-pprint.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
wyvern.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
xhr.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
yaml.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
yampa.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00

README.md

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