compilers
|
idris: re-generate expression with cabal2nix
|
2014-10-19 11:57:04 +02:00 |
coq-modules
|
coqPackages.flocq: new expression
|
2014-10-21 00:23:36 -05:00 |
interpreters
|
Merge pull request #4590 from henrytill/racket
|
2014-10-20 22:02:48 +04:00 |
libraries
|
haskell-yesod-core: update to version 1.4.3
|
2014-10-21 23:04:40 +02:00 |
python-modules
|
use rpmextract in some packages
|
2014-10-20 03:16:59 +04:00 |
tools
|
haskell-hlint: update to version 1.9.10
|
2014-10-21 15:36:21 +02:00 |
web
|
twitter-bootstrap: use fetchFromGitHub
|
2014-10-21 22:35:30 +02:00 |