compilers
|
gcc: 4.9.2 -> 4.9.3
|
2015-07-07 01:50:02 -07:00 |
coq-modules
|
ssreflect, mathcomp: better package names
|
2015-06-19 18:11:33 +02:00 |
libraries
|
polkit: 0.112 -> 0.113
|
2015-07-07 00:01:33 -07:00 |
perl-modules
|
perlPackages: Updates
|
2015-07-06 19:21:21 -07:00 |
pharo
|
Update pharo-vm to 2015.04.30
|
2015-06-12 22:57:30 +02:00 |
pure-modules
|
Fairly complete set of packages for Pure
|
2015-05-26 17:51:07 +10:00 |
qtcreator
|
qtcreator: fix hash
|
2015-07-04 03:38:53 +03:00 |
web
|
Merge branch 'master.upstream' into staging.upstream
|
2015-07-05 13:06:02 -07:00 |