| .. |
|
array.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
bi.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
bifunctors.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
build-builtin-package.nix
|
pkgs/*: remove unreferenced function arguments
|
2018-07-21 02:48:04 +00:00 |
|
build-idris-package.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
bytes.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
canvas.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
categories.nix
|
idrisPackages.{categories,derive}: Use upstream instead of forks
|
2018-10-26 11:15:10 +02:00 |
|
coda.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
comonad.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
composition.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
config.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
console.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
containers.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
cube.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
data.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
default.nix
|
idris-modules/curses.nix: delete
|
2019-01-04 13:44:37 +01:00 |
|
derive.nix
|
idrisPackages.{categories,derive}: Use upstream instead of forks
|
2018-10-26 11:15:10 +02:00 |
|
descncrunch.nix
|
idrisPackages.descncrunch: Mark as broken
|
2018-07-02 06:43:15 +02:00 |
|
dict.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
dom.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
electron.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
eternal.nix
|
idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build
|
2018-07-02 14:07:44 +02:00 |
|
farrp.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
free.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
fsm.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
glfw.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
graphviz.nix
|
idrisPackages.graphviz: fix homepage (#44355)
|
2018-08-02 16:24:48 +02:00 |
|
hamt.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
heyting-algebra.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
hezarfen.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
hrtime.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
html.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
http.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
http4idris.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
iaia.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
idris-wrapper.nix
|
idris: Clean up wrapper
|
2018-07-02 02:35:46 +02:00 |
|
idrishighlighter.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
idrisscript.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
ipkgparser.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
jheiling-extras.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
jheiling-js.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
js.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
lens.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
lightyear.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
logic.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
mapping.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
mhd.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
pacman.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
patricia.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
permutations.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
pfds.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
pipes.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
posix.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
protobuf.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
quantities.nix
|
idrisPackages.quantities: init at 2018-04-17
|
2018-08-04 23:10:43 -04:00 |
|
rationals.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
README.md
|
|
|
|
recursion_schemes.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
refined.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
sdl.nix
|
idrisPackages.{sdl,sdl2}: Mark as broken
|
2018-07-02 06:43:15 +02:00 |
|
sdl2.nix
|
idrisPackages.{sdl,sdl2}: Mark as broken
|
2018-07-02 06:43:15 +02:00 |
|
semidirect.nix
|
idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build
|
2018-07-02 15:39:52 +02:00 |
|
setoids.nix
|
idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build
|
2018-07-02 06:43:15 +02:00 |
|
smproc.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
snippets.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
software_foundations.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
specdris.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
tap.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
test.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
tlhydra.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
TODO.md
|
|
|
|
tomladris.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
tp.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
tparsec.nix
|
idrisPackages.tparsec: 2018-06-26 -> 2018-11-09
|
2018-12-20 15:52:20 +01:00 |
|
transducers.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
trees.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
union_type.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
vdom.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
vecspace.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
webgl.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
with-packages.nix
|
idris: Clean up package builder
|
2018-07-02 06:13:01 +02:00 |
|
wl-pprint.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
wyvern.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
xhr.nix
|
idrisPackages: Clean up packages
|
2018-07-02 06:13:01 +02:00 |
|
yaml.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
|
yampa.nix
|
build-idris-package: ipkgName
|
2018-09-18 10:38:59 +02:00 |
