nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/idris-modules
History
夜坂雅 d549be3639 idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
..
array.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
bi.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
bifunctors.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
build-builtin-package.nix
…
build-idris-package.nix
…
bytes.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
canvas.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
categories.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
coda.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
comonad.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
composition.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
config.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
console.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
containers.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
cube.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
default.nix
…
derive.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
dict.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
dom.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
electron.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
eternal.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
farrp.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
free.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
fsm.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
glfw.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
graphviz.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
hamt.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
hezarfen.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
hrtime.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
html.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
http4idris.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
http.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
iaia.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
idris-wrapper.nix
…
idrishighlighter.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
idrisscript.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
ipkgparser.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
jheiling-extras.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
jheiling-js.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
js.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
lens.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
lightyear.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
logic.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
mapping.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
mhd.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
pacman.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
patricia.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
permutations.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
pfds.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
pipes.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
posix.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
quantities.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
rationals.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
README.md
…
recursion_schemes.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
refined.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
sdl2.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
semidirect.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
setoids.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
smproc.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
snippets.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
software_foundations.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
specdris.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
tap.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
test.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
tfrandom.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
tlhydra.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
TODO.md
…
tomladris.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
tp.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
tparsec.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
transducers.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
trees.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
union_type.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
vdom.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
vecspace.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
webgl.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
with-packages.nix
…
wl-pprint.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
wyvern.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
xhr.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
yaml.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00
yampa.nix
idrisPackages.*: convert all sha256 to hash in all fetchers
2026-10-15 10:31:50 +08:00

README.md

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

Reference in New Issue View Git Blame Copy Permalink