arduino
|
arduino-core: bump version from 1.0.2 to 1.0.6
|
2014-10-12 12:42:57 +01:00 |
compilers
|
update oracle jdk 7
|
2014-10-22 20:46:44 +02:00 |
coq-modules
|
coqPackages.flocq: new expression
|
2014-10-21 00:23:36 -05:00 |
interpreters
|
Added eff-20140928
|
2014-10-28 17:21:55 +01:00 |
libraries
|
spice-gtk: 0.24 -> 0.25
|
2014-10-23 13:29:07 -07:00 |
ocaml-modules
|
Added bolt-1.4
|
2014-10-28 14:03:14 +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 |
qtcreator
|
qtcreator: Update from 3.1.0 to 3.2.0
|
2014-10-05 21:23:00 +02:00 |
tools
|
fixes #1933
|
2014-10-23 00:14:09 +02:00 |