arduino
|
arduino-core: bump version from 1.0.2 to 1.0.6
|
2014-10-12 12:42:57 +01:00 |
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-x509: update to version 1.5.0.1
|
2014-10-21 15:36:21 +02:00 |
ocaml-modules
|
ocaml-macaque: new package
|
2014-10-11 00:54:35 +01:00 |
pharo
|
pharo-vm: Add dependency to cairo
|
2014-10-09 16:56:54 +02:00 |
pure-modules/pure-gsl
|
Add pure-gsl package
|
2014-10-14 21:21:36 +11: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 |