Silvan Mosberger dd7de2d096 add options for build idris package (#65666) ... add options for build idris package		2019-08-07 13:37:36 +02:00
..
doc-support
functions
languages-frameworks	add options for build idris package (#65666)	2019-08-07 13:37:36 +02:00
old
.gitignore
coding-conventions.xml
configuration.xml
contributing.xml
cross-compilation.xml
default.nix
functions.xml
introduction.chapter.md
Makefile
manual.xml
meta.xml
multiple-output.xml
overlays.xml
overrides.css
package-notes.xml
package-specific-user-notes.xml
platform-notes.xml
quick-start.xml
release-notes.xml
reviewing-contributions.xml
shell.nix
stdenv.xml
style.css
submitting-changes.xml