This website requires JavaScript.
Explore
Help
Register
Sign In
swendel
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced
2024-10-20 04:33:19 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
e9b490b47d
nixpkgs
/
pkgs
/
development
/
idris-modules
/
TODO.md
4 lines
101 B
Markdown
Raw
Normal View
History
Unescape
Escape
idris-modules: Add docs
2015-11-27 19:34:38 +01:00
*
Build the RTS separately from Idris
*
idris2nix
idris-modules: add final newline to TODO.md
2020-11-05 12:32:21 +01:00
*
Only require gmp, rts when compiling executables
Reference in a new issue
Copy permalink