JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
0c0d5a2dc4
nixpkgs/pkgs/development/idris-modules
History
Pavol Rusnak cf2a67fef3
pkgs/development: stdenv.lib -> lib 
this takes care of the following folders in pkgs/development:
* arduino
* chez-modules
* go-packages
* guile-modules
* idris-modules
* perl-modules
* r-modules
* ruby-modules
2021-01-17 19:11:59 +01: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: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01: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: replace SRI hashes 2020-06-01 15:24:19 +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 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