arduino
|
arduino-core: bump version from 1.0.2 to 1.0.6
|
2014-10-12 12:42:57 +01:00 |
compilers
|
rust: updated head
|
2014-10-13 15:36:49 +02:00 |
coq-modules
|
coqPackages.domains: new expression
|
2014-10-11 22:01:46 -05:00 |
interpreters
|
simplify
|
2014-10-16 13:13:13 +02:00 |
libraries
|
simplify
|
2014-10-16 13:13:13 +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 |
pharo
|
pharo-vm: Add dependency to cairo
|
2014-10-09 16:56:54 +02:00 |
tools
|
help2man: update from 1.46.3 to 1.46.4
|
2014-10-13 17:40:22 +02:00 |