arduino
|
arduino-core: bump version from 1.0.2 to 1.0.6
|
2014-10-12 12:42:57 +01:00 |
compilers
|
haskell-epic: update to version 0.9.3.2
|
2014-10-13 09:09:33 +02:00 |
coq-modules
|
coqPackages.domains: new expression
|
2014-10-11 22:01:46 -05:00 |
libraries
|
haskell-webkit: update to version 0.13.0.2
|
2014-10-13 09:12:25 +02:00 |
mobile
|
change md5sum to sha256sum for a few packages
|
2014-10-12 16:13:21 +02:00 |
ocaml-modules
|
ocaml-macaque: new package
|
2014-10-11 00:54:35 +01:00 |
tools
|
haskell-timeplot: update to version 1.0.27
|
2014-10-13 09:12:25 +02:00 |